均值不等式

百科名片

1、调和平均数：Hn=n/(1/a1+1/a2+...+1/an)

2、几何平均数：Gn=(a1a2...an)^(1/n)

3、算术平均数：An=(a1+a2+...+an)/n

4、平方平均数：Qn=√ (a1^2+a2^2+...+an^2)/n

这四种平均数满足Hn≤Gn≤An≤Qn 的式子即为均值不等式。

目录

均值不等式的简介

均值不等式的变形

均值不等式的证明

均值不等式的应用

其他不等式

重要不等式 - 1.柯西不等式

重要不等式 - 2.排序不等式

重要不等式 - 3.切比雪夫不等式

重要不等式 - 4.琴生不等式

重要不等式 - 5.均值不等式

重要不等式 - 6.完全的均值不等式

重要不等式 - 7.幂平均不等式

均值不等式的简介

均值不等式的变形

均值不等式的证明

均值不等式的应用

其他不等式

重要不等式 - 1.柯西不等式

重要不等式 - 2.排序不等式

重要不等式 - 3.切比雪夫不等式

重要不等式 - 4.琴生不等式

重要不等式 - 5.均值不等式

重要不等式 - 6.完全的均值不等式

重要不等式 - 7.幂平均不等式

展开

编辑本段均值不等式的简介

概念：

1、调和平均数：Hn=n/(1/a1+1/a2+...+1/an)

2、几何平均数：Gn=(a1a2...an)^(1/n) 　　

3、算术平均数：An=(a1+a2+...+an)/n 　　

4、平方平均数：Qn=√ [(a1^2+a2^2+...+an^2)/n] 　　

这四种平均数满足Hn≤Gn≤An≤Qn 　　a1、a2、… 、an∈R +，当且仅当a1=a2= … =an时取“=”号 　　

均值不等式的一般形式：

