周末逛超市，看到一盒草莓，标价一盒30元，里面大概数了数，15颗。另一盒小一点，20元，10颗。哪盒更划算？很多人会心算单价，对吧。其实这就是均值不等式的“直觉版”——你在比较每颗草莓的平均价格，然后选择了那个平均值更低的。
好了，不绕弯子。今天咱们聊的是数学里的均值不等式题型。它不是什么高深莫测的东西，本质上就一句：对于两个正数 a 和 b，有 a+b ≥ 2√(ab)，而且等号成立条件是 a = b。听不懂？没事，我给你翻译成年人的话：两个正数的算术平均数永远不小于它们的几何平均数。你听出那种“平均主义”的感觉了吗？
这个不等式啊，长的很简单，但它的题型变化多端，特别爱在考试里“变脸”。今天咱们就把它扒开，看看里面藏着哪些坑，以及怎么爬出来。
先从最基础的定义说起
很多人一看见字母就头疼，但别怕。你就把 a 和 b 当成两个数字，比如 2 和 8。左边是 (2+8)/2 = 5，右边是 √(2×8) = √16 = 4。你看，5 ≥ 4，对的。那如果 2 和 2 呢？左边是2，右边也是2，相等了，这就是“取等”的时候。
为什么会有这个不等式？你可以用几何来体会一下。画一个半圆，直径是 a+b，然后在中间取点，把直径分成 a 和 b 两段。过那个点做垂直的线段，它的长度就是 √(ab)（这是射影定理吧？对，就是那个东西）。而半径长度是 (a+b)/2。你看，半径永远大于等于那条垂直的线段。是不是很直观？这就解释了为什么算术平均更大。
这个几何图我建议大家记在脑子里，比死记公式强十倍。以后做题卡壳了，想想那个半圆，可能就通了。
核心要点：你得知道“一正二定三相等”
这句话是很多老师都会喊的口号，我当年也觉得是废话，后来发现它才是解题的“作弊码”。来，拆开看：
一正：a 和 b 必须是正数。别傻乎乎地把负数套进去，那不等式不成立。比如 a = -1，b = -2，左边是 -1.5，右边是 √2 ≈ 1.41，-1.5 ≥ 1.41？显然不对。所以先检查符号。
二定：和（a+b）为定值，或者乘积（ab）为定值，你才能用不等式求最值。要是啥都不定，那不等号方向都找不着。举个典型例子：求 y = x + 1/x 的最小值（x>0）。这里积是定值1，所以直接用不等式得 y ≥ 2，等号当 x=1。是不是很爽？
三相等：等号能不能取到。如果取不到，你求出来的那个“最值”就是虚的。比如求 y = x + 2/(x-1) 的最小值（x>1）。你得凑一下，设 t = x-1，然后 y = (t+1) + 2/t = t + 2/t + 1，这时候 t>0，积为2，所以 t + 2/t ≥ 2√2，等号条件是 t = √2。因为 x>1，t能取到√2，所以最小值就是 1+2√2。但如果题目条件改成 x>2，那 t>1，等号取不到了，你就得用单调性或别的办法了。
这个“三相等”特别容易阴沟里翻船。很多题目求完一个数就以为自己赢了，其实临界值根本取不到，那就得换思路。
另外，均值不等式其实还有个大家庭，比如调和平均、平方平均，它们之间有一串不等式链：调和平均 ≤ 几何平均 ≤ 算术平均 ≤ 平方平均。不过考试主要就考最简单的这个版本。有兴趣的话可以自己查查，挺有意思的。
常见误区：掉坑现场盘点
误区一：不看正数条件。比如填空题里直接给你一个函数 y = x + 4/x，没说 x>0。你要是无脑用不等式，x = -2 时，y = -4，这显然比2小多了。正确的解法要分 x>0 和 x<0 讨论，x<0时要用 -x 来转化。这种题特别爱考，你一不小心就中招。
误区二：完全忽略取等条件。我上学时吃过这种亏。当时求最大值，凑出一个式子 ≥ 某数，就以为找到了最小值，结果发现等号条件不满足，因为那个变量被固定在别处了。后来才明白，不等式只是给出一个界，不一定能达到。
误区三：乱拆项，不符合“定值”。比如求 y = x^2 + 4x + 1 的最小值（x>0），有人想用均值，把它拆成 x^2 + 2x + 2x + 1？那也没有定值，完全浪费表情。这种题其实直接用二次函数就解决了，别强加。
误区四：忘了“正数”但也可以推广到非负数？不，必须是正数。零也不行。因为右边是根号，零可以但取等条件？如果a或b为0，那左边可能是正数，右边是0，不等式成立，但等号条件不成立，因为如果a=0，b=0时才行。但通常我们讲正数，避免麻烦。
误区五：变量取值范围变了，你还在硬套公式。比如刚刚那道题，t≥2时，你还用均值不等式去说 ≥2，其实取不到。这种错误特别隐蔽，一定要回头检查取等条件是否在你的定义域内。
实例说明：题型到底怎么解
咱们来几道典型题，保证你看完就懂。
例1：直接套公式型。 求 y = 3x + 12/x 的最小值（x>0）。这里两个数分别是 3x 和 12/x，乘积是 36，定值。直接用不等式：3x + 12/x ≥ 2√(3x · 12/x) = 2√36 = 12。等号当 3x = 12/x，即 x^2 = 4，x=2。所以最小值是12。简单吧？这就是送分题。
例2：凑系数型。 已知 x>0，求 y = x(4-2x) 的最大值。注意这里有 x 和 (4-2x)，但它们的和不是定值？其实是：x + (4-2x) = 4 – x，会变。所以我们要凑一个“和为定值”。因为乘积里有一个因子 x，另一个有 -2x，我们不妨把 x 看成 (1/2)·2x，然后让 2x 和 (4-2x) 配对，求和为4，定值！于是 y = (1/2)·2x·(4-2x) ≤ (1/2)·[(2x + 4-2x)/2]^2 = (1/2)·[4/2]^2 = (1/2)·4 = 2。等号当 2x = 4-2x，即 x=1。是不是很妙？这种配对法在考试里超级常见，一定要会。
例3：换元型。 求 y = (x^2+5)/√(x^2+4) 的最小值（x∈R）。直接做？你会发现分母带根号。换元，令 t = √(x^2+4)，则 t ≥ 2。分子 x^2+5 = (t^2-4)+5 = t^2+1，所以 y = (t^2+1)/t = t + 1/t。现在变成了 t ≥ 2 下的最值。注意，如果用均值不等式，t + 1/t ≥ 2，但等号条件是 t=1，而 t≥2，所以取不到2。那怎么办？我们看单调性：函数 f(t)=t+1/t 在 [1,+∞) 上是增函数（求导或者用定义），所以当 t=2 时取最小值，y_min = 2 + 1/2 = 2.5。这题就是典型的“三相等”陷阱，如果你直接填2，就错了。
例4：先变形再用均值。 已知 x>0，y>0，且 2x + y = 1，求 1/x + 1/y 的最小值。这题很多人懵，因为要求的是倒数和，但条件给的是线性式。技巧是“乘1法”：把 1 换成 2x+y，于是 1/x + 1/y = (1/x + 1/y)(2x+y) = 2 + y/x + 2x/y + 1 = 3 + y/x + 2x/y。这里 y/x 和 2x/y 的乘积是 2，定值！所以 y/x + 2x/y ≥ 2√2，整体最小值就是 3+2√2。等号当 y/x = 2x/y，即 y=√2 x，再由 2x+y=1 解得 x = 1/(2+√2)（注意正数）。这种“乘1法”是高频考点，一定得记牢。
这四道题基本涵盖了均值不等式题型的主要套路：直接、凑、换元、乘1。你看，其实也就那么回事。遇到题目先观察：有没有正数？有没有定值？等号能不能取到？三连问之后，思路就清晰了。
最后说一句，数学这东西，不要死记硬背。你把那个半圆图印在脑子里，把“一正二定三相等”当成口诀，再错不了。下次再看到均值不等式题型，你就微笑着对付它——它就是那个超市里比单价的游戏，只是数字变得抽象了一点而已。
好了，就说这么多，赶紧去练两道题吧。你要是还卡壳，欢迎回来吐槽。我保证，你练个十道八道，这种题就成了你的送分题。
