>409
> (2)は(y-1)=3のとき、(4^2+4+1)=(x^2+x)とならない。
> これは、(2)が成立しないということです。
このことが正しいことを示す証明を書いてください

yとxに任意の有理数を代入しても、成立しません。
（試してみて下さい）