NOりこ和り4 てさコ ちなちマ 2ペの07"由ましとききママ まめまチェ
(3) y2 が有理数と仮定すると, 人4まず, 結論の否
2 つの自然数 %, z を用いて, 2 = と表せる.
【だだもし We。%は王いに素) 最大のポイント
両辺を平方すると, 2zz*ー7“
左辺は偶数だから, z? も偶数. すなわち, z も偶数.
このとき, 2 は4の倍数だから, 277* も 4 の情数
ょって, ZZは偶数となり, 7 も偶数.
ゆえに, 2 とみは共通の約数 2 をもつことになり,
とみクが互いに素であることに矛盾する、
よって, 2 は有理数ではない.
すなわち, 72 は無理数.