あると仮定して矛盾を才
でない, す
ソ5 無理雪 ] で古胃した次のことを用いる。
2 7は全救である。
meない mme2ecerrッと
1以外に の公認をもたない 2 つの自然 Z, ちを用いて
2ーす
と表される。このとき
Zニ72 5
計ら=202計KU
よって の は個数。したがって, o も偶数である。
ゆえに, 。 は, ある自然数c を用いて
5 1 20電衝りつの
1 と表される。② を ①⑩ に代入すると
1 4c憲2
すなわち だ2
よって, は側数。したがって, ヵ も偶数である。
?とはともに偶数であり, 公約数 2 をもつ
理数である。