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

不等式的证明方法及其推广摘要：在初等代数和高等代数中，不等式的证明都占有举足轻重的位置。初等代数中介绍了许多具体的而且相当有灵活性和技巧性的证明方法，例如换元法、放缩法等研究方法；而高等代数中，可以利用的方法更加灵活技巧。我们可以利用典型的柯西不等式的结论来证明类似的不等式；除此还可以利用导数，微分中值定理，泰勒公式，积分中值定理等有关的知识来证明不等式；在正定的情况下，也可以用判别式法；掌握了定积分化为重积分的内容之后，对于某类不等式，也可以将定积分化为重积分，再证明所求的不等式。由此我们可以看到，不等式的求解证明方法并不唯一，但是初等数学里的不等式，都可以用高等数学的知识来解决，解答更为简洁。所以，高等数学对初等数学的教学和学习具有重要的指导意义。本文归纳和总结了一些求解证明不等式的方法与技巧，突出了不等式的基本思想和基本方法便于更好地了解各部分的内在联系，从总体上把握证明不等式的思想方法；注重对一些着名不等式的推广及应用的介绍。关键词：不等式；证明方法引言1．1研究的背景首先，我们要从整个数学，特别是现代数学在21世纪变得更加重要来认识不等式的重要性。美国《数学评论》2000年新的分类中，一级分类已达到63个，主题分类已超过5600多个，说明现代数学已形成庞大的科学体系，并且仍在不断向纵深化发展。它在自然科学、工程技术、国防、国民经济（如金融、管理等）和人文社会科学（如语言学、心理学、历史、文学艺术等）以至我们的日常生活中的应用都在不断深化和发展。它为我们提供了理解信息世界的一种强有力的工具，它也是新世纪公民的文化和科学素质的重要组成部分。而不等式在数学中又处于独特的地位。美国《数学评论》在为匡继昌的《常用不等式》第2版写的长篇评论中指出:“不等式的重要性，无论怎么强调都不会过分。”这说明不等式仍然是十分活跃又富有吸引力的研究领域。再者不等式的求解和证明一直是高考的热点和难点。近年来高考虽然淡化了单纯的不等式证明的证明题。但是以能力立意的、与证明有关的综合题却频繁出现。常常与函数、数列、三角等综合，考查逻辑推理能力。是高考考查的一项重要内容。而要解决这一点的关键在于掌握常用方法，理解不等式证明中的数学思想，熟练地运用性质和基本不等式。因此，本文归纳和总结了一些求解证明不等式的方法与技巧，突出了不等式的基本思想和基本方法，便于更好地了解各部分的内在联系，从总体上把握不等式的思想方法；注重对一些着名不等式的推广及应用的介绍，以便更好地理解和运用。1．2文献综述数学问题（猜想）的重要性先哲们已有过精辟的阐述。的确，形式优美、新颖、内涵丰富的不等式问题，不仅丰富了我们的研究素材，而且孕育了新思想、新方法的胚芽。当探索者在艰难的跋涉中感到困倦和乏味时，它就会突然放出奇光异彩，照亮一片天地。人们之所以能孜孜不倦地向未知领域探求，也正是问题那充满诱惑力的深情呼唤。新的东西可以刷新我们的视野。虽然它一开始可能是含糊的、幼稚的、脆弱的，但是只要视野中能映出，那么离抓住它的真谛的日子一定不会遥远了！由于不等式的多样性，各有各的证明特色，所以我阅读许多文献。许小华的《不等式证明的常用方法》是我参考的第一篇文献。文中介绍了一些常见的证明方法及其在数学竞赛中的应用：分析和综合法、数学归纳法、反证法、函数法、判别式法。由此可知不等式在数学中的地位十分重要,而证明不等式的方法和技巧也很多。所以要掌握好不等式证明，除了要认真理解并能熟练运用不等式的基本性质外，还应当注意观察相关条件与数学其他知识点的联系，充分利用有关知识解决不等式证明问题。陈初良的《不等式证明的两种巧法》就介绍了两种技巧性较高的不等式证明方法：化归函数法、放缩法。本文对这两种方法的介绍非常的精彩。周再禹在《不等式证题中调整法的应用》也给大家展示了不等式证明的一种独特的方法——调整法。而董琳为了拓宽视野，则在《几种证明不等式的妙法》一文中通过实例，介绍了几种切实可行的方法：放缩法证明不等式、反证法、函数法、最值法。除此不少问题还不止用一种方法而需要用几种方法综合使用才能解决。所以翁耀明善于抓住不等式的特点，突破旧例，在《运用概率方法证明某些数学不等式》一文中利用函数的凹凸性，再结合概率中数学期望的不等式性质，恰当地构造一个概率分布密度来证明一些特殊的不等式。我们知道任何知识体系都不是孤立的，它们相互联系相互渗透，而不同体系的“知识交汇”更能有效地培养学生的综合思维能力。例如：数列与不等式是函数内容的后续知识板块，与函数一样，也都是历年高考的热点。由于在知识网络交汇点设计试题这一命题思想的不断成熟，以数列为载体的不等式证明问题备受高考青睐。以数列为载体的不等式证法虽灵活多变，但极富有挑战性，只要我们善于思考、适时调整、不畏险阻、锲而不舍，其实成功并不遥远，这正体现了高考为选拔优秀人才所精心布置的一个公平舞台。所以证明这类题通常要有一些较为“高超”的放缩技巧。孟利忠则针对这一问题，在《以数列为载体的不等式证明的放缩技巧》中介绍了四种利用数列证明不等式的方法：放缩成递约数列乘积、放缩成相消数列和式、放缩成等差数列和式、放缩成等比数列和式。又如：向量是中学阶段的重要内容，目前大家主要重视向量与三角函数、平面几何、解析几何的“交汇”，用向量证明代数不等式重视不够，缺少系统的研究。一般认为用向量证明不等式就是用向量模的性质来思考问题，实并非如此。张国棣的《用向量证明代数不等式的新探索》对用向量证明代数不等式的方法，进行一些新的探索：（1）利用向量的几何特征构建不等式关系，因为利用向量的加法、减法所构成平行四边形的几何特征来思考问题，可以使证明过程更直观、简捷。（2）用向量有效转化代数不等式，因为用向量搭起代数不等式证明与其他知识体系的桥梁，可实现代数不等式的有效转化，降低思维难度。（3）利用向量的数量积公式，建不等关系证明。因为根据向量的数量积公式ab=\a\b\coa9找出不等关系。这样则增加了向量应用的多样性，将老问题赋予新的生命，是证明方法上的创新，可以使证明过程更加简捷、清晰。不等式证明既是数学的重要内容之一，也是高等数学的重要工具。许多初等数学中的问题，往往蕴含着数学中的较高层次理论的再实践的问题。如能在教学中有意将高等数学的原理、方法应用于一些初等数学的证明、计算，不仅可以开拓学生的视野，而且可使学生体会到用高等数学的原理、方法解决初等数学问题时，居高临下，驾轻驭熟的感觉，进而了解高等数学与初等数学密不可分的关系。比如：函数的单调极值问题其本身都与不等式密切相联，而微分学中值定理和Taylor公式又使我们能够通过对导数或余项的估计来确定变量间的大小关系，因此常常是证明不等式的得力工具，相对于函数极值概念的局部性，函数的最值则是一种整体的概念，即是在一个固定的区间内有意义的概念，这是和极值概念绝然不同的所在。那么我们如何通过运用导数与微分这样的反映局部性质的概念来研究最值呢？显然我们只能给出一个最值的必要条件，就是一个最值先要是一个极值。这也就是说最值是包含在极值之中的，至于通过极值来找到最值，最终还是必须依靠对可能有的不同极值进行比较。如果极值的数目是有限的。并且不是很多，那么就比较容易得到最值；如果极值是无穷多的，或者是数目极大的，就面临得到最值的困难。因此实际上通过导数的方法来求最值，并没有最终解决问题，而只是在一定的条件下可以得到解决。所以刘海燕在《利用微分学证明不等式》一文中讨论了如何利用微分学证明不等式。而叶殷的《用高等数学证明不等式的若干种方法》则探讨解决了如何将高等数学的原理和方法运用于初等数学，如何解决高等数学与中学数学脱节的问题。并且给出了几种证明方法：利用函数的单调性证明不等式、利用微分中值定理证明不等式、利用函数的极值证明不等式、利用泰勒公式证明不等式、利用函数的凸性证明不等式、利用积分不等式证明不等式、利用定积分的定义证明不等式。魏全顺在《微分在不等式证明中的应用》一文中介绍的不等式的高等证明方法也非常地精彩。高等数学除了可以使学生站在更高的观点上思考问题，同时又可以帮助学生处理初等数学的问题，以达到初等数学与高等数学之间的衔接，刘兴祥在《柯西一施瓦兹不等式的应用》中利用柯西一施瓦兹不等式且巧妙地构造向量g与耳解决了部分分式不等式的证明及求极值问题。不等式的证明方法有很多，而且非常的灵活、精彩。但是着名不等式更是优美而又魅力无限的。正如音乐家能够将很少几组音符变化发展为动听美妙的旋律一样，数学家则往往能够通过不多几步逻辑推理揭示出简明优美的结果。这些有关不等式的结果就是数学家依靠并不复杂的逻辑推理得到的，然而在其来龙去脉被领悟以前，却常常像变戏法似的神秘莫测。胡克在《解析不等式的若干问题》中则介绍了一些非常美丽的不等式及近年来有关的新成果。总之，不等式的内容博大精深，还有很多问题期待我们去挖掘2证明不等式的方法2．1初等代数中不等式的证明2．1．1比较法[1]22比较法分为作差法和作商法。1、作差法的数学思想是把不等式左边的代数式减去右边的代数式，根据已知条件研究这个差在实数范围内为正还是负，从而确定其大小。例1：设x,xGR+则Xn+12121212证明：当X,XGR+则122、作商法的数学思想是在证明时，一般在a,b均为正数时，借助->1或-<1来判断bb其大小，步骤一般为：作商——变形——判断(大于1或小于1)。例2：设a>b>0，求证：aabb>abba。证明：・.・a>b>0—>1,—>1,a-b>0；baabbabba>1，故aabb>abba。2．1．2分析法和综合法[1]所谓分析法，就是假定结论是正确的，然后利用恒等变形及不等式的性质逐步推演，如果能够得到一个已知它成立的不等式，而且推演的每一步骤都是可逆的，则这个不等式成立。对于较复杂的不等式的证明，多用这种方法。所谓综合法，它的着眼点在条件，即从已知条件出发，根据不等式的性质，逐步推证所要求的结论。例：设a,bgR+，求证出>4ab且当且仅当a=b时等号成立。^2证明：(1)分析法要证出>4ab成立，只要证a+b>2応成立，2即只须证a+b一2Jab>0成立，最后不等式显然成立，而其中每步推证都是可逆的，出，显然仅当a=b时，等号成立。2(2)综合法・・・a,bgR+,则\万小厉gR+于是有C/a-4b》>0(仅当a=b时等号成立)，即a+b—2\'ab>0。a+a+b>Jab。2．1．3反证法[1]反证法的数学思想是从否定的结论出发，通过逻辑推理，导出矛盾，从而证明原来的结论是正确的。例：设a,b,c和x,y,z均为不等于0的实数，若az+2by+cx=0,ac-b2>0,贝Ijxz-y2<0。证明：设xz-y2>0贝xz>y2>0即b2y2-acxz<0由az+2by+cx=0,有az+cx=-2by即卩a2z2+2acxz+c2x2=4b2y2(az—cx》=4Cb2y2-acxz)<0与(az—cx》>0矛盾2．1．4数学归纳法［1］已知条件均是在整数集或自然数集中，所证式子项数或因式数为无穷多。证明的难点是在n=k+1时，关键是要充分利用n=k以及第一步的结果。对于含有n（neN）的不等式,当n取第一个值时不等式成立，如果使不等式在n=k（neN）时成立的假设下，还能证明不等式在n=k+1时也成立，那么肯定这个不等式对n取第一个值以后的自然数都能成立。例：设a>2,给定数列例：设a>2,给定数列{x},其中x=a,xn1n+1x2n2(x-1),(neN),求证：x>2。n证明：1）当n=1时，x〔=a>2，故不等式当n=1时成立。2）假设当n=k时不等式也成立，即x>2，贝当n=k+1时kx21x21x=k=k+12(x-1)2k(x-1)+」+2

