明：所 不 形为： ≤2．这 为是
A( ， )到 的 ．
但因( ) ＋( ) = 4，故点A在圆x ＋y = 4 (x＞0，y＞0)上．
如图所示，AD⊥BC，半径AO＞AD，即有： ≤2，
所以 ＋ ≤2 ．
（十七）构造方程法
例题18 ： 已 实 , , ，满足 + + = 0和 = 2，
求 ： , , 中 少有一 不 于2
（十五）构造向量法
构造向量法主要是不等式与向量形式之间的相互转换，利用 · ≤| |·| |，
证 些具 积结 数的不 命题．
例题16 ： 设a、b∈R ，且a＋b =1，求证：(a＋2) ＋(b＋2) ≥ ．
明：构 向 = ( ＋2， ＋2)， = ( ， )．设 和 的夹 为 ， 中0≤ ≤ ．
为| | = ，| | = ， 以 · = | |·| |cos = · ·cos ；
明 形 不 式，可用拉 日中 理法法.
例25： 证明，当 ＞0时，有 ＞ .
通过简单命 的成立，利用不 式性质，将简单不 式合成复杂不 式而证明结
论的过程就是迭合法.
例题6：已知： ， ，求证：
.
证明 ： 因为 ，
所以 ， ，
由柯西不等式
所以原不等式获证.
（六）放缩法
法是依 不 式的性 而衍生得到的一种方 ，利 一些 名的不
寻找中间量，又或者是别的方法，但最重要的是可以丢弃某些不重要的部分，得到所要
加数学认知能力.进而使不等式证明方法变的更加的多样化，研究不等式证明、探索
不 式的 明使不 式证明更加完善.
一、常用方法
（一）比较法
1.作差法
个实 和 的大 ，可由 的正负 较判 .
； ; .
例题1： 若两个角0<α< ，0<β< ，求证：
sin（α+β）<sinα+sinβ.
证：sin（α+β）-(sinα+sinβ)=sinα·cosβ+cosαsinβ-sinα-sinβ
.
上述 个不 相 乘，
.
故原不等式成立
（八）换元法
在 不 证 程中，通过变量代换，可以使不 式 明过程更加简单，
择 当的辅助未知 ，代替原方 的部分 子，而 明命 .
例题9 ： 已知 ， ， 是小于1的正数，求证：
证明：设 ， ， ，
由假设可知， ， ，
通分后以 为分母时，则，
分子
=
又
因为是的优函数，所以将、除以正数 得
另一方面， · = (a＋2)·1＋(b＋2)·1 = a＋b＋4 = 5，而0≤|cos |≤1，
所以 · ≥5，从而(a＋2) ＋(b＋2) ≥ ．
（十六）构造几何不 式
将不 式两 与 形 立联 ，则可以化 为 ，利 像的 质， 决不
式的方法就是构造几何不 式．
例题17：设a＞0，b＞0，a＋b = 1，求证： ＋ ≤2 ．
著证明的结论命题.
例题7 求证： .
证明：当 时， ，从而有
故
所以原不等式获证.
（七）数学归纳法
学归纳 是在 明含 的不 式， 否在 立的 件下，
明 时 立.（ 一个 时不 命 立）
证明8： 求证：
.（ 是正整数）
证明： 左边和右边都有 个因数， 当 的时候，
， ，
. . . . . . . . . . . . . . . . . . . . . . .
所以原不等式得证
（二）单调函数法
当 属于定义域，有 ，则（ ） ；若 ，则
.若要证明 ，只须要证 及
.
例题22：设 ，且 ，试证：
证明：令 ，
分子 ，对 求导得 ，
分 来讨论：
（1）当 时， ，因此 单调递增.
由 ，故 ，分母 ，所以
即原不等式成立.
（2）当 时， ，因此 单调递减.
由 ， ， ，故知 ，
均值 、柯西 等.进而使 证明方法变的更加的多样化，研究
证明、探索 的证明使 证明更加完善.
【关键词】：不等式，常用方法，函数，著名不等式
Methodand application of several simple proof of inequality
Abstract
We are in the proces of learning mathamatics, inequallty is very importent which method Inequality Inequality Basic theory is very importent paper sumnarizes the common methods section proves inequallty: for differemce method, analysis, For Law, and Inequality synthesis method, contradiction, mathematical inductian, scaling methed often benefit With function extreme, Lagrange mean value theoren, as well as same well-knawn inequallties, such as: mean inequality, Ceuchy inequallty, eta. and thus make inequality proof becames more divorse, researah inequallty praved prabe Proof cable inequality makes inequality proved to be more perfect.
（十一）判别式法
习一 二次方 时， 以用 别 来 断有无实 ，而 些 殊 目中，
可以通过 别式 明所要 明的命 .
例题 12A、B、C为 的内角， 、 、 为任意实数，求证： .
明：构 函 ，判 式法令
为开 上的 线
无论y、z 值， 所以 所以， 真
（十二）等式法
由学过的公式、定理，巧妙的变形为一些不等式，而证明命题的方法.
即， .
（九）增量代换法
增 换法就是 明不 时，通过增加一个中间量而使在计算的过程中减
少运算量的方法在证明比较复杂的不等式时经常使用的手法．
例题10 ：已知a，b R，且a＋b = 1，求证：(a＋2) ＋(b＋2) ≥ ．
明： 为 ， R，且 ＋ = 1，∴设 = ＋ ， = － ， ( R)
( ＋2) ＋( ＋2) = ( ＋ ＋2) ＋( － ＋2) = ( ＋ ) ＋( － ) = 2 ＋ ≥ ．
同理可知
. . . . . . . . . . . . . . . . . . . .
.
因为 ， ，……， 都是正数，根据性质
把不 的两 乘，得
.
因为在 的时候， 取等号，所以原式只在
的时候取等号.
（四）反证法
反正法就是要证明与命题相对立的结论，可 先假 一 误的 论，应用所
学的知识 明出假设 误.
所 (a＋2) ＋(b＋2) ≥ ．
（十）三角代换法
例题11 ： 解不 ＞
解：因为 =6，故可令 = sin ， ＝ cos ， ∈［0， ］
则原不 化为 － ＞ 以 ＞ +
由 ∈［0， ］知 + cos ＞0，将上 两边平方并 理，得
48 cos2 +4 cos －23＜0
解得0≤ ＜ 所以x＝6 －1＜ ，且x≥－1，故原不 的 是｛x|-1≤x＜ .
所以sin（α+β）<sinα+sinβ.
2.作商法
作商法 明不 式时， ， ，如果 时，则a<b；如果 >1时；则a>b；如果 =1时，则a=b.
例题2 设a，b，c ，求证：
证：作商：
当a = b时，
当a > b > 0时，
当b > a > 0时，
故得 即 （剩余同理可证）
（二）分析法
在证不等式题的过程中分析法是从结论入手，一步步的向上推导，探索下去，
所以原不等式成立.
综合（1）（2）即得结论成立.
（三）泰勒公式法
定义若函数 在 存在 阶导数，则 ，有
称为函数 在 （展开）的泰勒公式.
其中，
例题23证明：若函数 在 上有 阶导数，且
，
则存在 ，有
证明：将函数 在点 和点 分别展开，即 ，有
由 知 件，令 ，则 别
， ，
， ，
以上两式相减，有
或
，
令 ，则有
例题 13： 为 的三边长，求证：
.
证明 由海伦公式 ，其中 .
两 方，移 理得
而 ,
所以 .
（十三）分解法
把复 题转化为简 解的基本命题，而一一解决，各个击破，而去证明不等式.
例题14 ： ，且 ，求证： .
证明： 因为
.
所以 .
（十四）构 数法
例题15： 0≤ 、 、 ≤2，求证：4 ＋ ＋ ＋ ≥2 ＋2 ＋2 ．
本科毕业论文
不等式的几种证明方法及简单应用
姓 名
院系
数学
专业
数学
班级
学号
指导教师
答辩日期
成绩
摘要
我们在 的 习过 中,不 式很 要. 其中不 式的 明方法在不
式 中非常 .文中 结了 分证明不 式的常用方法：作差法、
分析法、 、 、 、数学归 法、放 法等，和不 式的
明经常会利用函数极值、 中值定理等，以及部分 不等式， 比如：
=sinα（cosβ-1)+sinβ(cosα-1).