> y=3*(x^2+x)はx,yが有理数である解を持たない

これは、間違いですね。