kx-1k>2(2+2)=2°综合1）、2）可知对于一切自然数n都有x>2。n2．1．5换元法［1］换元法的基本思想，是通过对所证不等式添设辅助元素，原来的未知量（或变量）变换成新的未知量（或变量），而更容易达到证明的目的。此种方法证明不等式一般采取以下步骤:〈1〉认真分析不等式，合理换元；〈2〉证明换元后的不等式；〈3〉得证后，得出原不等式成立。换元法可分为两大类：1、代数换元例1：求证：33+33+33-33<23;3。［证法分析］由于根指数为3，若采取两边三次方的办法，中间运算较繁。根据不等式左边的特点，考虑公式a3+b3=(a+b)(a2-ab+b2)不妨设a=33+3'3,b=33-33于是只要证

((a+b》<24即可。>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+b)对上式两边同时加上a3+b3即a3+b3+3ab(a+b)<4C3+b3)=24即(a+b)3<24所以a+b<2运原不等式成立。2、三角换元:借助三角变换，在证题中可使某些问题变易。例2：设x,yeR,且x2+y2<1,求证：x2+2xy—y2]证明：设x2+y2=u2则由题设知U<1并可设x=ucos0,y=usin0。于是，x2+2xy—y2=u2(cos20+2cos0sin0-sin20)所以，x2+2xy—y2<u2<V2。可见,冗长而复杂的不等式用代数法换元,可以使问题变得明显简单。含有根式或带有绝对值符号的不等式可用三角法换元,同样也可以将难化易。2．1．6迭合法(降元法)[1][9]迭合法的数学思想是把所要证明的结论先分解为几个较简单部分,分别证明其各部分b2b2+b2+•••+b2=1，求证:12n例、已知：a2+a2+…+a2=1，12nab+ab+…+ab<1。1122nn证明：因为a2+a2+•••+a2=1，12nI以「a2+a2+••+a2=1，12n由柯西不等式所以原不等式获证。2．1．7构造法[2][4]在中学的数学竞赛题目中,经常碰到不等式的证明,特别有些技巧性强的题目,学生往往手足无措,难于下手。这时候采用构造法往往能达到意想不到的效果,构造是一种探索和创新,适当的构造可以准确快速地解决问题,也可以给学生带来耳目一新的解题感受,对于培养学生的解题技巧、思维能力。甚至开拓创新都大有脾益。构造法的基本数学思想，是通过构造中介性的辅助元素，沟通不等式的条件与结论的内在联系，使原题得以证出。构造的辅助元素是多种多样的，常用的有构造图形，构造函数，构造方程，构造等价命题，构造反例等。在此只介绍前三中构造法。1、构造图形(用几何特性或区域讨论)：利用几何定理或借助几何图形可以直观地、简便地表达和解决问题。TOC\o"1-5"\h\z(兀、例1：求证重要不等式sinx<x<tanx0<x<—\2丿证明：圆0是半径为1的单位圆，0A是圆0的任一半径，作ZAOC=x,过A作OA的垂直线交0C于B,显然S<S<S即丄sinx<x<tanx故原不等式成立。AOAC扇形OACAOAB2222、构造函数：我们知道由函数的单调性可以得到不等式。例如：如果函数f(x)在定义域内可导，且f'(x)n0(或f'(x)<0)，则f(x)在定义域内是增(或减)函数。例2：设x>0，求证：ln(1+x)>x-x2。2证明：令f(x)=ln(1+x)-x+x2，x=。显然，当x>-1时，1+x1+xf'(x)>0，这就表明f(x)在(-1,+小内为增函数。因此，当x>0时，f(x)>f(0)。注意到f(0)=0，有f(x)>0，即ln(1+x)2因此，ln(1+x)23、构造方程(利用一元二次方程的判别式)：二次不等式的证明，有时可转化为二次方程的判别式来解决。例3：求证asec0-btan0、、；a2-b2(a>b>0,0为锐角)证明：设y=asec0-btan0・.・0为锐角，tan0gR+aA=4b2y2-4C2-y2)(a2-b2)>0故asec0-btan0>(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)vk证明：由a(k-b)+b(k-c)+c(k-a)vk2变形:a(k-b)+—b(k-c)+3c(k-a)vk244联想到正三角形的面积，构造边长为k的正AABC，在AC,BC,AB上分别取点M,N,P；使AM=a,CN=c,BP=b。贝9S>S+S+SAABCAAMPACMNABPN即，洛k2>2AMAP・sin60+2cm・cn・sin60+2BP・BN・sin60即，即，k2>a(k-b)+b(k-c)+c(k-a)注：从以上题目的分析和证明过程可以看出，分析不等式的结构特点，联想与之相关的几何关系，构造适当的图形，将不等式的关系转化为所构造的图形的线段关系或面积关系。从而化复杂为简单，化抽象为直观，对解题起到事半功倍的效果，培养学生数形结合的思想，进一步提高学生探索与创新的能力。2・1・8标准化法[2][4]形女口f(x,x,…，x)=sinxsinx••-sinx的函数，其中0<x<n，且TOC\o"1-5"\h\z12n12nix+x+…+x为常数，则当x的值之间越接近时，f(x,x,…,x)的值越大(或不变)；12ni12n当x=x=…=x时，f(x,x,…,x)取最大值，即5012n12nx+x+・・・+xf(x,x，…・,x)=sinxsinxsinx<sinn2n12n12nn°标准化定理：当A+B为常数时，有标准化定理：当A+B为常数时，有sinAsinB<sin2A+B例、设A,B,C为三角形的三内角，求证：sin号sin|sinC2<joABC1证明：由标准化定理得，当A=B=C时，sin—=sin—=sin—=-，取最大值一，故22228

