不等式的证明方法及其推广

摘要：在初等代数和高等代数中，不等式的证明都占有举足轻重的位置。初等代数中介绍了许多具体的而且相当有灵活性和技巧性的证明方法，例如换元法、放缩法等研究方法；而高等代数中，可以利用的方法更加灵活技巧。我们可以利用典型的柯西不等式的结论来证明类似的不等式；除此还可以利用导数，微分中值定理，泰勒公式，积分中值定理等有关的知识来证明不等式；在正定的情况下，也可以用判别式法；掌握了定积分化为重积分的内容之后，对于某类不等式，也可以将定积分化为重积分，再证明所求的不等式。由此我们可以看到，不等式的求解证明方法并不唯一，但是初等数学里的不等式，都可以用高等数学的知识来解决，解答更为简洁。所以，高等数学对初等数学的教学和学习具有重要的指导意义。本文归纳和总结了一些求解证明不等式的方法与技巧，突出了不等式的基本思想和基本方法，便于更好地了解各部分的内在联系，从总体上把握证明不等式的思想方法；注重对一些着名不等式的推广及应用的介绍。

关键词：不等式；证明方法

1引言

1．1研究的背景

首先，我们要从整个数学，特别是现代数学在21世纪变得更加重要来认识不等式的重要性。美国《数学评论》2000年新的分类中，一级分类已达到63个，主题分类已超过5600多个，说明现代数学已形成庞大的科学体系，并且仍在不断向纵深化发展。它在自然科学、工程技术、国防、国民经济(如金融、管理等)和人文社会科学(如语言学、心理学、历史、文学艺术等)以至我们的日常生活中的应用都在不断深化和发展。它为我们提供了理解信息世界的一种强有力的工具，它也是新世纪公民的文化和科学素质的重要组成部分。而不等式在数学中又处于独特的地位。美国《数学评论》在为匡继昌的《常用不等式》第2版写的长篇评论中指出:“不等式的重要性，无论怎么强调都不会过分。”这说明不等式仍然是十分活跃又富有吸引力的研究领域。

再者不等式的求解和证明一直是高考的热点和难点。近年来高考虽然淡化了单纯的不等式证明的证明题。但是以能力立意的、与证明有关的综合题却频繁出现。常常与函数、数列、三角等综合，考查逻辑推理能力。是高考考查的一项重要内容。而要解决这一点的关键在于掌握常用方法，理解不等式证明中的数学思想，熟练地运用性质和基本不等式。

因此，本文归纳和总结了一些求解证明不等式的方法与技巧，突出了不等式的基本思想和基本方法，便于更好地了解各部分的内在联系，从总体上把握不等式的思想方法；注重对一些着名不等式的推广及应用的介绍，以便更好地理解和运用。 1．2文献综述

数学问题（猜想）的重要性先哲们已有过精辟的阐述。的确，形式优美、新颖、内涵丰富的不等式问题，不仅丰富了我们的研究素材，而且孕育了新思想、新方法的胚芽。当

探索者在艰难的跋涉中感到困倦和乏味时，它就会突然放出奇光异彩，照亮一片天地。人们之所以能孜孜不倦地向未知领域探求，也正是问题那充满诱惑力的深情呼唤。新的东西可以刷新我们的视野。虽然它一开始可能是含糊的、幼稚的、脆弱的，但是只要视野中能映出，那么离抓住它的真谛的日子一定不会遥远了！

由于不等式的多样性，各有各的证明特色，所以我阅读许多文献。许小华的《不等式证明的常用方法》是我参考的第一篇文献。文中介绍了一些常见的证明方法及其在数学竞赛中的应用：分析和综合法、数学归纳法、反证法、函数法、判别式法。由此可知不等式在数学中的地位十分重要,而证明不等式的方法和技巧也很多。所以要掌握好不等式证明，除了要认真理解并能熟练运用不等式的基本性质外，还应当注意观察相关条件与数学其他知识点的联系，充分利用有关知识解决不等式证明问题。陈初良的《不等式证明的两种巧法》就介绍了两种技巧性较高的不等式证明方法：化归函数法、放缩法。本文对这两种方法的介绍非常的精彩。周再禹在《不等式证题中调整法的应用》也给大家展示了不等式证明的一种独特的方法——调整法。而董琳为了拓宽视野，则在《几种证明不等式的妙法》一文中通过实例，介绍了几种切实可行的方法：放缩法证明不等式、反证法、函数法、最值法。除此不少问题还不止用一种方法而需要用几种方法综合使用才能解决。所以翁耀明善于抓住不等式的特点，突破旧例，在《运用概率方法证明某些数学不等式》一文中利用函数的凹凸性，再结合概率中数学期望的不等式性质，恰当地构造一个概率分布密度来证明一些特殊的不等式。

