>350
> (3)のyに代入する有理数の値は?
> どんな有理数でも、よいです。
間違い
> (3)はyを有理数とすると
この時点で【証明】は間違い

(3)はyを有理数とすると、xは有理数となります。