均值不等式定理及推导公式：高中数学核心考点深度解析
掌握均值不等式，打通代数最值问题任督二脉。从基础定义到高考压轴题应用，一站式解决所有疑惑。
当且仅当 a = b 时，等号成立。
均值不等式定理 的核心定义
在数学分析中，均值不等式（Mean Inequality）是描述各种平均值之间大小关系的基本不等式。它是高中数学中求解函数最值、证明不等式的重要工具。对于任何非负实数，其算术平均数总是大于或等于其几何平均数。
1. 算术平均数与几何平均数
| 平均数类型 | 定义公式 | 适用条件 | 几何意义 |
|---|---|---|---|
| 算术平均数 (AM) | a_i ≥ 0 | 矩形的平均边长 | |
| 几何平均数 (GM) | a_i ≥ 0 | 正方体的等效边长 | |
| 调和平均数 (HM) | a_i > 0 | 电阻并联等效值 |
2. 基本不等式的文字表述
两个正实数的算术平均数不小于它们的几何平均数。即：
这一结论可以推广到 n 个正实数的情形：均值不等式定理指出，n 个正数的算术平均数大于或等于它们的几何平均数。
均值不等式推导公式 与证明方法
理解均值不等式推导公式的过程，有助于在复杂题目中灵活变形。以下是几种常见的证明方法。
1. 作差法证明 (a+b)/2 ≥ √ab
要证明 (a+b)/2 ≥ √ab，只需证明 (a+b)/2 - √ab ≥ 0。
证明过程：
(a+b)/2 - √ab
= (a + b - 2√ab) / 2
= ( (√a)² - 2√a√b + (√b)² ) / 2
= (√a - √b)² / 2
∵ (√a - √b)² ≥ 0 且 2 > 0
∴ (√a - √b)² / 2 ≥ 0
∴ (a+b)/2 ≥ √ab
当且仅当 √a = √b，即 a = b 时，等号成立。
2. 分析法证明
要证 (a+b)/2 ≥ √ab (a>0, b>0)，
只需证 a+b ≥ 2√ab，
即证 a+b - 2√ab ≥ 0，
即证 (√a - √b)² ≥ 0。
因为任何实数的平方都非负，所以 (√a - √b)² ≥ 0 显然成立。
故原不等式得证。
3. 几何法证明 (数形结合)
如图所示（想象一个半圆），设 AB 是直径，长度为 a+b。O 为圆心，则半径 R = (a+b)/2。
过 O 作垂线交圆周于 C，连接 AC, BC。根据射影定理，CD² = AD·DB = ab，所以 CD = √ab。
在直角三角形中，斜边上的高 CD 不会超过半径 R（当且仅当 C 与 O 重合，即 a=b 时取等号）。
即 R ≥ CD，也就是 (a+b)/2 ≥ √ab。
注：此处文字描述几何意义，实际应用中建议配合图形理解。
推广：n 元均值不等式
对于 n 个正实数 a₁, a₂, ..., aₙ：
等号成立当且仅当 a₁ = a₂ = ... = aₙ。
均值不等式 在求最值中的应用
利用均值不等式求函数最值是高考数学的常考题型。核心原则是“一正、二定、三相等”。
积定和最小
若 xy = p (p 为常数)，则 x + y ≥ 2√p。
示例：已知 x > 0, y > 0, xy = 4，求 x + y 的最小值。
解：x + y ≥ 2√(xy) = 2√4 = 4。当 x=y=2 时取最小值。
和定积最大
若 x + y = s (s 为常数)，则 xy ≤ (s/2)²。
示例：已知 x > 0, y > 0, x + y = 10，求 xy 的最大值。
解：xy ≤ ((x+y)/2)² = (10/2)² = 25。当 x=y=5 时取最大值。
典型例题详解
题目：求函数 y = x + 4/(x-1) (x > 1) 的最小值。
解析：
- 配凑定值：由于分母是 x-1，我们将分子中的 x 配凑成 x-1。
- 变形： y = (x - 1) + 4/(x - 1) + 1。
- 应用不等式：因为 x > 1，所以 x - 1 > 0。根据均值不等式：
验证等号：当 x - 1 = 4/(x - 1)，即 (x-1)² = 4，x - 1 = 2 (因x>1)，x = 3 时等号成立。
所以，函数的最小值为 5。
均值不等式 常见变式与易错点
在解题过程中，直接套用公式往往行不通，需要对式子进行变形。以下是几种常见的变形技巧。
1. 拆项与添项
当各项之积不为定值时，可以通过拆项或添项来构造定值。
示例：求 y = x²(1-3x) (0 < x < 1/3) 的最大值。
思路：直接相乘 x²(1-3x) 无法消去 x。注意到 1-3x 系数为 3，而 x 是平方，我们可以将 x² 拆为 x·x，为了消去 x，需要构造 3x。因此将 x² 写成 (1/9)·9x² = (1/9)·(3x)²。
更优策略：构造 3x 与 1-3x 的和为定值 1。将 y 变形为：
利用均值不等式：3x + 3x + (1-3x) = 1 + 3x (不是定值，此路不通，应重新配凑)。
正确配凑：y = x·x·(1-3x)。系数不匹配。改为：
y = 1/9 (3x) (3x) (1-3x) 依然不行，因为 3x+3x+1-3x = 3x+1 非定值。
正确解法：y = x·x·(1-3x)。我们需要和为定值。令 3x = k。则 x = k/3。y = (k/3)²(1-k) = k²(1-k)/9。
这通常需要使用导数，或者更精细的均值不等式配凑：y = 1/9 [3x 3x (1-3x)] 是错误的，因为 3x+3x+1-3x 不消去 x。
修正示例：求 y = x(1-2x) (0 y = 1/2 [2x(1-2x)] ≤ 1/2 [(2x+1-2x)/2]² = 1/2 (1/2)² = 1/8。 当已知条件为 a + b = 1 或 ab = 1 时，常将“1”代入表达式中进行变形。 示例：已知 a > 0, b > 0, a + b = 1，求 1/a + 1/b 的最小值。 解：1/a + 1/b = (1/a + 1/b) 1 = (1/a + 1/b)(a + b) = 1 + b/a + a/b + 1 = 2 + b/a + a/b。 由均值不等式：b/a + a/b ≥ 2√(b/a a/b) = 2。 所以 1/a + 1/b ≥ 2 + 2 = 4。当 a = b = 1/2 时取等号。2. 常数代换法
3. 易错点警示
常见问答 (FAQ)
对于任意正实数 a, b，有 (a+b)/2 ≥ √(ab)，当且仅当 a=b 时等号成立。即算术平均数大于等于几何平均数。
使用均值不等式求最值需满足“一正、二定、三相等”三个条件：1. 各项均为正数；2. 和或积为定值；3. 等号能够成立。
可通过作差法证明：(a+b)/2 - √(ab) = (√a - √b)² / 2 ≥ 0，从而得出 (a+b)/2 ≥ √(ab)。
标准的均值不等式要求变量为正数。如果变量为负数，通常需要先提取负号，转化为正数处理，或者使用其他不等式性质。