均值不等式(a+b/2)^2小于等于(a^2+b^2)/2是怎么得来的