[(a+b)^2/4-(a^2+b^2)/2=[(a^2+2ab+b^2)-(2a^2+2b^2)]/4=a^2-2ab+b^2/4=(a-b)2/4
因(a-B)^2>=0,所以(a-b)2/4》=0,所以(a+b)/2的平方小于等于(a的平方+b的平方)/2