我们知道任何知识体系都不是孤立的，它们相互联系相互渗透，而不同体系的“知识交汇”更能有效地培养学生的综合思维能力。例如：数列与不等式是函数内容的后续知识板块，与函数一样，也都是历年高考的热点。由于在知识网络交汇点设计试题这一命题思想的不断成熟，以数列为载体的不等式证明问题备受高考青睐。以数列为载体的不等式证法虽灵活多变，但极富有挑战性，只要我们善于思考、适时调整、不畏险阻、锲而不舍，其实成功并不遥远，这正体现了高考为选拔优秀人才所精心布置的一个公平舞台。所以证明这类题通常要有一些较为“高超”的放缩技巧。孟利忠则针对这一问题，在《以数列为载体的不等式证明的放缩技巧》中介绍了四种利用数列证明不等式的方法：放缩成递约数列乘积、放缩成相消数列和式、放缩成等差数列和式、放缩成等比数列和式。又如：向量是中学阶段的重要内容，目前大家主要重视向量与三角函数、平面几何、解析几何的“交汇”，用向量证明代数不等式重视不够，缺少系统的研究。一般认为用向量证明不等式就是用向量模的性质来思考问题，实并非如此。张国棣的《用向量证明代数不等式的新探索》对用向量证明代数不等式的方法，进行一些新的探索：（1）利用向量的几何特征构建不等式关系，因为利用向量的加法、减法所构成平行四边形的几何特征来思考问题，可以使证明过程更直观、简捷。（2）用向量有效转化代数不等式，因为用向量搭起代数不等式证明与其他知识体系的桥梁，可实现代数不等式的有效转化，降低思维难度。（3）利用向量的数量积公式，建不等关系证明。因为根据向量的数量积公式ababcos找出不等关系。

这样则增加了向量应用的多样性，将老问题赋予新的生命，是证明方法上的创新，可以使证明过程更加简捷、清晰。

不等式证明既是数学的重要内容之一，也是高等数学的重要工具。许多初等数学中的问题，往往蕴含着数学中的较高层次理论的再实践的问题。如能在教学中有意将高等数学的原理、方法应用于一些初等数学的证明、计算，不仅可以开拓学生的视野，而且可使学生体会到用高等数学的原理、方法解决初等数学问题时，居高临下，驾轻驭熟的感觉，进而了解高等数学与初等数学密不可分的关系。比如：函数的单调极值问题其本身都与不等式密切相联，而微分学中值定理和Taylor公式又使我们能够通过对导数或余项的估计来确定变量间的大小关系，因此常常是证明不等式的得力工具，相对于函数极值概念的局部性，函数的最值则是一种整体的概念，即是在一个固定的区间内有意义的概念，这是和极值概念绝然不同的所在。那么我们如何通过运用导数与微分这样的反映局部性质的概念来研究最值呢？显然我们只能给出一个最值的必要条件，就是一个最值先要是一个极值。这也就是说最值是包含在极值之中的，至于通过极值来找到最值，最终还是必须依靠对可能有的不同极值进行比较。如果极值的数目是有限的。并且不是很多，那么就比较容易得到最值；如果极值是无穷多的，或者是数目极大的，就面临得到最值的困难。因此实际上通过导数的方法来求最值，并没有最终解决问题，而只是在一定的条件下可以得到解决。所以刘海燕在《利用微分学证明不等式》一文中讨论了如何利用微分学证明不等式。而叶殷的《用高等数学证明不等式的若干种方法》则探讨解决了如何将高等数学的原理和方法运用于初等数学，如何解决高等数学与中学数学脱节的问题。并且给出了几种证明方法：利用函数的单调性证明不等式、利用微分中值定理证明不等式、利用函数的极值证明不等式、利用泰勒公式证明不等式、利用函数的凸性证明不等式、利用积分不等式证明不等式、利用定积分的定义证明不等式。魏全顺在《微分在不等式证明中的应用》一文中介绍的不等式的高等证明方法也非常地精彩。高等数学除了可以使学生站在更高的观点上思考问题，同时又可以帮助学生处理初等数学的问题，以达到初等数学与高等数学之间的衔接，刘兴祥在《柯西—施瓦兹不等式的应用》中利用柯西—施瓦兹不等式且巧妙地构造向量与解决了部分分式不等式的证明及求极值问题。

不等式的证明方法有很多，而且非常的灵活、精彩。但是着名不等式更是优美而又魅力无限的。正如音乐家能够将很少几组音符变化发展为动听美妙的旋律一样，数学家则往往能够通过不多几步逻辑推理揭示出简明优美的结果。这些有关不等式的结果就是数学家依靠并不复杂的逻辑推理得到的，然而在其来龙去脉被领悟以前，却常常像变戏法似的神秘莫测。胡克在《解析不等式的若干问题》中则介绍了一些非常美丽的不等式及近年来有关的新成果。总之，不等式的内容博大精深，还有很多问题期待我们去挖掘 2证明不等式的方法

2．1初等代数中不等式的证明 2．1．1比较法[1]

比较法分为作差法和作商法。

1、作差法的数学思想是把不等式左边的代数式减去右边的代数式，根据已知条件，研究这个差在实数范围内为正还是负，从而确定其大小。

nn1x1n1x2x1x2例1：设x1,x2R则x1nx2。

证明：当x1,x2R则

2、作商法的数学思想是在证明时，一般在a,b均为正数时，借助其大小，步骤一般为：作商——变形——判断（大于1或小于1）。

例2：设ab0，求证：aabbabba。 证明：ab0

aaabba1,ab0；而bababbabaa1或1来判断bb1，

故aabbabba。 2．1．2分析法和综合法[1]

所谓分析法，就是假定结论是正确的，然后利用恒等变形及不等式的性质逐步推演，如果能够得到一个已知它成立的不等式，而且推演的每一步骤都是可逆的，则这个不等式成立。对于较复杂的不等式的证明，多用这种方法。所谓综合法，它的着眼点在条件，即从已知条件出发，根据不等式的性质，逐步推证所要求的结论。

ab例：设a,bR，求证ab且当且仅当ab时等号成立。

2证明：（1）分析法要证

abab成立，只要证ab2ab成立， 2即只须证ab2ab0成立，

最后不等式显然成立，而其中每步推证都是可逆的，

abab，显然仅当ab时，等号成立。 2（2）综合法a,bR,则a,bR

于是有

ab20（仅当ab时等号成立），即

ab2ab0。

abab。 22．1．3反证法[1]