设函数D(r)=[（a1^r+a2^r+...an^r）/n]^(1/r)(当r不等于0时); 　　(a1a2...an)^(1/n)(当r=0时）（即D(0)=(a1a2...an)^(1/n)） 　　则有：当r时，D(r)≤D(s)　注意到Hn≤Gn≤An≤Qn仅是上述不等式的特殊情形，即D(-1)≤D(0)≤D(1)≤D(2) 　　

由以上简化，有一个简单结论，中学常用

2/(1/a+1/b)≤√ab≤(a+b)/2≤√［(a^2+b^2)/2］

均值不等式的变形

(1)对实数a,b，有a^2+b^2≥2ab (当且仅当a=b时取“=”号)，a^2+b^2>0>-2ab 　　

(2)对非负实数a,b，有a+b≥2√(a*b)≥0，即(a+b)/2≥√(a*b)≥0 　　

(3)对负实数a,b，有a+b<0<2√(a*b) 　　

(4)对实数a,b，有a(a-b)≥b(a-b) 　　

(5)对实数a,b，有a^2+b^2≥2ab≥0 　　

(6)对实数a,b，有a^2+b^2 ≥1/2*(a+b)^2≥2ab 　　

(7)对实数a,b,c，有a^2+b^2+c^2≥1/3*(a+b+c)^2 　　

(8)对实数a,b,c，有a^2+b^2+c^2≥ab+bc+ac 　　

(9)对非负数a,b，有a^2+ab+b^2≥3/4*(a+b)^2 　　

(10)对实数a,b,c，有(a+b+c)/3>=(abc)^(1/3)

编辑本段均值不等式的证明

方法很多，数学归纳法（第一或反向归纳）、拉格朗日乘数法、琴生不等式法、排序不等式法、柯西不等式法等等 　　

用数学归纳法证明，需要一个辅助结论。 　　

引理：设A≥0，B≥0，则(A＋B)^n≥A^n＋nA^(n－1)B。 　　

注：引理的正确性较明显，条件A≥0，B≥0可以弱化为A≥0，A＋B≥0,有兴趣的同学可以想想如何证明(用数学归纳法)。 　　

原题等价于：((a1＋a2＋…＋an )／n)^n≥a1a2…an。 　　

当n＝2时易证； 　　

假设当n＝k时命题成立，即 　　

((a1＋a2＋…＋ak )／k)^k≥a1a2…ak。

那么当n＝k＋1时，不妨设a(k＋1)是a1，a2 ，…，a(k＋1)中最大者，

则 　　k a(k＋1)≥a1＋a2＋…＋ak。 　　

设s＝a1＋a2＋…＋ak， 　　

{[a1＋a2＋…＋a(k＋1)]／(k＋1)}^(k+1) 　　

＝{s/k＋[k a(k＋1)－s]／[k(k＋1)]}^(k+1) 　　

≥(s／k)^(k+1)＋(k＋1)(s／k)^k[k a(k＋1)－s]／k(k＋1)

用引理 　　

＝(s／k)^k* a(k＋1) 　　

≥a1a2…a(k＋1)。

用归纳假设 　　

下面介绍个好理解的方法 　　琴生不等式法 　　

琴生不等式：上凸函数f(x)，x1,x2,...xn是函数f(x)在区间(a,b)内的任意n个点， 　　则有：f[(x1+x2+...+xn)/n]≥1/n*[f(x1)+f(x2)+...+f(xn)] 　　

设f(x)=lnx，f(x)为上凸增函数 　　所以，ln[(x1+x2+...+xn)/n]≥1/n*[ln(x1)+ln(x2)+...+ln(xn)]=ln[(x1*x2*...*xn)^(1/n)] 　　即(x1+x2+...+xn)/n≥(x1*x2*...*xn)^(1/n) 　　在圆中用射影定理证明（半径不小于半弦）

均值不等式的应用

例一 证明不等式：2√x≥3-1/x (x>0) 　　

证明：2√x+1/x=√x+√x+1/x≥3*[(√x)*(√x)*(1/x)]^(1/3)=3 　　所以，2√x≥3-1/x 　　

例二 长方形的面积为p，求周长的最小值 　　

解：设长,宽分别为a,b，则a*b=p 　　因为a+b≥2√(ab)，所以2(a+b)≥4√(ab)=4√p 　　周长最小值为4√p 　　

例三 长方形的周长为p，求面积的最大值 　　

解：设长,宽分别为a,b，则2(a+b)=p 　　因为a+b=p/2≥2√(ab)，所以ab≤p^2/16 　　面积最大值是p^2/16

其他不等式

　　琴生不等式 　　绝对值不等式 　　权方和不等式 　　赫尔德不等式 　　闵可夫斯基不等式 　　贝努利不等式 　　柯西不等式 　　切比雪夫不等式 　　外森比克不等式 　　排序不等式

重要不等式 - 1.柯西不等式

柯西不等式的一般证法有以下几种： 　　

（1）Cauchy不等式的形式化写法就是：

记两列数分别是ai, bi，则有 (∑ai^2) * (∑bi^2) ≥ (∑ai * bi)^2. 　　

我们令 f(x) = ∑(ai + x * bi)^2 = (∑bi^2) * x^2 + 2 * (∑ai * bi) * x + (∑ai^2) 　　则我们知道恒有 f(x) ≥ 0. 　　

用二次函数无实根或只有一个实根的条件，就有 Δ = 4 * (∑ai * bi)^2 - 4 * (∑ai^2) * (∑bi^2) ≤ 0. 　　于是移项得到结论。 　　

（2）用向量来证. 　　

m=(a1,a2......an) n=(b1,b2......bn) 　　

mn=a1b1+a2b2+......+anbn=(a1^+a2^+......+an^)^1/2乘以(b1^+b2^+......+bn^)^1/2乘以cosX． 　　

因为cosX小于等于1，所以：a1b1+a2b2+......+anbn小于等于a1^+a2^+......+an^)^1/2乘以(b1^+b2^+......+bn^)^1/2 　　

