平均值不等式的证明

平均值不等式的证明

需要证明的结论：对任意$n$个正数$a_1,a_2,\cdots ,a_n$，有
$$\frac{a_1+a_2+\cdots +a_n}{n}\ge \sqrt[n]{a_1{a}_2\cdots a_n}\ge n/\left(\frac{1}{a_1}+\frac{1}{a_2}+\cdots +\frac{1}{a_n}\right),$$
等号当且仅当$a_1,\cdots ,a_n$全部相等时成立。

先证明第一个不等式，当$n=2$时，要证明$\frac{a+b}{2}\ge \sqrt{ab}$，平方后等价于证明$(a-b{)}^2\ge 0$，这显然是成立的，于是因此有
$$\frac{\frac{a_1+a_2}{2}+\frac{a_3+a_4}{2}}{2}\ge \sqrt{\frac{a_1+a_2}{2}\cdot \frac{a_3+a_4}{2}}\ge \sqrt{a_1{a}_2{a}_3{a}_4},$$
以此类推可以得到对于$n=2^k,k\in \mathbb{N}$的情形。

当$n\ne 2^k$且$n>2$时，取$l\in {\mathbb{N}}^{+}$，使$2^{l-1}<n<2^l$，记
$$\bar{a}=\sqrt[n]{a_1{a}_2\cdots a_n},$$
在$a_1,\cdots ,a_n$后面加上$(2^l-n)$个$\bar{a}$，将其扩充成$2^l$个正数。对这$2^l$个正数应用不等式，得到
$$\frac{1}{2^l}[a_1+\cdots +a_n+(2^l-n)\bar{a}]\ge (a_1{a}_2\cdots a_n{\bar{a}}^{2^l-n}{)}^{-\frac{1}{2^l}}=\bar{a},$$
对等式左边作整理，即
$$\begin{array}{rl}& \frac{a_1+\cdots +a_n+(2^l-n)\bar{a}}{2^l}\\ =& \frac{a_1+\cdots +a_n}{2^l}+\bar{a}-\frac{n\bar{a}}{2^l}\ge \bar{a}\end{array}$$
再整理
$$\frac{a_1+\cdots +a_n}{n}\ge \bar{a}=\sqrt[n]{a_1\cdots a_n}.$$
就证得了原不等式对于任意正整数的情况。

---

将$\frac{1}{a_1},\cdots ,\frac{1}{a_n}$代入，就得到
$$\frac{\frac{1}{a_n}+\cdots +\frac{1}{a_n}}{n}\ge \sqrt[n]{\frac{1}{a_1{a}_2\cdots a_n}},$$
由于$a_1,\cdots ,a_n$都是正数，所以两边同时取倒数，得到
$$\frac{n}{\frac{1}{a_1}+\cdots +\frac{1}{a_n}}\le \sqrt[n]{a_1{a}_2\cdots a_n}.$$