要真正理解一个公式，最好的方式是重现它的发现过程。我们从一个简单的几何问题开始。
问题： 用一根长为 4a 的铁丝围成一个矩形，问如何围才能使矩形的面积最大？
分析与推导：
设矩形的一边长为 x，则另一边长为 (4a – 2x) / 2 = 2a – x。为了保证边长为正，我们需要 x > 0 且 2a – x > 0，即 0 < x < 2a。
矩形的面积 S 可以表示为 S = x(2a – x)。
我们的目标是求 S 的最大值。这是一个二次函数问题，但我们可以用一种更巧妙的方法。观察 x 和 2a – x，你会发现它们的和是一个定值：x + (2a – x) = 2a。
现在，我们思考一个更一般的问题：对于两个和为定值的正数，它们的乘积什么时候最大？
让我们暂时放下这个问题，来看另一个经典的不等式。对于任意实数 a 和 b，我们知道一个完全平方式总是非负的：
(a – b)² ≥ 0
展开这个式子，我们得到：
a² – 2ab + b² ≥ 0
a² + b² ≥ 2ab
这是一个非常重要的不等式，它对任意实数都成立，当且仅当 a = b 时取等号。
现在，我们做一个巧妙的代换。令 a = √m, b = √n，其中 m ≥ 0, n ≥ 0。代入上面的不等式：
(√m)² + (√n)² ≥ 2(√m)(√n)
m + n ≥ 2√(mn)
两边同时除以2，就得到了我们梦寐以求的结论：
(m + n) / 2 ≥ √(mn)
这个不等式就是基本不等式。它告诉我们：对于任意两个非负实数 m 和 n，它们的算术平均数 (m+n)/2 总是不小于它们的几何平均数 √(mn)。当且仅当 m = n 时，等号成立。
回到我们最初的矩形问题。我们有 x + (2a – x) = 2a（和为定值）。根据基本不等式：
(x + (2a – x)) / 2 ≥ √(x(2a – x))
2a / 2 ≥ √S
a ≥ √S
S ≤ a²
所以，面积 S 的最大值是 a²。这个最大值在什么时候取到呢？根据基本不等式“当且仅当 m=n 时等号成立”的条件，即 x = 2a – x，解得 x = a。这意味着当矩形的长和宽都为 a 时，也就是围成一个正方形时，面积最大。
通过这个例子，我们不仅推导出了基本不等式，还直观地理解了它的威力：它揭示了“和”与“积”之间深刻的制约关系。
第二部分：核心法则——“一正、二定、三相等”
掌握了公式本身只是第一步，更重要的是知道如何正确、有效地使用它。在实际应用中，我们必须严格遵守三个前提条件，常被概括为“一正、二定、三相等”。这三点是使用基本不等式求最值的灵魂，缺一不可。
一正 (Positivity)
含义： 参与运算的各项必须都是正数。
为什么？ 基本不等式 (a+b)/2 ≥ √(ab) 的前提是 a ≥ 0, b ≥ 0。如果 a 或 b 为负数，√(ab) 可能无意义（在实数范围内），或者即使有意义，不等式也可能不成立。
反例： 考虑 x + 1/x。如果我们不假思索地应用基本不等式，会得到 x + 1/x ≥ 2。但这个结论是错误的！因为当 x = -1 时，x + 1/x = -2，显然 -2 < 2。错误的原因就在于忽略了“正数”这个前提。只有当题目明确给出 x > 0 时，这个最小值 2 才成立。
应对策略： 如果题目中的变量可能为负，我们需要通过讨论或变形（例如，取其相反数并改变不等号方向）来确保各项为正。
二定 (Constant Sum or Product)
含义： 在求最值时，要么各项的和为定值，要么各项的积为定值。
为什么？ 基本不等式建立的是“和”与“积”的关系。如果两者都不是定值，我们就无法确定另一端的最值。
积定和最小： 如果 ab = P (P为正常数)，那么 a + b ≥ 2√(ab) = 2√P。此时，a + b 有最小值 2√P。
和定积最大： 如果 a + b = S (S为正常数)，那么 ab ≤ ((a+b)/2)² = (S/2)²。此时，ab 有最大值 S²/4。
应对策略： 很多时候，题目不会直接给出“和为定值”或“积为定值”。这时就需要我们通过“配凑法”、“拆项法”、“换元法”等技巧，主动构造出定值。例如，求 y = x + 1/(x-1) (x > 1) 的最小值。这里 x 和 1/(x-1) 的和与积都不是定值。但我们可以将 x 拆成 (x-1) + 1，于是 y = (x-1) + 1/(x-1) + 1。现在，(x-1) 和 1/(x-1) 的积是 1（定值），就可以使用基本不等式了。
三相等 (Equality Condition)
含义： 等号成立的条件必须能够取到。也就是说，使得 a=b 的那个变量的值，必须在题目的定义域内。
为什么？ 基本不等式给出的只是一个范围（≥ 或 ≤），最值是这个范围的边界。如果这个边界永远达不到，那么它就只是一个“下界”或“上界”，而不是真正的“最小值”或“最大值”。
反例： 求函数 y = x + 1/x 在区间 [2, +∞) 上的最小值。如果我们直接套用基本不等式，会得到 y ≥ 2，并认为最小值是 2。但等号成立的条件是 x = 1/x，即 x=1 或 x=-1。然而，x=1 并不在我们的定义域 [2, +∞) 内！因此，最小值 2 是无法取到的。正确的做法是分析函数 y = x + 1/x 在 [2, +∞) 上的单调性（它是增函数），从而得出最小值在 x=2 处取得，为 2.5。
应对策略： 在使用基本不等式求出最值后，务必回头验证等号成立的条件是否满足题目的所有限制。
第三部分：千变万化——常见题型与解题技巧
理论的生命力在于实践。下面我们将通过几种典型模型，展示如何灵活运用基本不等式。
模型一：直接应用法
这是最简单的情况，题目已经具备了“一正二定”的条件。
例题： 已知 x > 0，求 y = x + 4/x 的最小值。
解： 因为 x > 0，所以 x 和 4/x 均为正数，且它们的积 x * (4/x) = 4 为定值。根据“积定和最小”，y = x + 4/x ≥ 2√(x * 4/x) = 2√4 = 4。当且仅当 x = 4/x，即 x=2 时，等号成立。所以最小值为 4。
模型二：“1”的代换法
当题目中出现形如 a + b = 1 或 ab = 1 的条件时，可以考虑用“1”进行代换，创造出可以使用基本不等式的结构。
例题： 已知 a > 0, b > 0，且 a + b = 1，求 1/a + 1/b 的最小值。
解： 1/a + 1/b = (a+b)/a + (a+b)/b = 1 + b/a + a/b + 1 = 2 + b/a + a/b。因为 a,b > 0，所以 b/a 和 a/b 均为正数，且它们的积为 1（定值）。所以 b/a + a/b ≥ 2√((b/a)*(a/b)) = 2。因此，1/a + 1/b ≥ 2 + 2 = 4。当且仅当 b/a = a/b，即 a=b 时取等号。结合 a+b=1，得 a=b=1/2。所以最小值为 4。
模型三：配凑法
这是考察综合能力的关键。需要通过添项、拆项、变系数等方法，凑出“和为定值”或“积为定值”。
例题： 已知 x > 1，求 y = x + 1/(x-1) 的最小值。
解： 关键在于处理分母 x-1。我们将 x 拆成 (x-1) + 1。于是 y = (x-1) + 1 + 1/(x-1) = [(x-1) + 1/(x-1)] + 1。因为 x > 1，所以 x-1 > 0。此时 (x-1) 和 1/(x-1) 的积为 1（定值）。所以 (x-1) + 1/(x-1) ≥ 2。因此 y ≥ 2 + 1 = 3。当且仅当 x-1 = 1/(x-1)，即 x-1=1，x=2 时取等号。所以最小值为 3。
模型四：整体换元法
当表达式比较复杂时，可以通过换元简化结构。
例题： 求函数 y = (x² + 5) / √(x² + 4) 的最小值。
解： 观察到分子和分母都含有 x²，令 t = √(x² + 4)。因为 x² ≥ 0，所以 t ≥ 2。则 x² + 5 = t² + 1。原函数变为 y = (t² + 1) / t = t + 1/t。现在问题转化为求 y = t + 1/t 在 t ≥ 2 时的最小值。注意！这里不能直接用基本不等式说最小值是 2，因为等号成立条件 t=1 不在 t ≥ 2 的范围内。我们需要判断函数 y = t + 1/t 在 [2, +∞) 上的单调性。可以证明它在 [1, +∞) 上是增函数，所以在 t=2 时取得最小值，y_min = 2 + 1/2 = 2.5。
第四部分：拓展视野——从二元到多元
基本不等式可以推广到更多变量的情形。对于 n 个正数 a₁, a₂, …, aₙ，它们的算术平均数不小于几何平均数：
(a₁ + a₂ + … + aₙ) / n ≥ ⁿ√(a₁a₂…aₙ)
当且仅当 a₁ = a₂ = … = aₙ 时，等号成立。