>664
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> x,yを、有理数とすると、式は、成り立ちません。

それ、証明できていませんよね?

x,yを、有理数とすると、左辺は有理数、右辺は無理数となります。