高中数学中的不等式板块一直是一个学生比较头疼的内容。因为不等式的题目往往很考察学生的观察能力和举一反三能力。在学习基本不等式这一内容中，我们常常通过引入“重要不等式”或者从几何图形中证明基本不等式。事实上，基本不等式即是“几何平均小于等于算术平均”。

事实上，这一结果可以推广到任意幂平均。通常我们有如下的结果（对任意$a,b>0$）： $$ \frac{2}{\frac{1}{a}+\frac{1}{b}}\leq\sqrt{ab}\leq\frac{a+b}{2}\leq\sqrt{\frac{a^2+b^2}{2}}, $$ 所有的等号当且仅当$a=b$时成立。我们可以简记为： $$ H_2\leq G_2\leq A_2\leq Q_2, $$ 即两个正数的调和平均小于等于几何平均小于等于算术平均小于等于平方平均。这些平均都是如下定义的幂平均： $$P^{n}_2=\left(\frac{a^n+b^n}{2}\right)^{1/n}$$

其中，下标$2$指的是所取平均的数的个数；上标$(n)$表示幂平均对应的指数$n$。注意到 $$ H_2=P_2^{-1}, A_2=P_2^{1}, Q_2=P_2^{2}. $$ 而我们在几何平均即是零次幂平均中已经知道， $$ G_2=\lim_{n\to0}P^{n}_2:=P_2^{0}. $$ 因此我们可以把上述幂平均改写为： $$ P^{-1}_2\leq P^{0}_2\leq P^{1}_2 \leq P^{2}_2. $$ 所以，我们可以总结为如下幂平均不等式， $$ \forall n<m\in\mathbb R, \\ P_2^{n}=\left(\frac{a^n+b^n}{2}\right)^{1/n}\leq \left(\frac{a^m+b^m}{2}\right)^{1/m}=P_2^{m}. $$ 注意这里的$n,m$不仅仅是整数，可以是任意实数。这一幂平均不等式也能推广到任意多个数的平均（这一平均甚至可以加权）。这一系列不等式的证明不难可作为习题。

需要说明的是，为什么这些幂平均还需要在外层作一个$1/n$次幂？事实上，这保证了各个幂平均数和原来数据的量纲相同。比如，我们的 $a,b$ 都是表示身高，单位为米，则幂平均数都应该是单位为米。在内部给其作“$n$次方平均”以后，得到的单位为 $米^n$，所以外层的 $^{1/n}$ 是必不可少的。值得注意的是，作为“零次幂平均”的几何平均，它的内部是乘积形式，因此对应的外层开方是和元素个数相对应的，否则无法保证量纲不变。

我们常用的重要不等式和基本不等式分别对应了幂平均不等式中的 “$P_2^{0}\leq P^2_2$” 以及 $P^0_2\leq P^1_2$。

接下来我们将介绍一个简便方法，即“对称法”或者称为“轮换对称法”，其基本结论是，

若不等式的条件和结论（或想要求的式子）是关于各个变量轮换对称的，则其最值在各个变量相等时取得。

这一结论是拉格朗日乘数法的一个简单推论。不过我们还需要前面提到的幂平均不等式确定等号方向或者是最大/小值。先来看一个简单的例子，

例1. 若 $a,b>0$，且$a+b=4$，则下列不等式恒成立的是（）

A. $\frac{1}{ab}\leq\frac{1}{4}$ B. $\frac{1}{a}+\frac{1}{b}\leq1$ C. $\sqrt{ab}\geq 4$ D. $a^2+b^2\geq 8$

注意到，条件和所有结论都是轮换对称的，即 $a、b$ 互相轮换式子都不会改变。因此极值都在 $a=b=2$ 时取得。我们可以看到ABCD四个选项对应的数值都是对的。不过符号的方向可通过幂平均来判断。比如 D 中是平方和，在幂平均中会大于算术平均（和），因此是大于等于号。

例2. 若$x,y>0$，且 $2x+8y-xy=0$，求 $xy$ 的最小值。

首先原题的条件不是对称的，但是令 $z=4y$ 以后，条件会转为对称，结论依然是对称的。事实上，我们有 $2x+2z-\frac{xz}{4}=0$，因此最值在 $x=z$ 时取得，即 $4x=\frac{x^2}{4}$，所以 $x=z=16$，此时 $xy=\frac{xz}{4}=64$.

如果这是一道选择题，也许我们就可以到此为止。如果是解答题，我们则需要通过幂平均不等式来分析。我们的条件表面看起来分为两个部分，和与积，即有 $2x+8y=xy$。我们需要求积的最小值。根据幂平均不等式，我们是需要使用类似于 $P^{-1}_2\leq P^0_{2}$ 的不等式。因此，我们需要一个倒数和的条件。而 $2x+8y=xy$ 左边是一次式右边是二次式，因此讲二次式除过来就可以得到倒数和（负一次）：

$$ \frac{1}{y/2}+\frac{1}{x/8}=1, $$

根据 $P^{-1}_2\leq P^0_{2}$，我们有

$$ 2=\frac{2}{\frac{1}{y/2}+\frac{1}{x/8}}\leq \sqrt{\frac{y}{2}\cdot\frac{x}{8}}=\frac{\sqrt{xy}}{4} $$ 所以 $xy\geq (2\times 4)^2=64$，等号当且仅当 $\frac{y}{2}=\frac{x}{8}$ 时成立。

通过这个例子，我们可以看到对于某些不是对称的题目，我们可以通过换元转化为对称的题目，利用对称法得到最值。而幂平均不等式能通过判断等式方向给我们提供解题思路。类似地，如果这道题让我们求解 $x+y$ 的最小值，则可以通过 $P_2^{-1}\leq P^1_{2}$ 来找到思路，即通过类似于 $(a+b)(\frac{1}{a}+\frac{1}{b})\geq 4$ 的证明方法（包括使用逐项相乘或者柯西不等式）。

当然还有一些不等式的题目这些技巧不一定奏效，需要的工具也不仅仅限于此，此处不再赘述。

whzecomjm

2020年11月30日