>>185

あなたは、A=x-1,B=(x^2+x+1)/3,C=y,D=y+1とおいたとき、
AB=CDのとき、A=Cにはならない

ということを、いくつかのxとｙについて、確認しただけです。

A=Cにはならないが、AB=CDになる式が、実際に存在します。たとえば(x-1)(x+1)=y(y+1)

(x-1)(x^2+x+1)/3=y(y+1)が、A=Cにはならないが、AB=CDになる式かもしれないので、証明は失敗です。