y=kのときy=3*(x^2+x)はx,yが有理数である解を持たないことの証明
y=1のとき1=3*(x^2+x)は成り立たない
k/k=1なのでy=kのときy=(3*k)*(x^2+x)/kも成り立たない
よってy=kのときy=3*(x^2+x)はx,yが有理数である解を持たない

これらは、どういう意味でしょうか？