フェルマーの最終定理の簡単な証明

>>222 日高
> >217
> 無理数解については君は何も言えていない。
>
> x^p+y^p=(x+p^{1/(p-1)})^p の無理数解が整数比になるならば、有理数解で、
> 整数比となります。

君が示す必要べき命題はそれじゃない。x^p+y^p=(x+p^{1/(p-1)})^p の無理数解が整数比になることはない、だ。すり替えないように。