>>775
> 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が有理数である解を持たない
>
> これらは、どういう意味でしょうか？

y=1のとき1=3*(x^2+x)は成り立たない
k/k=1なのでy=kのときy=(3*k)*(x^2+x)/kも成り立たない

kを払った場合と払わない場合で成否が異なるならば矛盾するので

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

上のように証明できるというのがあなたの主張ですね？ という意味です