反证法的数学思想是从否定的结论出发，通过逻辑推理，导出矛盾，从而证明原来的结论是正确的。

例：设a,b,c和x,y,z均为不等于0的实数，若

az2bycx0,acb20,则xzy20。

证明：设xzy20则xzy20

即b2y2acxz0

由az2bycx0,有azcx2by 即a2z22acxzc2x24b2y2

azcx4b2y2acxz0与azcx0矛盾

222．1．4数学归纳法[1]

已知条件均是在整数集或自然数集中，所证式子项数或因式数为无穷多。证明的难点是在nk1时，关键是要充分利用nk以及第一步的结果。对于含有n(nN)的不等式，当n取第一个值时不等式成立，如果使不等式在nk(nN)时成立的假设下，还能证明不等式在nk1时也成立，那么肯定这个不等式对n取第一个值以后的自然数都能成立。

2xn例：设a2,给定数列{xn},其中x1a,xn1,(nN),求证：xn2。

2(xn1)证明：1）当n1时，x1a2，故不等式当n1时成立。

2）假设当nk时不等式也成立，即xk2，则当nk1时，有

xk121xk11xk12222。 2(xk1)2xk12综合1）、2）可知对于一切自然数n都有xn2。 2．1．5换元法[1]

换元法的基本思想，是通过对所证不等式添设辅助元素，原来的未知量(或变量)变换成新的未知量(或变量)，而更容易达到证明的目的。此种方法证明不等式一般采取以下步骤:〈1〉认真分析不等式，合理换元；〈2〉证明换元后的不等式；〈3〉得证后，得出原不等式成立。换元法可分为两大类：

1、代数换元

例1：求证：33333333233。

[证法分析]由于根指数为3，若采取两边三次方的办法，中间运算较繁。根据不等式左边的特点，考虑公式a3b3aba2-abb2不妨设a3333,b3333于是只要证

ab324即可。

证明：设a3333,b3333可见a0,b0并且a3b36,ab,又

a2b22ab故aba2abb2

不等式两边同乘以ab0得

故ababa3b3即3aba+b3a3b3 对上式两边同时加上a3b3

即a3b33abab4a3b324

即ab24所以ab233原不等式成立。

2、三角换元:借助三角变换，在证题中可使某些问题变易。

例2：设x,yR,且x2y21，求证：x22xyy22。

证明：设x2y2u2则由题设知u1并可设xucos,yusin。

于是，x22xyy2u2cos22cossinsin2 所以，x22xyy22u22。

可见，冗长而复杂的不等式用代数法换元，可以使问题变得明显简单。含有根式或带有绝对值符号的不等式可用三角法换元，同样也可以将难化易。 2．1．6迭合法（降元法）[1][9]

迭合法的数学思想是把所要证明的结论先分解为几个较简单部分，分别证明其各部分成立，再利用同向不等式相加或相乘的性质，使原不等式获证。

222222例、已知：a1a2an1，b1b2bn1，求证：

a1b1a2b2anbn1。

3证明：因为a1a2an1，b1b2bn1， 所以a1a2an1，b1b2bn1。 由柯西不等式 所以原不等式获证。 2．1．7构造法

[2][4]

222222222222

在中学的数学竞赛题目中，经常碰到不等式的证明，特别有些技巧性强的题目，学生往往手足无措，难于下手。这时候采用构造法往往能达到意想不到的效果，构造是一种探索和创新，适当的构造可以准确快速地解决问题，也可以给学生带来耳目一新的解题感受，对于培养学生的解题技巧、思维能力。甚至开拓创新都大有脾益。

构造法的基本数学思想，是通过构造中介性的辅助元素，沟通不等式的条件与结论的内在联系，使原题得以证出。构造的辅助元素是多种多样的，常用的有构造图形，构造函数，构造方程，构造等价命题，构造反例等。在此只介绍前三中构造法。 1、构造图形（用几何特性或区域讨论）：

利用几何定理或借助几何图形可以直观地、简便地表达和解决问题。

例1：求证重要不等式sinxxtanx0x

2证明：圆O是半径为1的单位圆，OA是圆O的任一半径，作AOCx,过A作OA的

111垂直线交OC于B，显然SOACS扇形OACSOAB即sinxxtanx故原不等式成立。

2222、构造函数：

我们知道由函数的单调性可以得到不等式。例如：如果函数fx在定义域内可导，且，则fx在定义域内是增（或减）函数。 f'x0（或f'x0）

1例2：设x0，求证：ln1xxx2。

21x212'1x证明：令fxln1xxx，则fx。显然，当x1时，1x1x2f'x0，这就表明fx在1,内为增函数。因此，当x0时，

1fxf0。注意到f00，有fx0，即ln1xxx20

21因此，ln1xxx2。

23、构造方程（利用一元二次方程的判别式）：

二次不等式的证明，有时可转化为二次方程的判别式来解决。 例3：求证asecbtana2b2ab0,为锐角

证明：设yasecbtan

为锐角，tanR4b2y24a2y2a2b20 故asecbtana2b2成立。

注：证明二次不等式时，可如同把二次不等式的求解转化为二次函数图象的讨论一样，也可以应用更一般的二次曲线来证明更广泛的不等式问题，或者利用不等式所表示的平面区域来讨论以达到证明的目的。 4、构造多项式

某些不等式所含的字母较多，直接推证难下手，可以联想多项式的展开式。 例4：a,b,c都是小于k的正数，求证：akbbkcckak2。

证明：要证明原不等式，即证：k2-[a(k-b)+b(k-c)+c(k-a)]>0，

此式所含字母较多，直接推证难于下手，观察此式特点，联想到多项式(k-a)(k-b)(k-c)的展开式为： 5、构造三角形