sindsinBsind122282．1．9分解法[2][4]把一个数或式分解为几个数或式，使复杂问题转化为简单易解的基本问题，以便分而治之，各个击破，从而达到证明不等式的目的。例、n>2，且neN，求证：1+—+-HF—>n(nn+1-1)。23n证明：因为1+-+证明：因为1+-+1+…+-+n=(1+1)+-+1+-+1+23n3丿"11+Jkn丿所以，1+1+1+…+->n(nn+1-1)。23n2．1．10利用已知的不等式证明[1][16]已知不等式的运用，从学习过程和掌握知识的层次上看，可以分为五个层次：套着用凑着用、逆着用、变着用和横着用。每个公式均可作各种变化，为了能在更广阔的背景中运用公式，就需要对公式本身进行各种变形、产生各种不同形式的新公式，同时还应注意它在其它分科中的应用，开拓应用的范围。例：求证1.3.5(2n-1)<nn。证明：由a+b>2\ab(a,b>0)得ab<—(a+b)24两边分别相乘得到两边开方，得1・3・••・・(2n—1)<nn。注：这个例题的证明完全是借助于基本不等式a+b>2询的变形，同时利用了需证明不等式的左边任一乘积均能找到另一乘积项，两者之和为恒定常数。2．1．11利用坐标和解析性[4]通过直角坐标系建立平面上每个点与一对有序实数之间的一一对应关系，从而把曲线与方程联系起来的数的问题。例：设a,b,c为三角形的三边，S为面积，求证a2+b2+c2>4.3s证明：建立直角坐标系设A、B、C三点坐标分别为A(-m,0),B(m,0),C(p,q)，则三边的关系式为：a2+b2+c2=2p2+2q26m2而故不等式成立。2．1．12利用复数证明[4]

