不等式证明 a^2-b^2=1,则a-b