y=3*(x^2+x)が成り立つならばy=(k3)*(x^2+x)/kも成立つので y=3*(x^2+x)はx,yが有理数である解を持たない も正しくなければなりません

たとえの式が違います。