二項展開によるフェルマーの最終定理の証明

>47
「(3)の右辺を展開すると、yが無理数のとき、xは無理数となる。」に変更すれば、
p=2で、自然数解が存在する可能性がある
事になる、という事でしょうか。

はい。