均数不等式，或称平均值不等式、均值不等式，是数学上的一组不等式，也是基本不等式的推广。它是说：如果formula_1是正数，则formula_2其中：formula_3formula_4formula_5formula_6当且仅当formula_7 ，等号成立。即对这些正数：调和平均数 ≤ 几何平均数 ≤ 算术平均数 ≤ 平方平均数（方均根）简记为：“调几算方”
证明方法.关于均值不等式的证明方法有很多，数学归纳法（第一数学归纳法或反向