设x1,x2,...,xn均为正数,则它们的算术平均值不小于它们的几何平均

值,即:  ,当且仅当x1=x2=x3=..=xn 时等号成立