掌握 基本不等式，攻克函数最值难题。从基础定义到高考压轴题应用，一文读懂 算术平均数 与 几何平均数 的奥秘。
在高中数学体系中，基本不等式（Basic Inequality）是解决不等式证明、求函数最值以及解析几何中距离最值问题的重要工具。其核心在于揭示了两个正数的算术平均数与几何平均数之间的大小关系。
当且仅当 a = b 时，等号成立。
基本不等式的几何意义非常直观。我们可以将其理解为“半弦不超过半径”。在一个圆中，直径上的半弦长度即为几何平均数 √(ab)，而半径长度为算术平均数 (a+b)/2。这一几何解释有助于直观记忆公式结构。
在实际解题中，基本不等式常有以下几种变形形式，需熟练掌握：
理解证明过程比死记硬背公式更重要。以下是两种常见的证明方法，分别适用于代数基础较好的同学和几何直观理解者。
要证明 a + b ≥ 2√(ab) (a,b>0)，我们可以考察左边减右边的差值：
a + b - 2√(ab) = (√a)² - 2√a√b + (√b)²
= (√a - √b)²因为任何实数的平方都非负，即 (√a - √b)² ≥ 0，所以：
a + b ≥ 2√(ab)
等号成立的条件是 (√a - √b)² = 0，即 √a = √b，也就是 a = b。
构造一个半径为 R 的圆，设直径 AB = a + b。在直径上取点 C，使得 AC = a, CB = b。过点 C 作垂直于 AB 的弦 DE，交圆于 D、E 两点。
即 (a + b) / 2 ≥ √(ab)，当且仅当 C 与 O 重合（即 a=b）时取等号。
设向量 u = (√a, √b)，v = (√b, √a)。
根据向量数量积的定义：u · v = |u||v|cosθ
即 √a√b + √b√a = 2√(ab)
而 |u| = √(a+b)，|v| = √(b+a)
所以 2√(ab) = (a+b)cosθ ≤ a+b
得证：a + b ≥ 2√(ab)。
基本不等式是高考数学选择题、填空题及解答题中的常客。特别是在函数最值、解析几何最值问题中，应用频率极高。以下是几种典型的应用场景。
题型：已知 x + y = S（定值），求 xy 的最大值。
解法：由 x + y ≥ 2√(xy) 可得 √(xy) ≤ S/2，即 xy ≤ (S/2)²。
示例：若 x+y=10 (x,y>0)，则 xy 最大值为 25。
题型：已知 xy = P（定值），求 x + y 的最小值。
解法：直接利用 x + y ≥ 2√(xy) = 2√P。
示例：若 xy=4 (x,y>0)，则 x+y 最小值为 4。
题型：已知 1/a + 1/b = 1，求 a + b 的最小值。
解法：将 a+b 乘以 1，即 (a+b)(1/a+1/b)，展开后利用 基本不等式。
结果：a+b ≥ 4。
题型：复杂函数 f(x) = x + 1/x + x² + 1/x²。
解法：换元 t = x + 1/x，将原函数转化为关于 t 的二次函数，再结合 t 的范围求解。
| 题目类型 | 关键步骤 | 易错点 | 答案示例 |
|---|---|---|---|
| 分式求最值 | 分离常数 + 基本不等式 | 忽略分母不为0 | y = x + 4/(x-1) + 1, x>1 → min=5 |
| 二次函数最值 | 配方 + 基本不等式 | 等号成立条件不符 | ax²+bx+c 在特定区间 |
| 几何面积最值 | 建立坐标系 + 不等式 | 变量范围限制 | 矩形周长固定，正方形面积最大 |
许多同学在考试中丢分，并非不会公式，而是忽略了使用条件。请务必牢记以下三个陷阱：
问题描述：直接使用 a+b≥2√(ab) 时，未验证 a,b 是否为正数。
案例：求 y = x + 1/x 的最小值。若 x < 0，则 y 为负数，无最小值（趋向负无穷），或者需提取负号后使用。
对策：先看定义域，确保变量为正。若为负，先变形为正。
问题描述：和或积不是定值，无法直接求出最值。
案例：求 x(3-3x) 的最大值。若直接看 x 和 3-3x，和为 3-2x 不是定值。
对策：需要“凑”系数。将 x(3-3x) 变形为 (1/3)·3x·(3-3x)，此时 3x + (3-3x) = 3 为定值。
问题描述：等号成立的条件不在定义域内，导致“假最值”。
案例：求 y = x + 4/x (x≥3) 的最小值。若用公式，min=4 (当x=2时)，但 x=2 不在 x≥3 范围内。
对策：检查等号成立的 x 值是否在定义域内。若不在，需利用函数的单调性（如对勾函数性质）求解。
使用基本不等式 a+b ≥ 2√(ab) 时，必须满足三个条件：一正（a,b均为正数）、二定（和或积为定值）、三相等（等号成立的条件存在且符合题意）。
核心步骤是“凑项”与“凑系数”，将函数变形为积或和为定值的形式。需注意验证等号是否能取到，若等号取不到则需结合函数的单调性求解。
基本不等式通常指两个正数的算术平均数不小于几何平均数（a+b≥2√(ab)）。均值不等式是其推广，包含n个正数的算术平均数≥几何平均数≥调和平均数等更广泛的链条。
因为负数的平方根在实数范围内无意义，且负数相加可能变得更小，不符合“和最小”或“积最大”的逻辑前提。若变量为负，通常需提取负号转化为正数处理。