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

>29
> (3)の右辺を展開すると、yが無理数のとき、xは無理数となります。
この一行じゃよく意図が分からん。
くわしく説明して下さい。

x^2+y^2=(x+√2)^2…(3)となる。は、30の証明の、
x^2+y^2=(x+a2)^2…(4)に当たります。