>だったらz=x+rのとき、rは自然数でないとおかしい。
rが無理数だと成立しません、って、ハイそうですか？って感じ。まるで意味ないじゃ
ん。

rが有理数でも、x,y,zの比は同じとなります。