練習 55 a, b, c, d を有理数とするとき, 次の問に答えよ。 ただし, √2 無理数であることを用い
てもよい。
(1) a+b√2=c+d√2 ならば a=c かつ b=dであることを示せ。
(2) (a+√2) (6+3√2) = 8+7√2 を満たす a, b (a <b) の値を求めよ。
(1) 6 = d と仮定する。
a+b√2 =c+d√2 より
「結論の一部 6 = d を否
定して矛盾を導く。
b-d≠0 より
√2
-
=
(b-d)√2=-a+c
a-c
b-d
a-c
a,b,c,d は有理数であるから, og もまた有理数となり,√2
が無理数であることに矛盾する。
よって b = d
b-d
これを a+b√2+√2 に代入すると a=c
したがって
a+b√2 =c+d√2 ならば a=c かつ b = d
b = d のみを仮定して矛
盾を導いたのであるから,
得られる結論は b = d
のみである。 引き続いて
a=c を示さなければな
らない。