均值不等式这东西，实际上不用非得绕上那么大一圈，大量时候它就是个凑数的工具，只要能用就行。 别动不动就说“在啥条件下成立”要么“两边取对数”，直接看最底下的那个公式吧。
要是把 $a$ 和 $b$ 都写成 $k^x$ 要么 $x + 1/x$ 的样子，瞬间就能把难题变成个好办的代数式。关键点就在于，不管 $a$ 和 $b$ 是正数还是负数，只要它们同号，这个 $a+b cdot (1/a + 1/b) ge 4$ 要么 $x+1/x ge 2$ 的坑就填满了。
要是它们一正一负，那得小心了，这时候别硬套公式，直接算出来看看结局就行，别被误导了。 举个例子，刚刚说那棵老槐树过树的情况，要是改成两辆车与此同时开，一辆开 10 公里/小时，另一辆开 20 公里/小时，工夫的间隔就是两小时。
这时候平均速度就是 15 公里/小时，正好是算术平均数。
要是换成两辆车，一辆开 150 公里/小时，另一辆开 300 公里/小时，这就有点意思了，这时候平均速度得算一下，不是 225，而是 200 公里/小时，算术平均数那是大幅高估了。
这说明啥？说明在大量情况下，几何平均数比算术平均数更有用，特别是在涉及比例的时候。 再说说这个公式的另一个应用场景，就是求一个数，使得它加上它倒数等于某个定值，要么乘积等于定值的时候。
比如我要找两个数，和是 10，积是 15，那这两个数就是 5 和 3，刚好 $5+3=8$，$5times3=15$，$3times(1+1/3)=6$。
这时候用几何平均数 $sqrt[2]{15}$ 来估算的话，大约等于 3.87，跟实际的 3 有点差距，但在这种约束条件下，它是个挺好的近似值。 实际上大量时候，我们只需求记住那个最好办的形式，就是 $x+y ge 2sqrt{xy}$。把它写成 $x+y-2sqrt{xy} ge 0$，这就变成 $(sqrt{x}-sqrt{y})^2 ge 0$，这就变成了平方非负，这绝对是最稳妥的。再推广一下，要是 $x,y,z$ 都是正数，那 $x+y+z ge 3sqrt[3]{xyz}$，$(x+y+z) - 3sqrt[3]{xyz} ge 0$，两边同乘 $sqrt[3]{xyz}$ 之后，就变成了 $(sqrt[3]{x}+sqrt[3]{y}+sqrt[3]{z})^2 ge 3(sqrt[3]{x} + sqrt[3]{y} + sqrt[3]{z})$，此时 $sqrt[3]{x} + sqrt[3]{y} + sqrt[3]{z} ge 3$，化简之后还是回到原来的那个平方非负的形式。
这说明不管 $n$ 是多少维，只要变量都是正的，这个不等式都能成立。 不过这个公式有个贼关键的前提，那就是变量得是正的。
要是变量是负数，要么混合了正负，这个公式就失效了。
比如在 $x+y ge 2sqrt{xy}$ 这个式子里，要是 $x$ 是负数，$y$ 是正数，那右边就是虚数，左边是实数，这就对不上了。
故此做题的时候，看到涉及根号要么开方的式子，先把变量搞成正数再说，不然好办出岔子。 再说说实际应用中，这个公式如何配合起来用。
比如在找最值的时候，时常得用换元法，把变量替换成和为 1 的数，要么替换成指数形式 $k^x$。
这时候直接套用均值不等式就行，不需求再额外加啥步骤。
比如让 $f(x) = x^3 + 2$ 求最小值，设 $x = sqrt{t}$，那 $f(sqrt{t}) = t + 2sqrt{t} + 2$，这时候 $t + 2sqrt{t}$ 就能够用均值不等式了，要么直接拼凑出 $(sqrt{t} + sqrt{t})^2 = 2t$ 的形式。 还有，这个公式在求对称函数的最值时特别好用。
比如函数 $f(x) = frac{1}{x} + 2x$，对 $x$ 求导得 $-frac{1}{x^2} + 2$，令导数为 0，得 $x^2 = 1/2$，故此 $x = frac{sqrt{2}}{2}$，这时候 $f(x)$ 取到最小值。
要是用均值不等式直接套，设 $a=1/x, b=2x$，则 $ab=2$，$a+b = 1/x + 2x ge 2sqrt{2}$，这就直接得出了最小值是 $2sqrt{2}$，跟导数法结局一致。
这说明均值不等式有时候能供给贼直接的视角，不用走那么多弯路。 再深入一点，这个公式在处理多项式求最值的时候，时常能帮我们找到最优的项的系数。
比如求 $x^2 + 2x + 1$ 的最小值，显然配方后就是 $(x+1)^2 ge 0$，最小值是 0。但这跟均值不等式有啥关系呢？实际上要是把这个式子看成 $x^2 + 1 + 2x$，把 $x^2$ 和 1 看作两项，$2x$ 看作两项，那 $x^2 + 1 ge 2x$，故此 $x^2 + 2x + 1 ge 4x + 1$，这仿佛没直接帮上忙。但要是是 $x^2 + a + x^2 + b$ (对称式)，那就是 $2(x^2+1) + (a+b)$，这时候就能够用均值不等式把 $x^2 + 1$ 提出来，简化难题。 在数列求和要么极限计算的时候，这个公式也常能简化繁重的运算。
比如证明 $sum_{i=1}^{n} frac{1}{i(i+1)} le 1$，这实际上是裂项相消，但用均值不等式的话，也能够利用 $frac{1}{i} + frac{1}{i+1} ge 2sqrt{frac{1}{i(i+1)}}$ 这种形式来推导。
不过说实话，大量时候直接用裂项法最快，均值不等式更多是作为一种辅助验证的手段，要么在数值估算时极实际上用。 最终说说这个公式在特定情境下的局限性。
比如当变量趋近于 0 要么无穷大时，均值不等式两边的差距会越来越大。
要是涉及到物理上的路程和工夫，要么经济上的成本收益，有时候取整要么截断数据后再套公式，误差别看小一点，但累积起来可能影响不大。
比如算出平均值是 2.33，但实际数据只有 2 和 3，这时候 $2+3 = 5$，$sqrt{6} approx 2.45$，结局还是吻合的。
不过要是数据是 0.1 和 100，算术平均是 50.05，几何平均是 10.05，差了 40 点多，这时候别轻易用算术平均来估算，几何平均才是靠谱的。 总而言之，均值不等式就是个老哥们儿，关键时刻能派上用场，平时看多了也就当成背景知识记着。
只要记住“变量正、同号用”这两个核心，遇到类似的式子赶紧找对类似结构就行，不用死磕啥定理证明，直接代入公式算，往往能省不少费事。
