y = x^2 - x は有理数解を持たない。

y=2のとき、有理数解を持ちます。