均值不等式的证明方法

柯西证明均值不等式的方法byzhangyuong（数学之家）本文主要介绍柯西对证明均值不等式的一种方法，这种方法极其重要。一般的均值不等式我们通常考虑的是nnGA:一些大家都知道的条件我就不写了nnnxxxnxxx......2121我曾经在《几个重要不等式的证明》中介绍过柯西的这个方法，现在再次提出：8444844)()(:4422)()(abcdefghefghabcdhgfedcbaabcdabcdcdabdcbadcba八维时二维已证，四维时：这样的步骤重复n次之后将会得到nnnxxxxxxn2221221...2...令Anxxxxxxxxxxnnnnnn......;,...,2122111由这个不等式有nnnnnnnnnnAxxxAxxxAnnAA2121212221)..(..2)2(即得到nnnxxxnxxx......2121这个归纳法的证明是柯西首次使用的，而且极其重要，下面给出几个竞赛题的例子：例1：1112101(1,2,...,)11(...)niiinnnainaaaa若证明例2：111211(1,2,...,)11(...)niiinnnrinrrrr若证明这2个例子是在量在不同范围时候得到的结果，方法正是运用柯西的归纳法：给出例1的证明：12121212122121221234123412342112(1)(2)2(1)(1)111,(1)(2)2(1)22(1)2(1)221111112()11111141naaaaaaaaaapaqaaaqppqpqpqqpqqqpqaaaaaaaaaaaa当时设，而这是元均值不等式因此将此过程进行下去因21121221121222112211211(...)...(...)1122(2)1111()111nnnnnnnniinnnnnnnnniinniiaaaaaaaaaaGnaGGGGnaG此令有即例3：1115,,,,1(1),,111,,11()()11nniiiiiiiiinnniiiiiinniiiiiiiiiiinrstuvinRrSsnnTtUuVvnnnrstuvRSTUVrstuvRSTUV已知个实数都记，求证下述不等式成立：要证明这题，其实看样子很像上面柯西的归纳使用的形式其实由均值不等式，以及函数1()ln1xxefxe是在R上单调递减因此1111111111()11nnnnnnnnnnnniiiiiiiiiiiiiiiinniiiiiinnniiiiiiRSTUVrstuvrstuvrstuvRSTUVRSTUVrstuv我们要证明：11111()11nniiiiiniiiiiiniiiiiiniiiiiirstuvrstuvrstuvrstuv证明以下引理：11111()()11nninininiiniixxxx12212121221212121212212121212121212122121221112()()()111,(1)(1)2(1)(1)(1)2(1)(1)(1)2(1)11()()11iixxxxnxxxxAxxAxxxxxxxxAxxxxAxxxxxxxxAxxxxAxxAxxxGxG时，令显然成立因此222211221111()11()111()()11nnnnnnnnnnnnniniinnninininiiniiGGGxGGGGxxxx，因此所以原题目也证毕了这种归纳法威力十分强大，用同样方法可以证明Jensen:)2(2)()(2121xxfxfxf，则四维：)4(4)2(2)2(2)()()()(432143214321xxxxfxxfxxfxfxfxfxf一直进行n次有)2...(2)(...)()(221221nnnnxxxfxfxfxf,令Anxxxxxxxxxxnnnnnn......;,...,2122111有)()2)2((2)()2()(...)(1AfAnnAfAfnxfxfnnnnn所以得到)...()(...)()(2121nxxxfnxfxfxfnn所以基本上用Jensen证明的题目都可以用柯西的这个方法来证明而且有些时候这种归纳法比Jensen的限制更少其实从上面的看到，对于形式相同的不等式，都可以运用归纳法证明这也是一般来说能够运用归纳法的最基本条件