a=-1
b=1
-1^2=1
1^2-1
a的平方=b的平方
但-1不等于1
所以a不一定=b
原命题错误