记得几年前，BoJone提供过一个证明均值不等式（代数—几何平均不等式）的方法，但是其中的证明有点长，有点让人眼花缭乱的感觉（虽然里边的思想还是挺简单的）。昨天在上《数学分析》课程的时候，老师讲到了这个不等式，也讲了他的证明，用的是数学归纳法，感觉还是没有那种简洁美和巧妙美。但这让我回想起了之前我研究过的两种巧妙证明方法，可是在昨天划了一整天，都没有把这两种方法回忆起来。直到今天才回想起来，所以就放在这里与大家分享，同时也作备忘之用。

对于若干个非负数xi，我们有
x1+x2+...+xnn≥n√x1x2...xn

记为An≥Gn

证明1：数学归纳法
这个方法不算简单，但是非常巧妙，它从n递推到n+1的过程让人拍案叫绝。用数学归纳法证明詹森不等式也是同样的递推思路，而均值不等式不过是詹森不等式的一个特例而已。

假设An≥Gn成立，要证An+1≥Gn+1。我们有

2nAn+1=(n+1)An+1+(n−1)An+1=[x1+x2+...+xn]+[xn+1+(n−1)An+1]≥nGn+n(xn+1⋅An−1n+1)1n≥2n(Gn+1n+1⋅An−1n+1)12n

化简即得：An+1≥Gn+1

这就完成了从n到n+1的递推。其他细节略。

证明2：对数方法

这个方法更巧妙，更简单，有可能是我见过的最简单方法了。它利用的一个很简单的公式是对于所有非负数x，有ex≥1+x，并且当x≥−1时，两边都是非负数。

（为了方便排版，记exp(x)=ex）

exp(nAnGn−n)=exp(x1Gn−1)⋅exp(x2Gn−1)…exp(xnGn−1)≥x1Gn⋅x2Gn...xnGn(前面的各项指数部分显然都大于等于-1)=1

也就是说
exp(nAnGn−n)≥1

稍稍化简就有An≥Gn

转载到请包括本文地址：https://spaces.ac.cn/archives/1716

更详细的转载事宜请参考：《科学空间FAQ》

如果您还有什么疑惑或建议，欢迎在下方评论区继续讨论。

如果您觉得本文还不错，欢迎分享/打赏本文。打赏并非要从中获得收益，而是希望知道科学空间获得了多少读者的真心关注。当然，如果你无视它，也不会影响你的阅读。再次表示欢迎和感谢！

如果您需要引用本文，请参考：

苏剑林. (Sep. 26, 2012). 《均值不等式的两个巧妙证明 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/1716

@online{kexuefm-1716,
        title={均值不等式的两个巧妙证明},
        author={苏剑林},
        year={2012},
        month={Sep},
        url={\url{https://spaces.ac.cn/archives/1716}},
}