用简易方法证明 n 个数的算术平均数 ＞ 几何平均数

写博时间：2023-04-12 16:30~20:10
更改一些问题：2023-09-30 15:25~15:28

文章码量：5222字。

---

以前常常证明和使用 $\frac{a+b}{2}\ge \sqrt{ab}$ 公式，
那么 $n$ 个数的算术平均数 > 几何平均数的命题怎么证明呢？

在网上浏览了许多问答之后发现，基本都是使用琴生不等式，柯西不等式进行证明的，那有没有一些难度更小的证明方法呢？在这里我发现了一种简单易懂的证法。

---

证明
$$A_n\ge G_n$$

即
$$\frac{{\sum }_{i=1}^n{x}_i}{n}\ge \sqrt[n]{\prod _{i=1}^n{x}_i}$$

以下均满足 $x\ge 0$。

首先证明 $n=2$ 的情况，即
$$\frac{x_1+x_2}{2}\ge \sqrt{x_1{x}_2}$$
$$x_1+x_2\ge 2\sqrt{x_1{x}_2}$$
$$x_1+x_2-2\sqrt{x_1{x}_2}\ge 0$$

$$(\sqrt{x_1}-\sqrt{x_2}{)}^2\ge 0$$

显然成立。

那么我们能不能把它推广到高元呢？

三元比较难证，想想怎么通过二元式证明四元式。

$$\frac{x_1+x_2+x_3+x_4}{4}$$
$$=\frac{1}{2}\times (\frac{x_1+x_2}{2}+\frac{x_1+x_2}{2})$$
$$\ge \frac{1}{2}\times (\sqrt{x_1{x}_2}+\sqrt{x_3{x}_4})$$
$$\ge \frac{1}{2}\times 2\sqrt{\sqrt{x_1{x}_2}\times \sqrt{x_3{x}_4}}$$
$$\ge \sqrt{\sqrt{x_1{x}_2{x}_3{x}_4}}$$
$$\ge \sqrt[4]{x_1{x}_2{x}_3{x}_4}$$

好，证出来了。

类似的我们可以证明当 $n=2^m,m\in \mathbb{N}$ 时，式子均成立。如下：
假设 $n=2^{m-1}$ 时成立，则当 $n=2^m$ 时，

$$\frac{x_1+x_2+x_3+\cdots +x_{2^m}}{2^m}$$
$$=\frac{1}{2}\times (\frac{x_1+x_2+\cdots +x_{2^{m-1}}}{2^{m-1}}+\frac{x_{2^{m-1}+1}+x_{2^{m-1}+2}+\cdots +x_{2^m}}{2^{m-1}})$$
$$\ge \frac{1}{2}\times (\sqrt[2^{m-1}]{x_1{x}_2\dots x_{2^{m-1}}}+\sqrt[2^{m-1}]{x_{2^{m-1}+1}{x}_{2^{m-1}+2}\dots x_{2^m}})$$
$$\ge \frac{1}{2}\times 2\sqrt{\sqrt[2^{m-1}]{x_1{x}_2\dots x_{2^{m-1}}}\times \sqrt[2^{m-1}]{x_{2^{m-1}+1}{x}_{2^{m-1}+2}\dots x_{2^m}}}$$
$$\ge \sqrt{\sqrt[2^{m-1}]{x_1{x}_2\dots x_{2^m}}}$$
$$\ge \sqrt[2^m]{x_1{x}_2\dots x_{2^m}}$$

很不错，但对于所有正整数来说，还有 $n-{\log }_{2}n$ 个数没有证明。

这时候我们再来想想三元式？

对于三元式
$$\frac{x_1+x_2+x_3}{3}\ge \sqrt{x_1{x}_2{x}_3}$$
来说，他和四元式最大的不同在于少了一个 $x_4$，如果将 $x_4$ 扔掉了，那不就成立了？
再搬一下四元式的结论：

$$\frac{x_1+x_2+x_3+x_4}{4}\ge \sqrt{x_1{x}_2{x}_3{x}_4}$$

那就尝试一下，我们令

$$\frac{x_1+x_2+x_3}{3}=\frac{x_1+x_2+x_3+x_4}{4}$$