这就证明了不等式． 　　

柯西不等式还有很多种，这里只取两种较常用的证法． 　　

柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据，我们在教学中应给予极大的重视。 　　

巧拆常数： 　　

例：设a、b、c 为正数且各不相等。 　　

求证： (2/a+c)+(2/b+c)+(2/c+a)＞(9/a+b+c) 　　

分析：∵a 、b 、c 均为正数 　　

∴为证结论正确只需证：2(a+b+c)[(1/a+b)+(1/b+c)+(1/c+a)]＞9 　　

而2(a+b+c)=(a+b)+(a+c)+(c+b) 　　

又 9=(1+1+1)(1+1+1) 　

证明：Θ2(a+b+c)[(1/a+b)+(1/b+c)+(1/c+a)]＝[(a+b)+(a+c)+(b+c)][1/a+b)+(1/b+c)+(1/c+a)]≥(1+1+1)(1+1+1)=9 　　

又 a、b 、c 各不相等，故等号不能成立 　　

∴原不等式成立。 　　

像这样的例子还有很多，词条里不再一一列举，大家可以在参考资料里找到柯西不等式的证明及应用的具体文献．

重要不等式 - 2.排序不等式

排序不等式是高中数学竞赛大纲要求的基本不等式。 　　

设有两组数 a 1 , a 2 ,…… a n, b 1 , b 2 ,…… b n 满足 a 1 ≤ a 2 ≤……≤ a n, b 1 ≤ b 2 ≤……≤ b n 则有 a 1 b n + a 2 b n?1 +……+ a n b1≤ a 1 b t + a 2 b t +……+ a n b t ≤ a 1 b 1 + a 2 b 2 +……+ a n b n 式中t1，t2，……，tn是1，2，……，n的任意一个排列， 当且仅当 a 1 = a 2 =……= a n 或 b 1 = b 2 =……= b n 时成立。 　　以上排序不等式也可简记为： 反序和≤乱序和≤同序和. 　　

证明时可采用逐步调整法。 　　

例如，证明：其余不变时，将a 1 b 1 + a 2 b 2 调整为a 1 b 2 + a 2 b 1 ，值变小，只需作差证明（a 1 -a 2 ）*（b 1 -b 2 ）≥0，这由题知成立。 　　

依次类推，根据逐步调整法，排序不等式得证。

重要不等式 - 3.切比雪夫不等式

切比雪夫不等式有两个

（1）设存在数列a1,a2,a3.....an和b1,b2,b3......bn满足a1≤a2≤a3≤.....≤an和b1≤b2≤b3≤......≤bn 　　那么，∑aibi≥(1/n)(∑ai)(∑bi) 　　

（2）设存在数列a1,a2,a3.....an和b1,b2,b3......bn满足a1≤a2≤a3≤.....≤an和b1≥b2≥b3≥......≥bn 　　那么，∑aibi≤(1/n)(∑ai)(∑bi)

重要不等式 - 4.琴生不等式

设f(x)为上凸函数，则f[(x1+x2+……+xn)/n]≥[f(x1)+f(x2)+……+f(xn)]/n,称为琴生不等式（幂平均）。 　　

加权形式为： 　　

f[(a1x1+a2x2+……+anxn)]≥a1f(x1)+a2f(x2)+……+anf(xn),

其中ai>=0(i=1,2,……,n),且a1+a2+……+an=1.

重要不等式 - 5.均值不等式

a^2 + b^2≥ 2ab （a与b的平方和不小于它们的乘积的2倍) 　　

当a,b 分别大于0时上试可变为a+b ≥2√ab

重要不等式 - 6.完全的均值不等式

√[(a^2+ b^2)/2] ≥(a+b)/2 ≥√ab ≥2/(1/a+1/b) 　　

