初等数学によるフェルマーの最終定理の証明９

>>195

(4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
が言えます。