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

この式は、どこから来たのでしょうか？