例5：a,b,c都是小于k的正数，求证：akbbkcckak2。

证明：由a(k-b)+b(k-c)+c(k-a)即，32111kAMAPsin60CMCNsin60BPBNsin60 42222即，k> a(k-b)+b(k-c)+c(k-a)。

注：从以上题目的分析和证明过程可以看出，分析不等式的结构特点，联想与之相关的几何关系，构造适当的图形，将不等式的关系转化为所构造的图形的线段关系或面积关系。从而化复杂为简单，化抽象为直观，对解题起到事半功倍的效果，培养学生数形结合的思想，进一步提高学生探索与创新的能力。 2．1．8标准化法

形如f(x1,x2,,xn)sinx1sinx2[2][4]

sinxn的函数，其中0xi，且

x1x2xn为常数，则当xi的值之间越接近时，f(x1,x2,,xn)的值越大（或不变）；

当x1x2xn时，f(x1,x2,,xn)取最大值，即50

f(x1,x2,,xn)sinx1sinx2x1x2sinxnsinnnxn。

AB标准化定理：当A+B为常数时，有sinAsinBsin。

22例、设A，B，C为三角形的三内角，求证：sinABC1sinsin。 2228ABC11sinsin，取最大值，故22228证明：由标准化定理得，当A=B=C时，sinsinABC1sinsin。 2228[2][4]

2．1．9分解法

把一个数或式分解为几个数或式，使复杂问题转化为简单易解的基本问题，以便分而治之，各个击破，从而达到证明不等式的目的。

111例、n2，且nN，求证：1n(nn11)。

23n证明：因为1111111n(11)111 23n23n所以，1111n(nn11)。 23n2．1．10利用已知的不等式证明[1][16]

已知不等式的运用，从学习过程和掌握知识的层次上看，可以分为五个层次：套着用、凑着用、逆着用、变着用和横着用。每个公式均可作各种变化，为了能在更广阔的背景中运用公式，就需要对公式本身进行各种变形、产生各种不同形式的新公式，同时还应注意它在其它分科中的应用，开拓应用的范围。

例：求证1352n1nn。

证明：由ab2aba,b0得ab…………

两边分别相乘得到 两边开方，得

12ab 4132n1nn。

注：这个例题的证明完全是借助于基本不等式ab2ab的变形，同时利用了需证明不等式的左边任一乘积均能找到另一乘积项，两者之和为恒定常数。 2．1．11利用坐标和解析性[4]

通过直角坐标系建立平面上每个点与一对有序实数之间的一一对应关系，从而把曲线与方程联系起来的数的问题。

例：设a,b,c为三角形的三边，S为面积，求证a2b2c243S

证明：建立直角坐标系设A、B、C三点坐标分别为Am,0,Bm,0,Cp,q，则三边的关系式为：

a2b2c22p22q26m2而

故不等式成立。

2．1．12利用复数证明[4]

复数及其模的性质z1z2z1z2可作为不等式证明的尝试。 例：求证x24x542xx217 证明：x24x542xx2令z1x2i,z21x3i则

x221x123 z1z214i17，z1x221,z2x1232 而z1z2z1z2，故原不等式成立。 2．1．13参数法[4][16]

原理：取参数时，使各未知量的数字部分取A与未知量个数的商母部分的和为零。

A，而参数中全部字n1例：若xyz1,求证x2y2z2。

3111证明：令xt1,yt2,zt3，其中t1,t2,t3为实数，且t1t2t30则

333x2y2z211，当xyz时取等号。 33[11]

2．1．14利用概率证明

4sin2x2 例：已知x0,，求证

212sinx4证明：设两独立事件A和

B，且pAsinx,pBcosx，则

pABpApBpABsinxcosxsinxcosx1， 即，2sinxcosx1sinxcosx

12sin2x12sinx而x0,

242sinx0,cosx0则

4sin2x2。 12sinx4从以上的证明来看，通过运用概率方法构造一个适当的概率事件去证明不等式，比运用代数方法证明要简单明了。此法无论是对初等数学还是对高等数学，都有一定的实用价值，它使数学的不同分支之间架起了桥梁。不过利用概率证明不等式要牵涉到比较多的数学知识，方法比较灵活。

2．1．14利用向量证明[12]

目前大家主要重视向量与三角函数、平面几何、解析几何的“交汇”，而对向量证明代数不等式重视不够，缺少系统的研究。在此本人总结了3种常见的利用向量证明代数不等式的方法。

1、利用向量的几何特征构建不等式关系：

例1：设an是由正数组成的等比数列，Sn是其前n项和，求证： log0.5Snlog0.5Sn2log0.5Sn1。

2分析：这是不等式证明中一个非常好的题，只要证明SnSn2Sn12。构造向量，用平行四边形的几何特征来证明也是这道题的一个非常精彩的证明方法。

证明：设向量OAa1,a2，（其OBqSn1,qSn，OCa1qSn1,a1qSnSn2,Sn1中q为该等比数列的公比），则OCOAOB，故O,A,C,B构成平行四边形。由于OA,OB在对角线OC的两侧，所以kOA及kOB中必有一个大于kOC，另一个小于kOC。由于

kOCa1qSnSS1kOA，故kOBkOC1kOA，既nn11。所以SnSn2Sn12。

Sn1Sn2a1qSn12、用向量有效转化代数不等式： 例2：已知1a1，1b1，求证

112。 221a1b1ab分析：这是一道很有“活力”的不等式证明题。不过其证明有点复杂。 证明：不等式条件可加强为：0a，b1；

