攻還53 2, 》 c, を有理数とするとき, 次の問に答えよ。ただし, 2 が無理数であることを用い
てもよい。
(1) 2十6/2 =c十@/2 ならば=ーc かつ の= であることを示せ。
(2) (2+/2 )(6十3/2 ) = 8二7/ 2 を満たす 2, 2 (2くめの) を求めよ。
1) 2キg と仮定する。 $ 結論の一部 の=ニの をる
Z填6/2 ニc二g/2 より (のーワ)/2 ニー 定して矛盾を導く。
SRI
5一のキ0 より 板織議組6
のの
の, c, のは有理数であるから, 一 もまた有理数となり, /2.
が無理数であることに矛盾する。
机つEC ム三 4めキの のみを仮定して2
回 当 = 盾を導いたのである2
にを 2/ 2 王c二72 に代入する記請目2 人
隊に2って のみである。 引き続いて
gH7/2 テニc十の/2 ならばogテc かつ.の寺の gc を示さなければ7
のsgの
和
&
C