>>276
分子のkは、(y-1)=k3 に固定されているから、
(y^2+y+1)=(x^2+x)/k
が有理数解を持たないことを言わないといけないよ(k/k=1が使えない)。