真命题啊
(a-b)^2>=0->a^2+b^2-2ab>=0->a^2+b^2>=2ab