> ①をz=x+rとおくと
何を主張したいのか、数学の文章として意味不明。

xが有理数のとき、zが無理数となれば、有理数解は存在しないことに
なります。