均值不等式：

　　(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时等号成立）.