>903
rが有理数なら有理数のx、yで式を満たすものがあるかどうか、そこだけ考えればいいのです。

この方法は、無理だと思います。