a^2+b^2>=2ab 是怎么证明的?