关于平均值不等式的若干证明.docVIP

关于平均值不等式的若干证明 　　中图分类号：G633.6文献标识码：A 　　摘 　　要 　　本文总结了平均值不等式的三种证法，一是数学 　　归纳法，第二是函数法，最后是特殊不等式法。总之，平均值不等式的证明方法很多。 　　关键词算术平均数几何平均数不等式 　　SeveralProofsofMeanValueInequality//LiYuanyuanAbstractThistexthassummarizedthreeproofsofmeanvalueinequality.Thefirstisgivenbymathematicalinduction.Thesecondoneisgivenbyfunction.Thelastoneisgivenbypecu－liarinequality.Inaword,therearemanyproofsofmeanvalueinequality. 　　Keywordsarithmeticmean;geomemean;inequality 　　AuthorsaddressAffiliatedExperimentalMiddleSchoolofSuzhouUniversity,234000,Suzhou,Anhui,China 　　平均的概念在日常生活和生产实际中是经常遇到的，我们介绍了两个正数的算术平均数和几何平均数的关系:X1+X2≥姨2 　　12。如果我们把两个正数的这种关系推广到nX1+X2+…+Xn≥n 　　姨12n(1)， 　　这就是著名的平均值不等式，也叫Cauchy不等式。关于这个不等式有很多有趣的证明，本文主要总结了其中几种证明方法。证法1: 　　(1)当n=1时，Xi=X1，不等式成立。 　　(2)若当n≤k时，有k 　　姨X+X2 　　+…+Xk12k≤1则当n=k+1时， 　　XXk1+X2+…+Xk 　　+X1+X2+…+Xk+Xk+1k+1= 　　k 　　≥k12 　　k+Xk+1 　　设X1·X2·…·Xk=ak(k+1),Xk+1=bk+1,则a≥0，b≥0，要证明：X1+X2+…+Xk+Xk+1-k+1 　　姨12kk+1≥0 　　现在X1+X2+…+Xk+Xk+1-k+1 　　姨12kk+1 　　kk≥12k+Xk+1-k+1姨12kk+1 　　=k 　　·ak+1 　　+bk+1 　　k 　　-ab=ka 　　k+1+b 　　k+1 　　-k·ak 　　·b-ak 　　·b=a-b·ak 　　k-1k-2[k 　　-b(a+a·b+…+a·b 　　k-2 　　+b 　　k-1 　　)] 　　=a-bk 　　k-1 　　b)+(ak 　　-ak-2 　　b)+…+(ak 　　-bk 　　[(a-a 　　)] 　　１０８ 　　文章编号：1672-7894（2012）24-0108-02 　　2 　　=(a-b)k-1k-2k-1k-2k-[a+a(a+b)+…+(a-ab+…+b1 　　)]≥0 　　根据数学归纳法原理可知，当n=k+1时不等式成立。上述证明是通过作差和变量代换得出的，其推算过程 　　比较繁琐。若将不等式进行适当变形， 　　仍用数学归纳法进行证明，其推算过程可简单些。下面这种证法就是对原不等式进行了适当变形。证法2：原不等式与以下不等式等价： 　　X1姨12+X2+…+Xn 　　≥nn姨12n姨12n 　　设bXi 　　i=ni=1,2，…，n），则b姨1·b2…bn=1。 　　12n 　　因此只要证明以下命题即可：“若b1,b2,…bn是正数，且b·1b·2…bn=1，则b1+b2+…+bn≥n”现用数学归纳法证明这个命题：(1)当n=1时，b1=1，命题成立；(2)若当n=k时，命题成立，即：若b1，b2，…，bk＞0，且b·1b2…bk=1，则b1+b2+…+bk≥k,当n=k+1时，设c1，c2，…，ck+1＞0，且c·1c·2…c·kck+1=1， 　　若c1=c2=…=ck=ck+1=1， 　　命题显然成立.若c1，c2，…ck，ck+1不全为1，则由于c·1c2…ck+1=1， 　　则诸cj中必有大于1及小于1者， 　　适当调换cj之足码i，可设ck＜1，ck+1＞1，于是由（1-c）k·（1-ck+1）＜0，推出：ck+ck+1＞ck·ck+1+1（*）另一方面，由于c·1c2…ck-·1(ck·ck+1)=1按归纳假设有： 　　c1+c2+…+ck-1+(ck·ck+1)≥k 　　因而 　　c1+c2+…+ck+ck+1=c1+c2+…+ck-1+(ck·ck+1) 　　＞（c1+c2+…+ck-1+ck·ck+1）+1≥k+1 　　由数学归纳法原理知，当n=k+1时，命题成立。由（1）及（2）知，对任意自然数n，命题成立。以上证明