复数及其模的性质|z+z<z+zI可作为不等式证明的尝试。+\：'2sin.1「2121例：求证Jx2-4x+5+^'4-2x+x+\：'2sin明：qx从以上的证明来看，通过运用概率方法构造一个适当的概率事件去证明不等式，比运用代数方法证明要简单明了。此法无论是对初等数学还是对高等数学，都有一定的实用价值，它使数学的不同分支之间架起了桥梁。不过利用概率证明不等式要牵涉到比较多的数学知识，方法比较灵活。-4x+5+■<4—2x+x2=(x-2匕+1+、：(x-1匕+3令z=(x-2)+i,z=(1一x)+3i则从以上的证明来看，通过运用概率方法构造一个适当的概率事件去证明不等式，比运用代数方法证明要简单明了。此法无论是对初等数学还是对高等数学，都有一定的实用价值，它使数学的不同分支之间架起了桥梁。不过利用概率证明不等式要牵涉到比较多的数学知识，方法比较灵活。12|z+=|—1+4i\=VT7，|z|=^(x—2)2+1,|^|=J(x-1匕+32而|z+z<z+z，故原不等式成立。112122．1．13参数法[4][16]A原理：取参数时，使各未知量的数字部分取A与未知量个数的商-，而参数中全部字n母部分的和为零。例：若x+y+z=1,求证x2+y2+z2>*。证明：令x=1+1,y=1+1z=1+1，其中t,t,t为实数，且t+1+1=0贝U3132,33123123x2+y2+z2>，当x=y=z=时取等号。334+sin2x>2^~7~~>2sinx+—4+sin2x>2^~7~~>2sinx+—I4丿L2」]+V2si证明：设两独立事件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+cosx2sinx+—I2sinx+—I4丿.sinx>0,cosx>0则4+sin2x>2。2222222．1．14利用向量证明[12]目前大家主要重视向量与三角函数、平面几何、解析几何的“交汇”，而对向量证明代数不等式重视不够，缺少系统的研究。在此本人总结了3种常见的利用向量证明代数不等式的方法。1、利用向量的几何特征构建不等式关系：例1：设｛a例1：设｛a｝是由正数组成的等比数列,logS+logS0.5——n0.5——n+22S是其前n项和,n求证：>logS。0.5n+1分析：这是不等式证明中一个非常好的题，只要证明SS<S2。构造向量，用平nn+2n+1行四边形的几何特征来证明也是这道题的一个非常精彩的证明方法。证明：设向量OA=(a,a),OB=(qS,qS),OC=(a+qS,a+qS)=(S,S)(其12n+1n1n+11nn+2n+1中q为该等比数列的公比)，则OC二OA+OB，故O,A,C,B构成平行四边形。由于OA,OBSS既—<1。所以SS<S2oSSnn+2n+1n+SS既—<1。所以SS<S2oSSnn+2n+1n+1n+2k——1l<1=k，故k<k<1=kOCa+qSOAOBOCOA1n+12、用向量有效转化代数不等式：例2：已知-1<a<1,-1<b<1,求证1-ab分析：这是一道很有“活力”的不等式证明题。不过其证明有点复杂。=|yj，*1-a2—x・x证明：不等式条件可加强为：0<a设x=(1,a),x=(1,-a=|yj，*1-a2—x・x1211-b2—y•y,ab—xy。1212设x与x轴的夹角为1H,y与x轴的夹角为H，则有0<H设x与x轴的夹角为1112124x・x—x122cos2H,y•y—|yI2cos2H,x•y1121V212—xycos(H+H)o121+1-a21-b2lx11+—|2cos2H|y|21cos2H22cos2H+y2cos2H1—捏lxJ2|yjcos2H1cos2H1111-ab故只要证明：x

