>685
あなたが求められていることは、
「x^n+y^n=(x+n^{1/(n-1)})^n,z=x+n^{1/(n-1)}に無理数解x,y,zでx:y:zが自然数比になるものが存在する」を命題P,
「x^n+y^n=(x+n^{1/(n-1)})^n,z=x+n^{1/(n-1)}に有理数解x,y,zでx:y:zが自然数比になるものが存在する」を命題Q,
とするとき、「PならばQ」の証明です。

Qは、偽ですが、Pの真偽は、不明です。
しかし、QとPは同値です。