要证(a2+b2)/2>=((a+b)/2)2只需证明(a2+b2)/2-((a+b)/2)2>=0 (a2+b2)/2-((a+b)/2)2=(a-b)2/4>=0所以得证
这个应该出自三角中的勾股定理 加三角形两边之和大于第三边而产生的基本不等式 就知道这些了（勿笑）
