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