设x11,a,x21,a,y11,b,y21,b，则x1x2,y1y2，1a2x1x2，

1b2y1y2，abx1y2。

设x1与x轴的夹角为H1，y1与x轴的夹角为H2，则有0H1,H2p，故4x1x2x1cos2H1,y1y2y1cos2H2,x1y2x1y2cosH1H2。

x1cos2H1y1cos2H21111， 21a21b2x12cos2H1y12cos2H2x1y1cos2H1cos2H211， 1abx1y2cosH1H22222故只要证明：

x1cos2H1y1cos2H2x1222y1cos2H1cos2H222

x1y2cosH1H2即证明：x1cos2H1y1cos2H222222x1y1cos2H1cos2H2

cosH1H2因为x1cos2H1y1cos2H22x1y1cos2H1cos2H2 故只要证明：2x1y1cos2H1cos2H22x1y1cos2H1cos2H2

cosH1H2即证明：cosH1H2cos2H1cos2H2（实现代数不等式向三角不等式的转化）， 即证明：cos2H1H2cos2H1cos2H2 即证明：1cos2H12H2cos2H1cos2H2

即证明：1cos2H12H2sin2H1sin2H2cos2H1cos2H2 3、利用向量的数量积公式建不等关系证题：

11例3：若x,yR，求证xy4

xy证明：令a1111，则a2b2a2b2xy x,y,b,xyxyab21122x,y,114由a2b2ab xy211得xy4

xy2．2高等数学中不等式的证明 2．2．1函数上、下极限的不等式

原理：设fx,gx在E上有意义，x0是E的一个聚点，若0当0xx0,xE时，

fxgx，则有：

xx0limfxlimgx，limfxlimgx。

xx0xx0xx0例：设fx,gx在E上有意义，x0是E的一个聚点，则：

xx0limfxlimgxlimfxgxlimfxlimgx。

xx0xx0xx0xx0证明：0,xE,0xx0时，有：

inffxinfgxfxgxsupfxgx（其中确界是在xE,0xx0的范围里取的，下同）

所以：inffxinfgxinffxgxsupfxgx 从而有：inffxinfgxinffxgxsupfxinfgx

最后令0，取极限，即得：limfxlimgxlimfxgxlimfxlimgx。

xx0xx0xx0xx0xx0注：此例中的等号也可以不发生。例如：对fxx0x0x0x0x02,当x为有理数0，当x为无理数，gx0,当x为有理数1,当x为无理数有

limfxlimgx0limfxgxlimfxlimgx2

2．2．2由Cauchy不等式证明

原理：若函数fx,gx在a,b皆可积，则

baxfxdxgxdx2baf2xdxbag2xdx，称上式为Cauchy不等式。

2110fxdx 42例：设函数fx在0,1上导数连续，f0f10，证明：10fxdx证明：

f00,

22x2x01dx0fxdxx10fxdx（A）

又

f10,

21x111dxfxdx1xxx00fxdx（B）

22由（A）和（B）得：

2即，10fxdx2110fxdx 42．2．3由Taylor公式及余项证明

原理：定积分证明题中，若被积函数具有二阶及二阶以上导数时，利用Taylor公式可对余项做放缩处理，进而证明不等式。

aafxdxaf。 例：设fx是0,a上的非负函数，f\"x0,a0证明：02证明：对fx在x0a点处利用Taylor公式，即 22aa1aaafxff'xf\"x（x）

222!222两边取从0到a的积分，得：

aaaf即0fxdxaf2a 22．2．4由积分性质证明

原理：利用下列两条定积分的性质可证明定积分不等式。

b（1）若在a,b上，fxgx，则b（2）M和m为fx在a,bafxdxagxdx；上最大值和最小值，则mbabafxdxMba。

1112例1：当n2时，证明0dx。

261x21证明：x0,,n2,xnx2有

21取从0到的积分，得

2例2：证明22x2x2edx2e。 04e2证明；设fxexfxe1142x，则f'x2x1ex2x若令f'x0，则得到x1为驻有21。4ex0,2,f01,f2e2在0,2上，fx的最大值

112x2xedxM20 Mf2e2，最小值mf4，则m2002e即22x2x2edx2e。 04e2．2．5由积分中值定理证明

原理：fx在a,b上连续，则至少存在一点a,b，使b afxdxfba。

1例1：设函数fx在0,1连续且单减，证明当01时，fxdx00fxdx。

11证明：0fxdx0fxdx0fxdx0fxdxfxdx

1f11f2其中10,,2,1 又

fx单减，

f1f2,f1f20

又01,10因此1f1f20

11故0fxdx0fxdx0即0fxdx0fxdx。

例2：证明不等式

abaabln0ba。 abb证明：选择函数fxlnx,xb,a。

fxlnx在区间b,a满足拉格朗日中值定理，因此，有lnalnb1ab，

0ba，

2．2．6利用求函数的最值证明[10][17]

原理：当所要证明的不等式形如fxA或fxA时，可考虑A是否是fx在某个区间上的最值。

x例：证明0tt2sin2ntdt12n22n3,x0,其中n为正整数。

1x证明：令fx0tt2sin2ntdt，只要证明fx的最大值不超过

2n22n3，

0,0x1'22nfxxxsinx0,x1由可得fx的最大值

0,x10x22nmaxfxf11tdt，从而 0ttsin 12n22n3。

2．2．7利用曲线的凹凸性证明[10][17]

一般遇到某个函数在某两点的平均值及中点的函数值的关系时，可考虑用曲线的凹凸性，因为这种形式的不等式很容易识别出来，因而在实际中很少遇到这种问题。但有时巧妙地利用函数在所给区间上的凹凸性，可大大简化证明。

