>XとかZって証明と無関係だよね
xやzが有理数かどうか言えばいいのになんで無関係な変数の話ばかりするの？

rが無理数、xが有理数のとき、zは無理数となります。
rが有理数のとき、Xは無理数となります。Zも無理数となります。