訂正版

>>739
> >738
> (y-1)≠3の場合(y-1)(y^2+y+1)=k3(x^2+x)/kの成否は不明 (y-1)≠3の場合(y-1)(y^2+y+1)=3(x^2+x)の成否は不明 で同じ
>
> k/k=1なので、成否は同じです。

> k/k=1なので、成否は同じです。
これはyの値が変わらないときの話です k/k=1ではyの値は変えられません

3*3=(3*k)*3/kと3*3=3*3の成否は同じ
3*4=(3*k)*4/kと3*4=3*4の成否は同じ
3*5=(3*k)*5/kと3*5=3*5の成否は同じ
3*6=(3*k)*6/kと3*6=3*6の成否は同じ

3*3=(3*k)*(x^2+x)/kと3*3=3*(x^2+x)の成否は同じ
3*4=(3*k)*(x^2+x)/kと3*4=3*(x^2+x)の成否は同じ
3*5=(3*k)*(x^2+x)/kと3*5=3*(x^2+x)の成否は同じ
3*6=(3*k)*(x^2+x)/kと3*6=3*(x^2+x)の成否は同じ

これらがあなたの言う k/k=1なので成否は同じです ということですがこれはyの値が変わらないときの話と同じです k/k=1ではyの値は変えられません
しかし3*3=3*(x^2+x)と3*6=3*(x^2+x)の成否は同じではありません (あなたが証明で考えなければならないのはこちらです)