>961
考えるべきなのはx:zが有理数比の時だろ。

この場合は、(4)になります。
(4)のzが有理数の場合は、yが無理数となります。
(4)のx,rが有理数の場合です。