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

a=0とすると、等号が成り立たないという意味ではないでしょうか？

なので、(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)は、
成り立たないという結論だと、思います。