那么如果能证下面的式子成立就好了。
$$\frac{x_1+x_2+x_3+x_4}{4}\ge \sqrt{x_1{x}_2{x}_3}$$
由
$$\frac{x_1+x_2+x_3}{3}=\frac{x_1+x_2+x_3+x_4}{4}$$
得
$$4x_1+4x_2+4x_3=3x_1+3x_2+3x_3+3x_4$$
$$x_4=\frac{x_1+x_2+x_3}{3}$$
把这么难看的一坨分式乘进去
由四元式的式子得到：
$$\sqrt[4]{x_1{x}_2{x}_3{x}_4}$$
$$=\sqrt[4]{x_1{x}_2{x}_3}\times \sqrt[4]{\frac{x_1+x_2+x_3}{3}}$$
$$\le \frac{x_1+x_2+x_3+x_4}{4}$$
$$=\frac{x_1+x_2+x_3+\frac{x_1+x_2+x_3}{3}}{4}$$
$$=\frac{x_1+x_2+x_3}{3}$$

看起来是一大坨玩意儿，实际上我们需要用到的不过就第二条式子和最后一条式子。
也就是

$$\sqrt[4]{x_1{x}_2{x}_3}\times \sqrt[4]{\frac{x_1+x_2+x_3}{3}}\le \frac{x_1+x_2+x_3}{3}$$

根号多不好看啊，我们将式子左右两边都四次方。
就变成了

$$x_1{x}_2{x}_3\times \frac{x_1+x_2+x_3}{3}\le (\frac{x_1+x_2+x_3}{3}{)}^4$$

好像可以消掉一个 $\frac{x_1+x_2+x_3}{3}$：

$$x_1{x}_2{x}_3\le (\frac{x_1+x_2+x_3}{3}{)}^3$$
再开个三次方根：
$$\sqrt[3]{x_1{x}_2{x}_3}\le \frac{x_1+x_2+x_3}{3}$$
这不就是我们想要的 $\frac{x_1+x_2+x_3}{3}\ge \sqrt[3]{x_1{x}_2{x}_3}$ 嘛？

于是，我们成功地通过四元式的结论推出了三元式的结论！

也就是说，当我们知道 $n=t$ 的时候式子成立时，当 $n=t-1$ 时式子同样成立（当然 $t$ 不能不是正整数）。
有什么用呢？

刚才我们不是证明了当 $n=2^m,m\in \mathbb{N}$ 时，式子均成立？

因为 $m\in \mathbb{N}$，说明 $n=2^m$ 可以趋于无穷。

那我们又证出了

当我们知道 $n=t$ 的时候式子成立时，当 $n=t-1$ 时式子同样成立

不就能覆盖正整数集了？！


类似的，我们写一下推广结论：

假设 $n=k$ 时有 $A_n\ge G_n$，即：
$$\frac{x_1+x_2+\cdots +x_k}{k}\ge \sqrt[k]{x_1{x}_2\dots x_k}$$

令
$$x_k=A_{k-1}=\frac{x_1+x_2+\cdots +x_{k-1}}{k-1}$$
则有：
$$\frac{x_1+x_2+\cdots +x_{k-1}+\frac{x_1+x_2+\cdots +x_{k-1}}{k-1}}{k}\ge \sqrt[k]{x_1{x}_2\dots x_{k-1}{A}_{k-1}}$$

即
$$\frac{x_1+x_2+\cdots +x_{k-1}}{k-1}\ge \sqrt[k]{x_1{x}_2\dots x_{k-1}{A}_{k-1}}$$

也就是
$$A_{k-1}\ge \sqrt[k]{x_1{x}_2\dots x_{k-1}{A}_{k-1}}$$

所以有
$$A_{k-1}^k\ge x_1{x}_2\dots x_{k-1}{A}_{k-1}$$

$$A_{k-1}^{k-1}\ge x_1{x}_2\dots x_{k-1}$$

注意这里不是组合数！！

开 $k-1$ 次方根，得

$$A_{k-1}\ge \sqrt[k-1]{x_1{x}_2\dots x_{k-1}}$$

亦即

$$A_{k-1}\ge G_{k-1}$$

于是当 $n=k-1$ 时，命题仍然成立。

综上所述，对一切正整数 $n$，均满足 $A_n\ge G_n$.

证毕。