利用公式"a+b/2大于等于√ab",证明(a+b/2)^2大小于等于a^2+b^2/2