>423
> (3)はrが無理数なので、yが有理数のとき、xは無理数となる。xが有理数のとき、yは無理数となる。

これ、証明できていますか?

はい。