>>84
> >82
> > (3)のrが有理数のとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
> r=p^{1/(p-1)} に固定されるのなら、rは無理数だから、
> rが有理数になるはずがない、と思うのですが。
> （r=(ap)^{1/(p-1)} なんて式はどこにも出てこない）
>
>
> 「(3)のrを有理数とすると、」に訂正します。

いや、
> (2)はr^(p-1)=p、＜＜＜r=p^{1/(p-1)}となる＞＞＞ので...
の時点で r=p^{1/(p-1)} に固定しているので r は無理数です。

(修正1)では問題なかったので、(修正1)に戻した方が良いのでは？