>217
無理数解については君は何も言えていない。

x^p+y^p=(x+p^{1/(p-1)})^p の無理数解が整数比になるならば、有理数解で、
整数比となります。