-1-x12cos2H+1yy2cos2Hcos2H1一xycos1-2(H+H)1200即证明：x2cos2H+y2cos2H>11112yIcos2Hcos2Hcos(H+H)12yJcos2Hcos2H112因为|x|2cos2H+|y|2cos2H>yJcos2Hcos2H112丄匚厂^、十十ih.i2|xycos2Hcos2H12cos(H+H)―12故只要证明：2|x||y|Jcos2Hcos2H>一1z1一；即证明：cos12cos(H+H)―1212y12即证明：cos2(H+H)>cos2Hcos2H1212即证明：1+cos(2H+2H)>cos2Hcos2H1212即证明：1+cos(2H+2H)—sin2Hsin2H>cos2Hcos2H1212123、利用向量的数量积公式建不等关系证题：例3：若x,yeR+，求证(x+y)证明：令a=Cx，弋y),b证明：令a=Cx，弋y),b，贝卩a2・b2=a|b2=(x+y)•(a・b匕==(1+1匕=4由a2・b2>(a・b匕得(x+y)1+1]>4Ixy丿x是E的一个聚点，若>0当0<|x-x<q,xeE时,0102．2高等数学中不等式的证明2．2．1函数上、下极限的不等式原理：设fx是E的一个聚点，若>0当0<|x-x<q,xeE时,010limf(x)<limg(x),limf(x)<limg(x)。xTx0xTx0xTx0xTx0例：设f(x),g(x)在E上有意义，x是E的一个聚点，则：0limf(x)+limg(x)<lim(f(x)+g(x))<limf(x)+limg(x)。xTx0xTx0时，有:证明：VQ>0,VxeE,0<时，有:|<a的范inff(x)+infg(x)<f(x)+g(x)<supf(x)+g(x)(其中确界是在xeE,0<x-|<a的范围里取的，下同）所以：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)最后令at0+，取极限，即得：limf(x)+limg(x)<lim(f(x)+g(x))<limf(x)+limg(x)。TOC\o"1-5"\h\zK冷00xTx0中0注：此例中的等号也可以不发生。例如：对f(x)={g(x)0,当x为无理数1,当x为无理数limf(x)+limg(x)=0<lim(f(x)+g(x))<limf(x)+limg(x)=2x>0x>0x>0xt0x>02.2由Cauchy不等式证明原理：若函数f(x),g(x)在(a,b)皆可积，贝(Jbxf(x)dx・g(x)dx><(Jbf2(x)dx)(Jbg2(x)dx)，称上式为Cauchy不等式。aaa40例：设函数f(x)在(0,1)上导数连续，f(0)=f(1)=0,证明：J1f2(x)dx<1Ji(f(x)》40证明：・・・f(0)=0,Jx12dxjx(f(x)》dx<xji(f(x)》dx(A)000又・・・f(1)=0,Ji12dxji(Jxf(x))2dx<(1—x)ji(f(x)ldx(B)xx00由0)和(B)得：即，Jif2(x)dx<打i(f(x))fdx0402.3由Taylor公式及余项证明利用Taylor利用Taylor公式可例：设f(x)是(0,a)上的非负函数，f"(x)>0,a>0证明：J-f(x)dx>af-。两边取从0到a的积分,证明：对f(x)在x0=两边取从0到a的积分,厂a'+f'厂a、f、ax一一+1f-(g)(、ax一一k2丿k2丿k2丿2!k2丿2得：f(x)=f(xJf)—］即Jaf(x)dx>afak2

2．2．4由积分性质证明原理：利用下列两条定积分的性质可证明定积分不等式。(1)若在(a,b)上，f(x)ng(x),则bf(x)dx>\bg(x)dx；(2)M和m为f(x)在(a,b)aa上最大值和最小值，则m(b-a)<fbf(x)dx<M(b-a)。a例1：例1：当n>2时，证明1<2dx<16证明：(1证明：(1)xg0,—,n>2,xn<x2有I2丿取从0到2的积分’得例2：证明2例2：证明2<f2ex2-xdx<2e2。0M=M=f(2)=e2，最小值m=f—=，则m(2-0)<f2ex2-xdx<M(2-0)4e0证明；设f(x)=ex2-x，则f'(x)=(2x=1)ex2-x若令f'(x)=0，则得到x=为驻有2f(x)=e1-2二丄de・.・xg(0,2),f(0)=1,f(2)=ef(x)=e1-2二丄de2即——<f2ex2-xdx<2e2。4‘e02．2．5由积分中值定理证明原理：f(x)在(a,b)上连续，则至少存在一点gG(a,b)，使fbf(x)dx=f(g)(b-a)。a例1：设函数f(x)在(0,1)连续且单减，证明当0<九<1时，f九f(x)dx>Xfif(x)dx。00证明：f九f(x)dx-Xf1f(x)dx=hf(x)dx-Xfxf(x)dx-Xf1f(x)dx0000九=(1-九)九・f(g)-M-Jf(g)其中(/r