>>114
> >(y-1)(y+1)=(k2)(x/k)からy=2k+1,x=2k(k+1)が解であることが導ける
> その通りです。
>
> k/k=1は式が成立する(成立しない)条件ではありません
> なぜでしょうか?
> 理由を教えてください。

k/k=1が成り立たない場合はありますか?
成立する場合と成立しない場合のどちらでもk/k=1は成立するからです

あなたの証明のk/k=1なのでxは有理数となりませんというのは
k/k=1なのでということは関係なくて
結局単に
> xは有理数となりません。
ということで

フェルマーの最終定理を証明する人のためのルールとして

証明の正しさを主張するためにxが有理数にならないことを使ってはいけない

ということは最低限守らなければいけないことですがあなたは xは有理数となりません を使っているので証明は間違っています