文章介绍了如何通过简单的步骤证明n个非负实数的算术平均数大于等于它们的几何平均数。首先，从二元情况开始，利用平方的非负性进行证明，然后逐步推广到四元和三元情况，最后提出一种递归的方法，证明当已知n=k时命题成立，可以推导出n=k-1时命题也成立，从而覆盖所有正整数n的情况。
写博时间：2023-04-12 16:30~20:10
更改一些问题：2023-09-30 15:25~15:28
文章码量：5222字。
以前常常证明和使用 a+b2≥ab\dfrac{a+b}{2}\ge\sqrt {ab}2a+b≥ab 公式，
那么 nnn 个数的算术平均数 > 几何平均数的命题怎么证明呢？
在网上浏览了许多问答之后发现，基本都是使用琴生不等式，柯西不等式进行证明的，那有没有一些难度更小的证明方法呢？在这里我发现了一种简单易懂的证法。
证明
An≥GnA_n\ge G_nAn≥Gn
即
∑i=1nxin≥∏i=1nxin\dfrac{\sum_{i=1}^{n}x_i}{n}\ge \sqrt[n]{\prod_{i=1}^{n}x_i}n∑i=1nxi≥ni=1∏nxi
以下均满足 x≥0x\ge 0x≥0。
首先证明 n=2n=2n=2 的情况，即
x1+x22≥x1x2\dfrac{x_1+x_2}{2}\ge \sqrt{x_1x_2}2x1+x2≥x1x2
x1+x2≥2x1x2x_1+x_2\ge 2\sqrt{x_1x_2}x1+x2≥2x1x2
x1+x2−2x1x2≥0x_1+x_2-2\sqrt{x_1x_2}\ge0x1+x2−2x1x2≥0
(x1−x2)2≥0(\sqrt{x_1}-\sqrt{x_2})^2\ge0(x1−x2)2≥0
显然成立。
那么我们能不能把它推广到高元呢？
三元比较难证，想想怎么通过二元式证明四元式。
x1+x2+x3+x44\dfrac{x_1+x_2+x_3+x_4}{4}4x1+x2+x3+x4
=12×(x1+x22+x1+x22)=\dfrac{1}{2}\times(\dfrac{x_1+x_2}{2}+\dfrac{x_1+x_2}{2})=21×(2x1+x2+2x1+x2)
≥12×(x1x2+x3x4)\ge\dfrac{1}{2}\times(\sqrt{x_1x_2}+\sqrt{x_3x_4})≥21×(x1x2+x3x4)
≥12×2x1x2×x3x4\ge\dfrac{1}{2}\times2\sqrt{\sqrt{x_1x_2}\times\sqrt{x_3x_4}}≥21×2x1x2×x3x4
≥x1x2x3x4\ge\sqrt{\sqrt{x_1x_2x_3x_4}}≥x1x2x3x4
扫一扫
1343
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
