初等数学によるフェルマーの最終定理の証明

＞594
x=10ならば(x^2+x+1)=111=(y^2+y)となり式が異なる

つまり、x,yはともに有理数とはならないということですね。
(x^2+x+1)=(y^2+y)は、成立しないということですね。