基本不等式的核心定义
在高中数学及各类竞赛中，基本不等式（Basic Inequality）是解决变量之间大小关系及最值问题的有力工具。它揭示了算术平均数与几何平均数之间的内在联系。
1.1 公式表述
如果 a 和 b 都是正数，那么我们有：
a + b ≥ 2√(ab)
当且仅当 a = b 时，等号成立。这一公式表明：两个正数的算术平均数不小于它们的几何平均数。
1.2 几何意义
我们可以通过一个经典的几何图形来理解这个公式。想象一个以 a + b 为直径的半圆。圆心到圆周的距离（半径）为 (a+b)/2，而半弦长（垂直于直径的线段）的最大值为 √(ab)。显然，半径总是大于或等于半弦长，从而直观地证明了 (a+b)/2 ≥ √(ab)。
📌 核心结论
对于任意实数 a, b：
a² + b² ≥ 2ab
当且仅当 a=b 时取等号。
📌 推广形式
若 a, b > 0，则：
(a+b)/2 ≥ √(ab) ≥ 2/(1/a + 1/b)
即：调和平均 ≤ 几何平均 ≤ 算术平均
使用“一正二定三相等”铁律
许多同学在利用基本不等式求最值时容易出错，根本原因在于忽视了其严格的使用条件。请务必牢记以下三个步骤：
参与运算的各项必须为正数。如果题目中给出的变量是负数，必须先通过变形（如提取负号）将其转化为正数，或者使用其他方法（如导数）。
示例：求 y = x + 1/x (x < 0) 的最值。直接套用公式会导致错误，因为 x 为负。应转化为 y = -(-x - 1/x)，此时 -x > 0，方可使用。
各项之和或各项之积必须为定值（常数）。这是求最值的关键。如果和不是定值，积也不是定值，则无法直接得出最值。
技巧：若和不是定值，可通过“拆项”或“乘常数”来构造定值。例如，已知 x + 2y = 4，求 xy 最大值，需配凑系数使积中变量消去或和为定值。
必须验证等号成立的条件是否存在，即是否存在实数使得各项相等。如果等号取不到（例如变量取值范围受限），则最值不在该点取得，需结合单调性分析。
常见最值模型与例题解析
掌握模型比死记硬背更重要。以下是三种最常见的基本不等式应用场景。
📝 模型描述
已知 x > 0, y > 0，且 xy = P（P为定值），则 x + y ≥ 2√P。当且仅当 x = y 时，和取得最小值。
💡 典型例题
已知正数 x, y 满足 xy = 4，求 x + y 的最小值。
解析：
- 验证条件：x, y 均为正数，符合“一正”。
- 构造定值：积 xy = 4 为定值，符合“二定”。
- 应用公式：x + y ≥ 2√(xy) = 2√4 = 4。
- 验证等号：当 x = y = 2 时，等号成立，符合“三相等”。
答案：最小值为 4。
📝 模型描述
已知 x > 0, y > 0，且 x + y = S（S为定值），则 xy ≤ (S/2)²。当且仅当 x = y 时，积取得最大值。
💡 典型例题
已知正数 x, y 满足 x + y = 10，求 xy 的最大值。
解析：
- 和 x + y = 10 为定值。
- 根据基本不等式变形：xy ≤ [(x+y)/2]² = (10/2)² = 25。
- 当 x = y = 5 时取等号。
答案：最大值为 25。
📝 模型描述
这是高考中最常考的难点。已知 1/a + 1/b = 1（或其他常数关系），求 a + b 的最小值。核心技巧是“1的代换”。
💡 典型例题
已知 a > 0, b > 0，且 1/a + 2/b = 1，求 a + b 的最小值。
解析：
- 不能直接看出积或和为定值。
- 将目标式乘以“1”：a + b = (a + b) × 1 = (a + b)(1/a + 2/b)。
- 展开：= 1 + 2a/b + b/a + 2 = 3 + 2a/b + b/a。
- 对 2a/b + b/a 使用基本不等式：≥ 2√(2a/b × b/a) = 2√2。
- 所以 a + b ≥ 3 + 2√2。
答案：最小值为 3 + 2√2。
进阶：形变与配凑技巧
当题目给出的条件比较隐蔽时，我们需要对代数式进行变形。以下是几种高级策略：
4.1 分离常数法
对于分式函数，如 y = (x² + 5) / √(x² + 4)，直接看分子分母没有明显关系。我们可以令 t = √(x² + 4)，则 x² = t² - 4。代入后变为 y = (t² + 1)/t = t + 1/t。此时变成了典型的“对勾函数”形式，可利用基本不等式求最值。
4.2 拆项与添项
若分母为 x + 1，分子为 x² + 3，我们可以尝试将分子配凑出 (x+1) 的倍数。例如 x² + 3 = (x+1)(x-1) + 4。这样拆分后，部分项可以约分，剩余项可能构成积定或和定。
4.3 换元法
对于复杂的根式或三角函数，通过换元将其转化为代数形式。例如求 y = sinx + 1/sinx (x ∈ (0, π/2)) 的最值。令 t = sinx，则 t ∈ (0, 1)。问题转化为求 t + 1/t 在 (0,1) 上的最小值。注意：对勾函数在 (0,1) 单调递减，故无最小值（趋近于2但取不到），需仔细分析定义域。
| 技巧名称 | 适用场景 | 关键操作 |
|---|---|---|
| 1的代换 | 已知倒数和为常数，求线性式和的最值 | 将目标式乘以已知条件，展开后使用基本不等式 |
| 分离常数 | 分子次数高于分母，或分母不能整除分子 | 通过多项式除法或配凑，分离出整数部分 |
| 换元法 | 结构复杂，含有根号或三角函数 | 简化结构，转化为熟悉的基本不等式模型 |
网友们还关心：常见误区与深度拓展
在搜索基本不等式最值定理公式时，许多学习者会陷入一些思维陷阱。以下是基于大数据分析的高频问题解答。
⚠️ 误区：忽略等号成立条件
问题：求 y = x + 4/x (x > 0) 的最小值，并求 y = x + 4/x (x < -1) 的最小值。
解析：第一问 x=2 > 0，等号成立，最小值为4。第二问 x < -1，等号成立条件 x = -2 在范围内，最小值为 -4。但如果题目改为 x > 1，则 x=2 在范围内，最小值仍为4。如果题目改为 x > 3，则 x=2 不在范围内，函数在 (3, +∞) 单调递增，无最小值（下确界为 3 + 4/3）。
⚠️ 误区：多次使用不等式导致误差
问题：已知 a>0, b>0, c>0, a+b+c=1，求 1/a + 1/b + 1/c 的最小值。
解析：不能分别对 a+b, b+c 等使用不等式。应整体使用柯西不等式或权方和不等式，或者直接使用调和平均数关系：(a+b+c)(1/a+1/b+1/c) ≥ 9，所以最小值为9。
🚀 拓展：与导数的结合
当基本不等式无法构造出定值时，导数法是最终的武器。例如求 y = x + 1/(x+1) (x > -1) 的最值。虽然看似可用，但积不是定值。求导 y' = 1 - 1/(x+1)²。令 y'=0 得 x=0。此时 x=0 处取得极小值。这提示我们，基本不等式是导数法的特例，掌握导数能解决更广泛的问题。
FAQ：关于基本不等式的疑问解答
Q: 为什么基本不等式要求变量为正数？
A: 因为几何平均数 √(ab) 在实数范围内要求 ab ≥ 0。如果 a, b 异号，积为负，无实数根；如果 a, b 均为负，虽然积为正，但和为负，不等式方向会改变（例如 -1 和 -4，和为 -5，积为 4，√4=2，-5 < 2，方向相反）。因此，严格定义通常限定为正数。
Q: 三个数的基本不等式是什么？
A: 对于 a, b, c > 0，有 (a+b+c)/3 ≥ ³√(abc)。当且仅当 a=b=c 时等号成立。这个公式在处理三元变量最值问题时非常有用，例如已知 abc=1，求 a+b+c 的最小值。