>24
(3)の右辺を展開すると、yが有理数のとき、xは無理数となる。

(3)の右辺を展開すると、yが無理数のとき、xは無理数となります。