2例：证明当0x时，sinxx。

2证明：设fxsinx2x，则f'xcosx2,f\"xsinx0，所以fx的图形是

2上凸的；又f0f0，因此fx0，即sinxx。

2由于不等式的多样性,证明的方法也有所不同。所以在证明不等式时,应注意多种证明方法的综合应用,绝不可以将某种证法看成是孤立的而且对于不同的题目可有多种证明方法,只不过有难易之分,在解题中应根据题目的特征对证明方法进行选择。

3几个着名不等式的推广及应用 关于绝对值不等式[14][16] 3．1．1三角形不等式

三角不等式定理：ababab 3．1．2三角形不等式的变形 （1）设aiRi1,2,,n则有a1a2ana1a2an，即

aaii1i1nni

2ana1a22（2）a12a2an，特别地，当n2或3时容易给出不等

式的几何解释。

当n2时，不等式表示直角三角形两直角边之和大于它的斜边：

2a12a2a1a2。

当n3时，不等式表示以线段a1,a2,a3为棱长作成的长方体，它的对角线的长小于这些线段的长的和：

2（3）a12a2222anb12b222bna1b1a2b22anbn

2bn （4）a1b1a2b22anbna12a222anb12b2（5）设A，B，C为平面上任意三点，坐标分别为

(x1,y1),(x2,y2),(x3,y3)，则由

ABBCAC及距离公式得： 通常也称之为平面三角不等式。 3．2平均值不等式[16]

3．2．1算术平均数与几何平均数

（1）我们知道两个正数的算术平均数大于等于它们的几何平均数，即

abab(a,b为正数)，对于三个正数的算术平均数与它们的几何平均数的关2系，也曾作为探究性问题提出过。你有没有认真考虑过：对于三个正数、四个正数、…、甚至n个正数，都有类似的结果出现呢？下面我们就来研究这个问题。 例：设a,b,c为正数。证明a3b3c33abc。

（说明：该问题我们曾采用比较法解决过，为让同学们加深对该不等式的认

识和理解，此处换一个角度来考虑。）

证明：a3b3a2bab2 同理，b3c3b2cbc2

三式相加得，2(a3b3c3)a(b2c2)b(c2a2)c(a2b2)。] 又a2b22ab,b2c22bc,c2a22ca 所以2(a3b3c3)6abc.

于是结论成立。当且仅当abc时，等号成立。

在上例中，将a3,b3,c3换成a,b,c,得到平均数大于等于它们的几何平均数。

更一般地，可以证明n个正数的算术平均数大于等于它们的几何平均数。即设x1,x2,,xn为n个实数，则有nx1x2abc3abc。即三个正数的算术3xn1x1x2nxn，即几何平均值不

超过算术平均值。当且仅当这n个数相等时，等号成立。这就是关于n个正数的算术平均数与几何平均数的着名不等式，通常称为平均不等式。它有相当广泛的应用。

（2）命题：若x1,x2,,xn皆为正数，且x1x2xn=1，则x1x2xnn，

并且式中的等号当且仅当x1x23．2．2几个平均数的关系

xn1时成立。

平均的概念，在人们的日常生活和生产实践中是经常遇到的。除了上述谈到的算术平均数和几何平均数之外，还常会用到另外两种平均数，即平方平均数和调和平均数。

设a1,a2,,an为正数，则这n个数的平方和的算术平均数的算术平方根为

Qna1a2an.

n222Qn称为这n个数的平方平均数。平方平均数在概率统计及误差分析中有着重要

的作用。

而n个正数的倒数的算术平均数的倒数为Hnn111a1a2an.

Hn称为这n个数的调和平均数。调和平均数在物理学中的光学及电路分析

中有着较多的应用。

通常又记Ana1a2an,Gnna1a2an.

n则An,Gn,Qn,Hn四个平均数的关系为：HnGnAnQn。 其中等号当且仅当a1a2an时成立。

注：这是一组十分重要的不等式，应用很广。在解决初等极值问题中，也提供了一种重要方法。在应用不等式求极值时，必须考虑不等式中等号成立的条件，因为极值一般正是在等号成立的时候达到。为了便于以后应用，我们把上述不等式改写成便于求极值的形式。

例44：已知a0,b0,c0,abc1，求证：

1113。

a2bcb2acc2ab2211bc1111x2ya2 证明：由xy0知3y4abcabc11a4bcbc同理：

11111

b3acb4ac1111111333 abc333abcbaccab2abc22相加得：

3．3贝努利（Bernoulli）不等式[16]

Bernoulli）不等式定理：

设x0,1，则不等式1x1x成立。

Bernoulli）不等式的应用：

例：设a0,ab0,nN,n2。证明不等式：

ab证明：abnnannan1b等号当且仅当b0时成立。

bban1an1n=annan1b

aqnn即abannan1b

3．4排序不等式[7][16]

先来看一个问题：设有10个人各拿一只水桶去接水，若水龙头注满第i个人的水桶需要ai分钟，且这些ai各不相同。那么，只有一个水龙头时，应如何安排10个人接水的顺序，才能使它们等待的总时间最少？这个最少的总时间等于多少？

解决这一问题，就需要用到排序不等式的有关内容。在没有找到合理的解决办法之前，同学们可以猜测一下，怎样安排才是最优的接水顺序？为了解决这一问题，先来了解排序不等式。

一般地，设有两组正数a1,a2,a1b1a2b2,an与，且a1a2an，b1b2bn。anb（倒序）1若将两组中的数一对一相乘后再相加，则其和同序时最大，倒序时最小。即：

anb（同序）a1bi1a2bi2nanb（乱序）a1bna2bn1in

