均值不等式：
(a+b)/2 算术平均
(ab)^(1/2) 几何平均(根号下ab)
因为：(a+b)^2-4ab≥0
[(a+b)/2]^2≥ab
(a+b)/2≥(ab)^(1/2)
即算术平均大于等于几何平均（当且仅当a=b时等号成立）.