>523
反例
2^p+3^p=(2^p+3^p)^(1/p)
3^p+4^p=(3^p+4^p)^(1/p)など
x,yを異なる有理数(反例なら自然数でもよいが)にすればよい
>>513の証明では存在しないことになるのでこれらの解を持つことは導けない

意味がよくわからないので、詳しく説明していただけないでしょうか。