>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を有理数とすると、」に訂正します。