>327
> (4)の解は(3)の解の√a倍となるので、(3)(4)の解の比は同じとなる。
> ∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。

上の引用の一行目から二行目を導くところを証明してください。

(3)はyを有理数とすると、xは無理数となる。
(4)の解は(3)の解の√a倍となるので、(3)(4)の解の比は同じとなる。
よって、(4)の解も、有理数解を持たない。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。