其中i1,i2,b1b2,in是1,2,,n的任一个排列，等号当且仅当a1a2an或

bn时成立。以上排序不等式也可简记为：反序和乱序和同序和

注：这个不等式在不等式证明中占有重要地位，它使不少困难问题迎刃而解。 例：请思考：怎样用排序不等式解决上述最优接水问题？

解：设i1,i2,,i10是不同于1,2,,10的一个排列。若第一个接水的人拿的是需要ai1分钟才能注满的水桶，则接这桶水10人共需等待10ai1分钟；第二个接水的人拿的是需要ai2分钟才能注满的水桶，则接这桶水9人共需等待9ai2分钟；…如此继续下去，到第10人接水时，只有它一人在等，需要ai10分钟。按这样的顺序，10人都接满水所需总时间为

10ai1+9ai2+…+2ai9+ai10 不访设a1a2a10，而1210，由排序不等式得

这就是说，按水桶的大小由小到大依次接水，10人等待的总时间最少，这个最少的时间就是10a19a22a9a10。

例47、求证：a2b2c2d2abbccdda。

证明：因为a,b,c,dR有序，所以根据排序不等式同序和最大，即

a2b2c2d2abbccdda。

3．5柯西不等式[5][17]

柯西不等式是一个非常重要不等式，它在数学和物理方面，尤其是在解决不等式证明的有关问题中有着十分广泛的应用。与柯西不等式有关的竞赛题也频频出现，这充分显示了它在不等式中的独特地位。 3．5．1柯西不等式的几种不同的表达形式 （1）（向量形式）

（2）任给a,b,c,dR,a2b2c2d2acbd；当且仅当adbc时等号成

2立。（代数形式）

一般地，对于实数ai,biR,i=1,2,…,n,有ai1n2ibi1n2i(aibi)；当且仅当

i1n2a1a2a==…=n等号成立。（推广形式） b1b2bn（3）a2b2c2d2acbd22（几何形式）

下面我们一起来进一步感受柯西不等式的和谐统一性，从不同角度体验它的协调一致性。

3．5．2柯西不等式的推广（下面出现的a1,（1）（2）

2222a12a2an1,b12b2bn122a1a2a2a3a3a1a12a2a3,an;b1,，则

,bn都表示实数）

a1b1a2b2anbn1

2222 aaanaaa12n12n（3）

3．5．3由柯西不等式导出的几个着名不等式

(1)设A，B，C为平面上任意三点，坐标分别为(x1,y1),(x2,y2),(x3,y3)，则由

ABBCAC及距离公式得 通常也称之为平面三角不等式。

如果将推广1推广到一般的形式，则得到： (2)（闵可夫斯基不等式）设a1,a2,,an;b1,b2,,bn是实数，则

(3)（赫尔德（Holder）不等式）已知aibi1in是2n个实数，

0,0,1，则a1b1anbna1a2anb1b2bn

(4)（赫尔德不等式一个极好的变式）设ai0,bi0i1,2,naim1nnm1，则有mbiaii1i1bii1mm1,n,m0或

,n时等

，当且仅当aibii1,2,号成立。

(5)设aijRi1,2,,n;j1,2,mnmmn。 a,m则aijiji1j1j1i1将推广4不等式中的nm个正数a排成n行m列矩阵：

ij则推广4可叙述为一个nm矩阵各行元素的乘积之和的m次幂不超过其各列元素的m次幂之和的乘积。

注：以上所介绍的柯西不等式的推广都有着极为广泛的应用，特别是后三个推广之间有着密切的联系。应用推广的柯西不等式，许多不等式的证明问题就能够轻而易举的解决，并且某些特殊结论的不等式，也能够很自然地推广到一般性的结论。

3．5．4柯西不等式的特殊化

1、二维形式中取b1b21;a1,a2R，得2、n维形式中取b1b23、n维形式中取b1a1a2a1a2。 2bn1；则有a12a22aaa212nan2n。

11,b2,a1a2,bn1，则有 ana12a22取a1,a2,11an222a1a2,anR，有a1a212。 n2an11ana1a212n。 an我们从中可进一步观察体验柯西不等式所蕴含的形式上的对称美，简洁美及和谐性。

3．5．5柯西不等式的应用 1、柯西不等式在几何上的应用

例1：用柯西不等式证明点到平面的距离：已知平面为AxByCzD0，求证点x0,y0,z0到平面的距离为dAx0By0Cz0DABC222。

证明：设Px,y,z为平面上任意一点，有AxByCzD，且

A2B2C20构造两数组A,B,C和xx0,yy0,zz0；由柯西不等式得：

于是有

当且仅当

xx0yy0zz0时，等号成立。由垂线段最短可知ABC22dAx0By0Cz0DABC2。

同理令z0再利用柯西不等式可得点到直线的距离为d2、柯西不等式在代数上的应用（求最值）

例2：已知正数x,y,z满足xyzxyz，且不等式x立，求的取值范围。

证明：由二元均值不等式和柯西不等式得：

3故参数的取值范围是,。 2Ax0By0DAB22。

111yz恒成xyz闵可夫斯基不等式[15][16]

设a1,,an;b1,,bn是两组正数，k0,k1，则

nnkknkkaibiaibik1或

i1i1i1aibii1nkk1k11kkaibii1i1nn1k1k1k0k1

当且仅当

aa1a2n时等号成立。 b1b2bn闵可夫斯基不等式是用某种长度度量下的三角形不等式的推广，当

k2,n2时得到平面上的三角形不等式：

a1b12a2b2222a12a2b12b2

上图给出了对上式的一个直观理解。

