若a+b<0，则不等式显然成立，
若a+b≥0, 则原不等式等价于 (a^2+b^2)/2≥[(a+b)/2]^2=(a^2+b^2+2ab)/4......................(1)
化简得 a^2+b^2≥2ab......................................(2)
而（2）等价于 (a-b)^2≥0.................................(3)
(3)显然成立，倒推回去，即得。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024