>810
じゃあ証明して。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)

xを有理数とすると、左辺は、有理数
右辺は無理数となります。
よって、xは、無理数となります。