（二次幂平均≥算术平均≥几何平均≥调和平均） 　　

证明：（证明过程引自他出） 　　

设a，b是两个正数， 　　M2=√[(a^2+b^2)/2]，A=(a+b)/2，G=√(ab)，H=2/(1/a+1/b) 　　分别表示a，b两元的二次幂平均，算术平均，几何平均和调和平均。

证明: M2≥A≥G≥H。 　　

证明 在梯形ABCD中，AB∥CD，记AB=b，CD=a。 EiFi(i=1,2,3,4)是平行于梯形ABCD的底边且被梯形两腰所截的线段。 　　

如果E1F1分梯形为等积的两部分，那么 　　E1F1=√[(a^2+b^2)/2]。 　　

如果E2F2为梯形的中位线，那么 　　E2F2=(a+b)/2。 　　

如果E3F3分梯形为两相似图形，那么 　　E3F3=√(ab)。 　　

如果E4F4通过梯形两对角线交点的线段，那么 　　E4F4=2/(1/a+1/b)。 　　从图中直观地证明E1F1≥E2F2≥E3F3≥E4F4，当a=b时取等号。

重要不等式 - 7.幂平均不等式

幂平均不等式：ai>0(1≤i≤n),且α>β，则有（∑ai^α/n)^1/α≥(∑ai^β/n)^1/β成立 　　iff a1=a2=a3=……=an 时取等号 　　

加权的形式： 　　

设ai>0，pi>0(1≤i≤n)，且α>β，则有 　　（∑pi*ai^α/∑pi)^1/α≥(∑pi*ai^β/∑pi)^1/β 　　iff a1=a2=a3=……=an， p1=p2=p3=……=pn 时取等号。 　　

特例：- 调和平均（-1次幂）， - 几何平均（0次幂）， - 算术平均（1次幂）， ， - 二次平均（2次幂）

概念

　　1、调和平均数：Hn=n/(1/a1+1/a2+...+1/an)

　　2、几何平均数：Gn=(a1a2...an)^(1/n)=n次√(a1*a2*a3*...*an)

　　3、算术平均数：An=(a1+a2+...+an)/n

　　4、平方平均数：Qn=√ [(a1^2+a2^2+...+an^2)/n]

　　这四种平均数满足Hn≤Gn≤An≤Qn

　　a1、a2、… 、an∈R +，当且仅当a1=a2= … =an时取“=”号

　　均值不等式的一般形式：设函数D(r)=[（a1^r+a2^r+...an^r）/n]^(1/r)(当r不等于0时);

　　(a1a2...an)^(1/n)(当r=0时）（即D(0)=(a1a2...an)^(1/n)）

　　则有：当r时，D(r)≤D(s)

　　注意到Hn≤Gn≤An≤Qn仅是上述不等式的特殊情形，即D(-1)≤D(0)≤D(1)≤D(2)

变形

　　(1)对正实数a,b，有a^2+b^2≥2ab (当且仅当a=b时取“=”号)，a^2+b^2>0>-2ab

　　(2)对非负实数a,b，有a+b≥2√(a*b)≥0，即(a+b)/2≥√(a*b)≥0

　　(3)对负实数a,b，有a+b<0<2√(a*b)

　　(4)对实数a,b(a≥b)，有a(a-b)≥b(a-b)

　　(5)对非负数a,b，有a^2+b^2≥2ab≥0

　　(6)对非负数a,b，有a^2+b^2 ≥1/2*(a+b)^2≥ab

　　(7)对非负数a,b,c，有a^2+b^2+c^2≥1/3*(a+b+c)^2

　　(8)对非负数a,b,c，有a^2+b^2+c^2≥ab+bc+ac

　　(9)对非负数a,b，有a^2+ab+b^2≥3/4*(a+b)^2

　　2/（1/a+1/b）≤√ab≤a+b/2≤√（(a^2+b^2)/2）

均值不等式