(a-b)^2≥0
a^2-2ab+b^2≥0
a^2+2ab+b^2≥4ab
(a+b)^2≥4ab
a+b≥2√ab
(a+b)/2≥√ab
就是说：两个数的算数平均数大于或等于他们的几何平均数.等号在两数相等时成立.