>>212
> (y-1)=nのときxが無理数であるから(2)が成り立たないと証明に書いたら フェルマーの最終定理が正しい を使っていることになります
>
> これがわかりません。もう少し詳しく説明していただけないでしょうか。

> よって、(2)は成立たない。

(y-1)=nのときxが無理数である場合
フェルマーの最終定理が正しい ならば (2)は成り立たない (よって(2)は成立たない は正しい)
フェルマーの最終定理が正しくない ならば (2)はあるx,yで成り立つ (よって(2)は成立たない は正しくない)
フェルマーの最終定理の成否が不明 ならば (2)が成り立つかどうか不明 (よって(2)は成立たない は成否が不明)

であるので

(y-1)=nのときxが無理数である場合
フェルマーの最終定理が正しい ならば (2)は成り立たない (よって(2)は成立たない は正しい)
(y-1)=nのときxが無理数であるから(2)が成り立たないと証明に書いたら フェルマーの最終定理が正しい を使っていることになります