均值不等式的四种核心公式

均值不等式（AM-GM Inequality）是高中数学中最重要的不等式之一，它不仅揭示了不同平均数之间的内在联系，更是解决最值问题的有力武器。以下是网民最常搜索的四种均值不等式公式：

1. 算术平均数-几何平均数不等式 (AM-GM)

对于任意正实数 a, b：
(a + b) / 2 ≥ √(ab)

当且仅当 a = b 时，等号成立。这是最基础且最常用的形式。

2. 广义算术平均数-几何平均数不等式 (n元)

对于 n 个正实数 a₁, a₂, ..., aₙ：
(a₁ + a₂ + ... + aₙ) / n ≥ ⁿ√(a₁a₂...aₙ)

推广到n个变量的情况，等号成立条件为 a₁ = a₂ = ... = aₙ。

3. 调和平均数不等式 (HM)

对于任意正实数 a, b：
2ab / (a + b) ≤ √(ab) ≤ (a + b) / 2

调和平均数 ≤ 几何平均数 ≤ 算术平均数。调和平均数常用于平均速度等问题。

4. 平方平均数不等式 (QM)

对于任意正实数 a, b：
√((a² + b²) / 2) ≥ (a + b) / 2

平方平均数 ≥ 算术平均数。这在统计学和物理学中应用广泛。

平均数类型 符号表示 公式 适用场景
平方平均数 (QM) M₂ √((a²+b²)/2) 物理均方根、统计学
算术平均数 (AM) M₁ (a+b)/2 一般求和平均
几何平均数 (GM) M₀ √(ab) 求积最值、增长率
调和平均数 (HM) M₋₁ 2ab/(a+b) 平均速度、电阻并联

公式推导与证明逻辑

理解证明过程有助于记忆和应用。以下是两种最经典的证明方法：

代数变形法证明 AM ≥ GM

我们要证明：对于 a, b > 0，有 (a + b) / 2 ≥ √(ab)。

证明过程：

  1. 从目标不等式出发，两边同乘 2：a + b ≥ 2√(ab)
  2. 移项：a + b - 2√(ab) ≥ 0
  3. 观察左边，它是一个完全平方式：(√a - √b)² ≥ 0
  4. 由于任何实数的平方都非负，故原不等式成立。
  5. 当且仅当 √a - √b = 0，即 a = b 时，等号成立。

几何解释法

考虑一个半圆，直径为 a + b。

  • 半径：(a + b) / 2，即算术平均数。
  • 高：从直径上分点（分线段为a和b）作垂线到圆周，根据射影定理，该垂线长度为 √(ab)，即几何平均数。
  • 结论：在直角三角形中，半径总是大于或等于斜边上的高（当且仅当三角形为等腰直角三角形时相等），因此 AM ≥ GM。

均值不等式的典型应用与示例

均值不等式在求函数最值、证明不等式以及解决实际优化问题中有着广泛应用。以下是几个经典示例：

示例 1：求函数的最小值

问题：已知 x > 0，求函数 f(x) = x + 4/x 的最小值。

解析：

由于 x > 0，则 4/x > 0，满足“一正”条件。

应用 AM-GM 不等式：

f(x) = x + 4/x ≥ 2√(x 4/x) = 2√4 = 4

验证等号：当且仅当 x = 4/x，即 x² = 4，x = 2 时，等号成立。由于 x=2 在定义域内，故最小值为 4。

示例 2：构造定值求最值

问题：已知 x + y = 10，求 xy 的最大值。

解析：

这里“和”为定值，求“积”的最大值。直接应用 AM-GM：

(x + y) / 2 ≥ √(xy) → 10/2 ≥ √(xy) → 5 ≥ √(xy)

两边平方：25 ≥ xy。故 xy 的最大值为 25，当且仅当 x = y = 5 时取得。

示例 3：多次使用均值不等式

问题：已知 a, b, c > 0，求证：a/b + b/c + c/a ≥ 3。

解析：

直接对三项使用 AM-GM：

(a/b + b/c + c/a) / 3 ≥ ³√(a/b b/c c/a) = ³√1 = 1

故 a/b + b/c + c/a ≥ 3。等号成立条件为 a/b = b/c = c/a，即 a = b = c。

易错点解析与注意事项

在使用均值不等式时，学生常犯以下错误，请务必注意：

错误一：忽视“一正”条件

案例：求 x + 1/x 的最小值，误以为最小值为 2。

纠正：必须声明 x > 0。若 x < 0，则 x + 1/x ≤ -2，最小值不存在（趋向负无穷）。

错误二：忽视“二定”条件

案例：求 x² + 2/x² 的最小值，误用 AM-GM 得 2√2。

纠正：x² 2/x² = 2 是定值，但这里项是 x² 和 2/x²，积为2，看似可以。但若题目是 x + 1/x²，则 x 1/x² = 1/x 不是定值，不能直接相乘消去变量。

错误三：忽视“三相等”条件

案例：求 x + 1/(x+1) 的最小值 (x > 0)。

纠正：若变形为 x+1 + 1/(x+1) - 1 ≥ 2 - 1 = 1，等号成立需 x+1 = 1/(x+1) → x=0，但 x>0，故等号取不到。此时函数单调递增，无最小值（下确界为1）。

常见问题 (FAQ)

均值不等式成立的充要条件是什么？

均值不等式成立的充要条件是参与运算的变量必须为正实数。此外，等号成立的条件是当且仅当所有变量相等时。

如何使用均值不等式求函数的最小值？

步骤如下：
1. 一正：确保变量为正。
2. 二定：通过变形使积或和为定值。
3. 三相等：验证等号成立条件是否在定义域内。若满足，则最值即为该定值相关计算结果。

均值不等式与柯西不等式有什么区别？

均值不等式主要关注平均数之间的关系，适用于求和与积的最值。柯西不等式则关注向量内积与模长的关系，形式更复杂，适用范围更广，常用于处理平方和与乘积和的问题。两者常结合使用。

为什么有时使用均值不等式求不出最值？

常见原因有：
1. 等号成立条件不在定义域内。
2. 多次使用均值不等式时，各次等号成立条件不一致。
3. 未满足“定值”条件，无法消去变量。