若记aa1,a2,bb1,b2，则上式为abab 赫尔德不等式[5][15][17]

赫尔德（Holder）不等式是数学分析的一条不等式，取名自奥图.赫尔德

（OttoHolder） （Holder）不等式

已知aibi1in是2n个实数，0,0,1，则 上式中若令12,xiai,yi2bi，则此赫尔德不等式即为柯西不等式。 2Holder）不等式的推广

设：ai0,bi0(i1,2,...n)，m0或m1,则有：

nnaim(m)(bi)(ai)m1。等号成立当且仅当aibi(i1,2,...,n) i1bii1i1nm1契比雪夫不等式[15]

（1） 若a1a2an,b1b2bn，则

1ababnaaab12nanb1b2nbn1naibn1i；当且仅当ni1a1a2an,或b1b2bn时等号成立。

下面给出一个n2时的契比雪夫不等式的直观理解。

如图，矩形OPAQ中，a1a2,b1b2，显然阴影部分的矩形的面积之和不小于空白部分的矩形的面积之和，（这可沿图中线段MN向上翻折比较即知）。于是有

a1a2b1b22a1b1a2b2也即1a1b1a2b2a1a222b1b2。 21n例：设ai全是正数，且saiai（i1，2，…，n），且nm，n2．求

mi1nsainnmanm证：（1）；（2）i。 aimnmi1i1sain证明：不妨设a1a2an0，于是

111sansan1sa1，。由切比雪夫不等式

anan1a1得

1nsai1n1n1sainani1aini1i1inms1n1nani1i（*） n1n又由均值不等式知na；又aims，所以

1ni1ii1i1ain1n1ni1ainai1nin，而nm，代入（*）后整理可得（1）成立。 ms另一方面

111，a1a2an。由切比雪夫不等式得 sa1sa2san1n11naini1saini1sai由均值不等式：

1n（**） nai。i1nsai1ni1n11n1n1nnsms，故。 saini1nni1sainmsi又aims，代入（**）整理后可得（2）成立。

琴生不等式[15]

首先来了解凸函数的定义:

一般的，设f(x)是定义在(a,b)内的函数如果对于定义域内的任意两数x1,x2xx2fx1fx2都有f1则称f(x)是(a,b)内的下凸函数，一般说的凸函22数，也就是下凸函数，例如yx2，从图像上即可看出是下凸函数，也不难证明其满足上述不等式。如果对于某一函数上述不等式的等号总是不能成立，则称此函数为严格凸函数。

注：凸函数的定义为我们提供了极为方便地证明一个函数为凸函数的方法。这个方法经常使用。此外利用二阶求导也可以判断一个函数为凸函数，凸函数的二阶导数是非负数。

琴生不等式的定义：设fx是a,b内的凸函数，则对于a,b内任意的几个

xx2xn1实数x1,x2,,xn有f1fx1fx2fxn当且仅当

nnx1x2xn时等号成立。

琴生不等式是丹麦数学家琴生于1905年到1906年间建立的。利用琴生不等式我们可以得到一系列不等式，比如“幂平均不等式”，“加权的琴生不等式”等等。

nbii1，naii1nbi设ai,biR,i1,2,,n;,为正有理数，则有i1aia当且仅当ibiabi1i1nni时等号成立。

inn对于(a,b)内的凸函数，若ai1，则faixiaifxi

i1i1i1n注：加权琴生不等式很重要，当ai1时，即为原始的琴生不等式。另外，n对于上面有关凸函数和琴生不等式的部分，如果将不等号全部反向，则得到的便是凹函数，以及凹函数的琴生不等式。

例：若xi（i1，2，…，n）为正实数，求证：

x1x2xnnx1x2xn。

n证明：考查函数fxlnx，x0．由于fx10，故其为凸函数。x2xx2xnlnx1lnx2lnxn由琴生不等式得：ln1。 nn整理后即得：

x1x2xnnx1x2xn

n参考文献

[1]许小华，不等式证明的常用方法[J]，数学通讯，2005年第22期 [2]陈初良，不等式证明的两种巧法[J]，高中语数外，

[3]周再禹，不等式证题中调整法的应用[J]，兰州教育学院报，2005年第

4期

[4]董琳，几种证明不等式的妙法[J]，创新篇发散思维训练，2005年第9期

[5]刘兴祥，罗云庵，王海娟，柯西—施瓦兹不等式的应用[J]，延安大学

学报（自然科学版），2005年第4期

[6]刘海燕，利用微分学证明不等式[J]，牡丹江教育学院学报，2005年第3期

[7]于鸿丽，排序定理的推广及应用[J]，西安文理学院学报(自然科学版)，2005年第3期

[8]魏全顺，微分在不等式证明中的应用[J]，湖南第一师范学报2006年第1期

[9]孟利忠，以数列为载体的不等式证明的放缩技巧[J]

[10]叶殷，何志树，用高等数学证明不等式的若干种方法[J]，西昌师范

高等专科学校学报，2004年第4期

[11]翁耀明，运用概率方法证明某些数学不等式[J]，数学的实践与认识，2005年第11期

[12]张国棣，用向量证明代数不等式的新探索[J]，中学数学月刊，2006年第3期

[13]任伟芳，用增量法证明不等式[J]，高中数学教与学，2006年 [14]李记东，含绝对值的不等式的证明策略[J]，高中数学教与学，2006年

[15]胡克，解析不等式的若干问题[M]，武汉大学出版社，2003年 [16]林国泰，司徒用显，邝会雄，初等代数研究教程[M]，暨南大学出版社，2002年

[17]华东师范大学数学系，数学分析（第二版）上、下册，高等教育出版社[M]，2001年