dt t f b dt t f a a F b F 0
0)()(,0)()(()??-≤-b
a b a dx x a
b dx x f a b )(1)(1??()n f f f n
f f f nn
n n nn
n n
)
()()(2121????+++≤+++ ()??-≤-b a b a dx x f a b dx x f a b .))((1)(1??
3.3 含微分符号的不等式的证明
例17 设二次函数,)(2cx bx s x H ++=并知,321)2(,)(,)0(H t H H t H H H === 其中t 为定值.试证 函数)(x H 在某一点0x 处取极小值的条件是：
2132H H H >+.
证 令),()()(x H t x H x F -+=则由拉格朗日中值定理，则
.2)0()(213H H H F t F -+=-
再由拉格朗日中值定理，有
t F F t F )(')0()(ξ=-
[]t H t H )(')('ξξ-+= 222)(''ct t H =+=ηξ
其中.0,0t t <<<<ηξ由此可知，
)(,02213x H c H H H ?>?>+在某一点0x 取极小值（因为)(x H 是二次函数，,0>c 必有极小值）.
例18 设)(x f 定义在[],,0c )('x f 存在且单调下降，0)0(=f ，证明：对于
c b a b a ≤+≤≤≤0，
恒有
).()()(b f a f b a f +≤+
证 当0=a 时，结论是显然成立的.
当0≠a （即0>a ）时，)(x f 分别对[][]b a b a +,,,0应用拉格朗日中值定理，则存在1ξ),(),,0(2b a b a +∈∈ξ使得
因为)('x f 单调下降，所以)(')('21ξξf f ≥.则 所以
).()()(b f a f b a f +≤+
构造辅助函数，除了要具有很强的对应性外，还必须依据高等数学中相关的定理，特别是微积分的相关定理。要学会分析题目中所给出的条件，找出隐藏的特点，才能逐步掌握辅助函数的构造方法。
,
)
(0)0()()('1a
a f a f a f f =--=
ξa
b f b a f b b a b f b a f f )()()()()()('2-+=
-+-+=
ξ,)()()(a
b f b a f a a f -+≥
第四章总结
在学习数学的过程中，我们会不断地遇到各种各样的难题，但是经验告诉我们，只要掌握了数学思想方法的精髓所在，难题就可以变得十分简单。不等式证明过程中涉及的技巧很多，需要我们在遇到时慢慢积累，形成一定的思路，将思路转化为数学的思维，并且灵活运用，这样难题就不再困难。
本文讲到的不等式证明中辅助函数的构造方法与技巧对我们的要求是会将问题归类，并且学会将问题转化，将抽象复杂的转化为具体简单的。方法与技巧就是开启数学大门的钥匙，如果你想真正进入到数学的世界，那么你一定得先获得钥匙，它会出现在我们探索数学知识的途中，只要你用心领会，就一定会发现。
当今社会的变化日新月异，对人才的要求愈加严格，这对我们是一个很大的挑战，需要我们将学到的知识活学活用，要善于总结规律和灵活转化，只有这样，专业知识的学习对于即将走向社会的我们才会大有裨益，如果只是死记硬背公式定理不去理解运用，那么它于我们只不过是大脑的匆匆过客，不会留下一丝痕迹，更不用说让我们依靠它拼出自己的美好未来了。会学习，是我们一定要弄懂的课题。
参考文献
[1] 陈传璋，金福临，朱学炎，欧阳光中. 数学分析[M].上海：高等教育出版社，1988,13-26.
[2] 江泽坚，吴智泉，周光亚. 数学分析[M]. 北京：人民教育出版社，1978,14-16.
[3] 吴振廷. 简明微积分研究[M]. 北京：地质出版社，1984,11-12.
[4] 李静. 高等数学解题指导——概念、方法与技巧[M]. 北京：北京大学出版社，2003,12-14.
[5] 刘玉莲，傅沛仁. 数学分析讲义[M]. 北京：高等教育出版社，1997,10-12.
[6] 李新. 不等式证明举例[J]. 数学通报,1998,3（5）：10-12.
[7] 刘玉璞. 几种不等式的证明[J]. 高等数学研究，1999,4（3）:28-29.
高中不等式的证明方法
不等式的证明方法 不等式的证明是高中数学的一个难点，证明方法多种多样，近几年高考出现较为形式较为活跃，证明中经常需与函数、数列的知识综合应用，灵活的掌握运用各种方法是学好这部分知识的一个前提，下面我们将证明中常见的几种方法作一列举。 注意ab b a 22 2 ≥+的变式应用。常用2 222b a b a +≥ + (其中+ ∈R b a ,)来解决有关根式不等式的问题。 一、比较法 比较法是证明不等式最基本的方法，有做差比较和作商比较两种基本途径。 1、已知a,b,c 均为正数，求证： a c c b b a c b a ++ +++≥++1 11212121 证明：∵a,b 均为正数， ∴ 0) (4)(44)()(14141)(2 ≥+=+-+++=+-+-b a ab b a ab ab b a a b a b b a b a b a 同理 0)(41 4141)(2 ≥+= +-+-c b bc c b c b c b ，0) (414141)(2 ≥+=+-+-c a ac a c a c a c 三式相加，可得 01 11212121≥+-+-+-++a c c b b a c b a ∴a c c b b a c b a ++ +++≥++111212121 二、综合法 综合法是依据题设条件与基本不等式的性质等，运用不等式的变换，从已知条件推出所要证明的结论。 2、a 、b 、),0(∞+∈c ，1=++c b a ，求证： 31222≥ ++c b a 证：2 222)(1)(3c b a c b a ++=≥++?∴ 2222)()(3c b a c b a ++-++0 )()()(222222222222≥-+-+-=---++=a c c b b a ca bc ab c b a 3、设a 、b 、c 是互不相等的正数，求证：)(4 4 4 c b a abc c b a ++>++ 证 ： ∵ 2 2442b a b a >+ 2 2442c b c b >+ 2 2442a c a c >+∴ 222222444a c c b b a c b a ++>++ ∵ c ab c b b a c b b a 2 2222222222=?>+同理：a bc a c c b 222222>+ b ca b a a c 222222>+ ∴ )(222222c b a abc a c c b b a ++>++ 4、 知a,b,c R ∈，求证: )(22 2 2 2 2 2 c b a a c c b b a ++≥++ ++ + 证明：∵ ) (2 2 2 2 2 2 2 2)(22b a b a b a b a ab ab +≥++≥+∴≥+
34用构造局部不等式法证明不等式
用构造局部不等式法证明不等式 有些不等式的证明，若从整体上考虑难以下手，可构造若干个结构完全相同的局部不等式，逐一证明后，再利用同向不等式相加的性质，即可得证。 例1. 若a b R ，∈*，a b +=2，求证：212123a b +++≤ 分析：由a ，b 在已知条件中的对称性可知，只有当a b ==1，即213a +=时，等号才能成立，所以可构造局部不等式。 证明：213321333213233 2a a a a +=+≤++=+···()() 同理，2133 2b b +≤+() ∴212133233223a b a b +++≤ +++=()() 例2. 设x x x n 12，，…，是n 个正数，求证：x x x x x x x x x x n n n 1222231221 12++++≥+-… ++…x n 。 证明：题中这些正数的对称性，只有当x x x n 12===…时，等号才成立，构造局部不等式如下： x x x x x x x x x x x x x x x x n n n n n n 122212233212121 12222+≥+≥+≥+≥--，，…，，。 将上述n 个同向不等式相加，并整理得： x x x x x x x x x x x n n n n 1222231221 12++++≥+++-……。 例3. 已知a a a n 12，，…，均为正数，且a a a n 121+++=…，求证： a a a a a a a a a n n 121222232112 ++++++≥…。 证明：因a a a n 12，，…，均为正数，故a a a a a a 12121214 +++≥，
证明不等式的几种方法
证明不等式的几种方法 淮安市吴承恩中学 严永飞 223200 摘要：不等式证明是中学数学的重要内容,证明方法多种多样.通常所用的公式法、放缩法只能解决一些较简单的问题,对于较难的问题则束手无策.本文给出了几种特殊方法.如倒数变换法、构建模型法、逆用等比数列求和公式等方法,使解题容易,新颖独特. 关键词：不等式，公式法，构建模型法 前言 证明不等式是中学数学的重要内容之一,内容抽象，难懂，证明方法更是变化多端.通常所用的一些方法如公式法、放缩法只能解决一些较简单的问题,较难的问题则无法解决.本文给出了几种特殊方法.如倒数变换法、构建模型法、逆用等比数列求和公式等方法. 这里所举的几种证明不等式的特殊方法看似巧妙,但如果认真思考,广泛联系,学以致用,一定能使问题得到很好的解决. 1 运用倒数变换证明不等式 这里所说倒数变换是根据具体的题目要求把不等式的部分进行倒数变换，通过化简后使不等式变得简单，更好更快的解决证明问题. 例1 设+∈R z y x ,,,且xyz =1 求证：)(13z y x ++)(13z x y ++)(13y x z +≥2 3 分析 如果先通分再去分母，则不等式将变得很复杂. 令A x =-1,B y =-1 ,C z =-1 ,则+∈R C B A ,,且1=ABC . 欲证不等式可化为 C B A +2+A C B +2+B A C +2≥23（*） 事实上,a 2+22b λ≥ab λ2 (+∈R b a ,,λ), 而当b >0时, a 2/b ≥b a 22λλ-. （*）式左边≥A λ2-2λ(C B +)+ B λ2-2λ(C A +)+C λ2-2λ(A B +) = λ2(λ-1)(C B A ++) ≥λ6(λ-1)3ABC = λ6(λ-1). 令λ=21时,C B A +2+A C B +2+ B A C +2 ≥6×21×(1-21)=23 得证. (这里用到二元平均不等式的变形和三元平均不等式.) 例 2 已知z y x ,,>0,n 为大于1的正整数，且n n x x +1+n n y y +1+n n z z +1=1 求证：n x x +1+n y y +1+n z z +1≤n n 12-
构造函数法解不等式问题(学生版)
专题2.3构造函数法解不等式问题（小题） 在函数中解决抽象函数问题首要的前提是对函数四种基本性质的熟练掌握，导数是函数单调性的延伸，如果把题目中直接给出的增减性换成一个'()f x ，则单调性就变的相当隐晦了，另外在导数中的抽象函数不等式问题中，我们要研究的往往不是()f x 本身的单调性，而是包含()f x 的一个新函数的单调性，因此构造函数变的相当重要，另外题目中若给出的是'()f x 的形式，则我们要构造的则是一个包含()f x 的新函数，因为只有这个新函数求导之后才会出现'()f x ，因此解决导数抽象函数不等式的重中之重是构造函数。 例如：'()0f x >，则我们知道原函数()f x 是单调递增的，若'()10f x +>，我们知道()()g x f x x =+这个函数是单调递增的，因此构造函数的过程有点类似于积分求原函数的过程，只不过构造出的新函数要通过题目中给出的条件能判断出单调性才可。 既然是找原函数，那么就可能遇上找不到式子的原函数的时候，但是我们判断单调性只需要判断导函数的正负即可，例如()g x 的原函数是不能准确的找到的，但是如果我们知道一个式子的导函数里面包含()g x ，则也能大致将那个函数看成是原函数，例如'()()g x m x x =，或者()m x 的导函数中包含一个能判断符号的式子和()g x 相乘或相除的形式，我们也可以将()m x 大致看成()g x 的原函数。构造函数模型总结： 关系式为“加”型： （1）'()()0f x f x +≥构造''[()][()()] x x e f x e f x f x =+（2）'()()0xf x f x +≥构造''[()]()() xf x xf x f x =+（3）'()()0xf x nf x +≥构造''11'[()]()()[()()] n n n n x f x x f x nx f x x xf x nf x --=+=+（注意对x 的符号进行讨论） 关系式为“减”型
构造函数法证明导数不等式的八种方法Word版
构造函数法证明不等式的八种方法 1、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。 2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。 以下介绍构造函数法证明不等式的八种方法： 一、移项法构造函数 【例1】 已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有x x x ≤+≤+-)1ln(1 11 分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数 11 1)1ln()(-++ +=x x x g ，从其导数入手即可证明。 【解】1111)(+-=-+='x x x x f ∴当01<< -x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数 当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数 故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞ 于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ， 即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-++ +=x x x g ， 22)1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ， 即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数， 故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ， ∴当1->x 时，0)0()(=≥g x g ，即0111)1ln(≥-++ +x x ∴111) 1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(11 1,1有时 【警示启迪】如果()f a 是函数()f x 在区间上的最大（小）值，则有()f x ≤()f a （或()f x ≥()f a ），那么要 证不等式，只要求函数的最大值不超过0就可得证． 2、作差法构造函数证明 【例2】已知函数.ln 2 1)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方； 分析：函数)(x f 的图象在函数)(x g 的图象的下方)()(x g x f =F
高中数学不等式的几种常见证明方法(县二等奖)
高中数学不等式的几种常见证明方法 摘 要：不等式是中学数学的重要知识，考察学生对不等式理论熟练掌握的程度也是衡量学生数学水平的重要方面，同时，不等式也是高中数学的基础，因此，在每年的数学高考题中，有关不等式的相关题目都有所出现，本文介绍了几种不等式的证明方法，并举例进一步加强对各种不等式的理解. 关键字：不等式；数学归纳法；均值；柯西不等式 一、比较法 所谓比较法，就是通过两个实数a 与b 的差或商的符号（范围）确定a 与b 大小关系的方法，即通过“0a b ->，0a b -=，0a b -<；或1a b >，1a b =，1a b <”来确定a ，b 大小关系的方法，前者为作差法，后者为作商法. 例 1 设,x y R ∈，求证：224224x y x y ++≥+. 证明： 224224x y x y ++-- ＝2221441x x y y -++-+ ＝22(1)(21)x y -+- 因为 2(1)0x -≥， 2(21)0y -≥ ∴ 22(1)(21)0x y -+-≥ ∴2242240x y x y ++--≥ ∴224224x y x y ++≥+ 例 2 已知：a ＞b ＞c ＞0, 求证：222a b c a b c ??＞b c a c b c a b c +++??. 证明：222a b c b c a c b c a b c a b c +++????＝222a b c b a c c b c a b c ------?? ＞222a b c b a c c b c c c c ------??
＝0c ＝1 222a b c b c a c b c a b c a b c +++??∴??＞1 ∴222a b c a b c ??＞b c a c b c a b c +++?? 二、分析法 分析法：从求证的不等式出发，分析这个不等式成立的充分条件，把证明这个不等式的问题转化为证明这些条件是否具备的问题，如果能够肯定这些条件都已具备，那么就可以判定所证的不等式成立. 例 3 求证3< 证明： 960+>> 5456<成立运用分析法时，需积累一些解题经验，总结一些常规思路，这样可以克服无目的的乱写，从而加强针对性，较快地探明解题的途径. 三、综合法 从已知或证明过的不等式出发，根据不等式的性质及公理推导出欲证的不等式，这种证明方法叫做综合法. 例 4 已知,a b R +∈，1a b +=，求证：221125()()2 a b a b +++≥ 证明：∵ 1a b += ∴ 1=22222()22()a b a b ab a b +=++≤+ ∴ 221 2 a b +≥
不等式证明的常用基本方法
证明不等式的基本方法 导学目标：1.了解证明不等式的基本方法：比较法、综合法、分析法、反证法、放缩法.2.会用比较法、综合法、分析法、反证法、放缩法证明比较简单的不等式． [自主梳理] 1.三个正数的算术—几何平均不等式：如果a ，b ，c>0，那么_________________________，当且仅当a ＝b ＝c 时等号成立． 2.基本不等式(基本不等式的推广)：对于n 个正数a 1，a 2，…，a n ，它们的算术平均不小于它们的几何平均，即a 1＋a 2＋…＋a n n ≥n a 1·a 2·…·a n ，当且仅当__________________时等号成立． 3.证明不等式的常用五种方法 (1)比较法：比较法是证明不等式最基本的方法，具体有作差比较和作商比较两种，其基本思想是______与0比较大小或______与1比较大小． (2)综合法：从已知条件出发，利用定义、______、______、性质等，经过一系列的推理、论证而得出命题成立，这种证明方法叫综合法．也叫顺推证法或由因导果法． (3)分析法：从要证明的结论出发，逐步寻求使它成立的________条件，直至所需条件为已知条件或一个明显成立的事实(定义 、公理或已证明的定理、性质等)，从而得出要证的命题成立为止，这种证明方法叫分析法．也叫逆推证法或执果索因法． (4)反证法 ①反证法的定义 先假设要证的命题不成立，以此为出发点，结合已知条件，应用公理、定义、定理、性质等，进行正确的推理，得到和命题的条件(或已证明的定理、性质、明显成立的事实等)矛盾的结论，以说明假设不正确，从而证明原命题成立，我们把它称为反证法． ②反证法的特点 先假设原命题不成立，再在正确的推理下得出矛盾，这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实等矛盾． (5)放缩法 ①定义：证明不等式时，通过把不等式中的某些部分的值________或________，简化不等式，从而达到证明的目的，我们把这种方法称为放缩法． ②思路：分析观察证明式的特点，适当放大或缩小是证题关键． 题型一 用比差法与比商法证明不等式 1.设t ＝a ＋2b ，s ＝a ＋b 2＋1，则s 与t 的大小关系是( A ) ≥t >t ≤t 0;②a 2+b 2≥2(a -b-1);③a 2+3ab>2b 2;④,其中所 有恒成立的不等式序号是 ② . ②【解析】①a=0时不成立;②∵a 2+b 2-2(a-b-1)=(a-1)2+(b+1)2≥0,成立;③a=b=0时不成立;④a=2,b=1时不成立,故恒成立的只有②.
【高考数学】构造函数法证明导数不等式的八种方法
第 1 页 共 6 页 构造函数法证明不等式的八种方法 1、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。 2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。 以下介绍构造函数法证明不等式的八种方法： 一、移项法构造函数 【例1】 已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有 x x x ≤+≤+-)1ln(1 11 分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数 11 1)1ln()(-++ +=x x x g ，从其导数入手即可证明。 【解】1111)(+-=-+='x x x x f ∴当01<<-x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数 当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数 故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞ 于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ，即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-+++=x x x g ， 22) 1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ， 即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数， 故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ， ∴当1->x 时，0)0()(=≥g x g ，即011 1)1ln(≥-++ +x x ∴111)1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(11 1,1有时 【警示启迪】如果()f a 是函数()f x 在区间上的最大（小）值，则有()f x ≤()f a （或()f x ≥()f a ）， 那么要证不等式，只要求函数的最大值不超过0就可得证． 2、作差法构造函数证明 【例2】已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数33 2)(x x g =的图象的下方；
证明不等式的种方法
证明不等式的13种方法 咸阳师范学院基础教育课程研究中心安振平 不等式证明无论在高考、竞赛，还是其它类型的考试里，出现频率都是比较高，证明难度也是比较大的.因此，有必要总结证明不等式的基本方法，为读者提供学习时的参考资料.笔者选题的标准是题目优美、简明，其证明方法基本并兼顾巧妙. 1．排序方法 对问题的里的变量不妨排出大小顺序，有时便于获得不等式的证明. 例1已知,,0a b c ≥，且1a b c ++=，求证： ()22229 1. a b c abc +++≥2．增量方法 在变量之间增设一个增量，通过增量换元的方法，便于问题的变形和处理.例2设,,a b c R + ∈，试证：2222 a b c a b c a b b c c a ++++≥+++.3．齐次化法 利用题设条件，或者其它变形手段，把原不等式转换为齐次不等式. 例3设,,0,1x y z x y z ≥++=，求证： 2222222221.16 x y y z z x x y z +++≤4．切线方法 通过研究函数在特殊点处的切线，利用切线段代替曲线段，来建立局部不等式.例4已知正数,,x y z 满足3x y z ++=，求证： 323235 x y +≤++.. 5．调整方法 局部固定，逐步调整，探究多元最值，便能获得不等式的证明. 例5已知,,a b c 为非负实数，且1a b c ++=，求证：13.4 ab bc ca abc ++-≤ 6．抽屉原理
在桌上有3个苹果，要把这3个苹果放到2个抽屉里，无论怎样放，我们会发现至少会有一个抽屉里面放2个苹果.这一简单的现象，就是人们所说的“抽屉原理”.巧用抽屉原理，证明某些不等式，能起到比较神奇的效果. 例6（《数学通报》2010年9期1872题）证明：在任意13个实数中，一定能找到两个实数,x y ，使得0.3.10.3x y x ->+7．坐标方法 构造点坐标，应用解析几何的知识和方法证明不等式. 例7已知a b c R ∈、、，a 、b 不全为零，求证： ()()()22 22222 22.a b ac a b bc a b c a b +++++≥+++8．复数方法 构造复数，应用复数模的性质，可以快速证明一些无理不等式. 例8（数学问题1613，2006，5）设,,,0,a b c R λ+ ∈≥求证：9．向量方法 构造向量，把不等式的证明纳入到向量的知识系统当中去. 例9已知正数,,a b c 满足1a b c ++=，求证： 4 ≤. 10．放缩方法 不等式的证明，关键在于恒等变形过程中的有效放大、或者缩小技巧,放和缩应当恰到好处. 例10已知数列{}n a 中，首项132 a = ，且对任意*1,n n N >∈，均有 11n n a a +=++()211332.42 n n n a -+<
构造函数法证明不等式的八种方法
构造函数法证明不等式的八种方法 利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。 解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。 1、从条件特征入手构造函数证明 【例1】若函数y =)(x f 在R 上可导且满足不等式x )(x f '>－)(x f 恒成立，且常数a ，b 满足a >b ， 求证：．a )(a f >b )(b f 【变式1】若函数y =)(x f 在R 上可导且满足不等式)(x f >)(x f '，且1)(-=x f y 为奇函数. 求不等式)(x f 2 x . 求不等式0)2(4)2015()2015(2 >--++f x f x 的解集. 2、移项法构造函数 【例2】已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有x x x ≤+≤+- )1ln(1 1 1 分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数11 1 )1ln()(-+++=x x x g ，从其导数入手即可证明。 3、作差法构造函数证明 【例3】已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数33 2 )(x x g =的图象的下方； 分析：函数)(x f 图象在函数)(x g 的图象的下方)()(x g x f + 都成立. 分析：本题是山东卷的第（II ）问，从所证结构出发，只需令 x n =1，则问题转化为：当0>x 时，恒有32)1ln(x x x ->+成立，现构造函数)1ln()(2 3 ++-=x x x x h ，求导即可达到证明。
证明不等式的几种常用方法
证明不等式的几种常用方法 证明不等式除了教材中介绍的三种常用方法，即比较法、综合法和分析法外，在不等式证明中，不仅要用比较法、综合法和分析法，根据有些不等式的结构，恰当地运用反证法、换元法或放缩法还可以化难为易．下面几种方法在证明不等式时也经常使用． 一、反证法 如果从正面直接证明，有些问题确实相当困难，容易陷入多个元素的重围之中，而难以自拔，此时可考虑用间接法予以证明，反证法就是间接法的一种．这就是最“没办法”的时候往往又“最有办法”，所谓的“正难则反”就是这个道理． 反证法是利用互为逆否的命题具有等价性来进行证明的，在使用反证法时，必须在假设中罗列出各种与原命题相异的结论，缺少任何一种可能，则反证法都是不完全的． 用反证法证题的实质就是从否定结论入手，经过一系列的逻辑推理，导出矛盾，从而说明原结论正确．例如要证明不等式A＞B，先假设A≤B，然后根据题设及不等式的性质，推出矛盾，从而否定假设，即A≤B不成立，而肯定A＞B成立．对于要证明的结论中含有“至多”、“至少”、“均是”、“不都”、“任何”、“唯一”等特征字眼的不等式，若正面难以找到解题的突破口，可转换视角，用反证法往往立见奇效． 例1 设a、b、c、d均为正数，求证：下列三个不等式：①a＋b＜c＋d； ②(a＋b)(c＋d)＜ab＋cd；③(a＋b)cd＜ab(c＋d)中至少有一个不正确． 反证法：假设不等式①、②、③都成立，因为a、b、c、d都是正数，所以
不等式①与不等式②相乘，得：(a ＋b)2＜ab ＋cd ，④ 由不等式③得(a ＋b)cd ＜ab(c ＋d)≤( 2 b a +)2 ·(c ＋d)， ∵a ＋b ＞0，∴4cd ＜(a ＋b)(c ＋d)， 综合不等式②，得4cd ＜ab ＋cd ， ∴3cd ＜ab ，即cd ＜31 ab ． 由不等式④，得(a ＋b)2＜ab ＋cd ＜ 34ab ，即a 2＋b 2＜－3 2 ab ，显然矛盾． ∴不等式①、②、③中至少有一个不正确． 例2 已知a ＋b ＋c ＞0，ab ＋bc ＋ca ＞0，abc ＞0，求证：a ＞0，b ＞0， c ＞0． 证明：反证法 由abc ＞0知a ≠0，假设a ＜0，则bc ＜0， 又∵a ＋b ＋c ＞0，∴b ＋c ＞－a ＞0，即a(b ＋c)＜0， 从而ab ＋bc ＋ca = a(b ＋c)＋bc ＜0，与已知矛盾． ∴假设不成立，从而a ＞0， 同理可证b ＞0，c ＞0． 例3 若p ＞0，q ＞0，p 3＋q 3= 2，求证：p ＋q ≤2． 证明：反证法 假设p ＋q ＞2，则(p ＋q)3＞8，即p 3＋q 3＋3pq (p ＋q)＞8， ∵p 3＋q 3= 2，∴pq (p ＋q)＞2． 故pq (p ＋q)＞2 = p 3＋q 3= (p ＋q)( p 2－pq ＋q 2)， 又p ＞0，q ＞0 ? p ＋q ＞0， ∴pq ＞p 2－pq ＋q 2，即(p －q)2 ＜0，矛盾．
证明不等式的几种方法
昭通学院 学生毕业论文 论文题目证明不等式的几种方法 姓名 学号 201103010128 学院数学与统计学院 专业数学教育 指导教师 2014年3月6日
证明不等式的几种方法 摘 要：证明不等式就是要推出这个不等式对其中所有允许值都成立或推出数值不等式成立。本文主要归纳了几种不等式证明的常用方法。 关键词：不等式; 证明; 方法 1.引言 在定义域中恒成立的不等式叫做恒不等式，确认一个不等式为恒不等式的过程为对该不等式进行证明。证明不等式的主要方法是根据不等式的性质和已有的恒不等式进行合乎逻辑的等价变换。主要方法有：比较法、综合法、分析法、反证法、归纳法、放缩法、构造法、导数法、均值不等式性质证明不等式等方法。 2.不等式证明的常用方法 2.1 比较法 比较法是直接作出所证不等式，两边的差（或商）然后推演出结论的方法。具体地说欲证B A >)(B A <,直接将差式B A -与0比较大小；或若当+∈R B A ,时，直接将商式 B A 与1比较大小[]1。 差值比较法的理论依据是不等式的基本性质：“若0≥-b a ,则b a ≥;若0≤-b a ,则 b a ≤.”其一般步骤为： 1.作差：观察不等式左右两边构成的差式，将其看成一个整体。 2.变形：把不等式两边的差进行变形，或变形成一个常数，或为若干个因式的积，或一个或几个平方和。其中变形是求差法的关键，配方和因式分解是经常使用的方法。 3.判断：根据已知条件与上述变形结果判断不等式两边差的正负号，最后肯定所求不等式成立的结论。 应用范围：当被证的不等式两端是多项式，对于分式或对数式时，一般使用差值比较法。 商值比较法的理论依据是：“∈b a ,+R ，若b a 1≥则b a ≥;若b a 1≤则b a ≤.”其一 般步骤为： 1.作商：将左右两端作商。 2.变形：化简商式到最简形式。
用微积分理论证明不等式的方法
用微积分理论证明不等式的方法 高等数学中所涉及到的不等式，大致可分为两种:函数不等式(含变量)和数值不等式(不含变量)．对于前者，一般可直接或稍加变形构造一函数，从而可通过研究所构造函数的性质，进而证明不等式；对于后者，我们也可根据数值不等式的特点，巧妙的构造辅助函数，从而将数值不等式问题转化为函数的问题，研究方法正好与前者相似． 微积分是高等数学中的重要内容，以它为工具能较好的研究函数的形态，有些常规方法难于证明的不等式，若能根据不等式的结构特征，巧妙的构造函数，将不等式问题转化为函数的问题，利用微积分理论研究函数的性质，应用函数的性质证明不等式． 一、用导数定义证明不等式法 1．证明方法根据－导数定义 导数定义：设函数)(x f y =在点。0x 的某个邻域内有定义，若极限 x y x x x x x x f x f ??→?→=--lim lim 0) ()(0 存在，则称函数)(x f 在0x 可导，称这极限为函数)(x f y =在点0 x 的导数，记作)(0x f y '=． 2．证明方法： (1)找出0x ，使得)(0x f y '=恰为结论中不等式的一边；(2)利用导数的定义并结合已知条件去研究． 3．例 例1:设函数nx a x a x a x f n sin 2sin sin )(21+++= ，其中n a a a ,,21都为实数， n 为正整数，已知对于一切实数x ，有x x f sin )(≤，试证：1221≤+++n na a a ． 证 明 ： 因 nx na x a x a x f n cos 2cos 2cos )(21+++=' ．则 n na a a f +++=' 212)0(． 得：x x f x x f x f x f f x x x ) ()(lim 0)0()()0(lim lim 00 →→→==--= '．由于x x f sin )(≤． 所以1sin )0(lim =≤ '→x x f x ．即1221≤+++n na a a ． 4.适用范围 用导数定义证明不等式，此方法得适用范围不广，我们应仔细观察问题中的条件与结论之间的关系．有些不等式符合导数的定义，因此可利用导数的定义将其形式转化，以达到化繁为简的目的． 二．用可导函数的单调性证明不等式法
四种构造函数法证明不等式
四种构造函数法证明不等式 利用导数证明不等式，关键是要找出与待证不等式紧密联系的函数，然后以导数为工具来研究该函数的单调性、极值、最值(值域)，从而达到证明不等式的目的，这时常常需要构造辅助函数来解决．题目本身特点不同，所构造的函数可有多种形式，解题的繁简程度也因此而不同，如何恰当构造函数，往往成为解题的关键． 考点一“比较法”构造函数证明不等式 当试题中给出简单的基本初等函数，例如f(x)＝x3，g(x)＝ln x，进而证明在某个取值范围内不等式f(x)≥g(x)成立时，可以类比作差法，构造函数h(x)＝f(x)－g(x)或φ(x)＝g(x)－f(x)，进而证明h(x)min≥0或φ(x)max≤0即可，在求最值的过程中，可以利用导数为工具．此外，在能够说明g(x)＞0(f(x)＞0)的前提下，也可 以类比作商法，构造函数h(x)＝f(x) g(x)? ? ? ? ? φ(x)＝ g(x) f(x)，进而证明h(x)min≥1(φ(x)max≤1)． 【例题】已知函数f(x)＝e x－ax(e为自然对数的底数，a为常数)的图象在点(0,1)处的切线斜率为－1. (1)求a的值及函数f(x)的极值； (2)求证：当x＞0时，x2＜e x. 【解析】(1)由f(x)＝e x－ax，得f′(x)＝e x－a. 因为f′(0)＝1－a＝－1，所以a＝2， 所以f(x)＝e x－2x，f′(x)＝e x－2， 令f′(x)＝0，得x＝ln 2， 当x＜ln 2时，f′(x)＜0，f(x)单调递减； 当x＞ln 2时，f′(x)＞0，f(x)单调递增． 所以当x＝ln 2时，f(x)取得极小值，且极小值为f(ln 2)＝e ln 2－2ln 2＝2－2ln 2，f(x)无极大值． (2)证明：令g(x)＝e x－x2，则g′(x)＝e x－2x. 由(1)得g′(x)＝f(x)≥f(ln 2)＞0， 故g(x)在R上单调递增．
不等式证明的基本方法
不等式证明的基本方法 LELE was finally revised on the morning of December 16, 2020
绝对值的三角不等式；不等式证明的基本方法 一、教学目的 1、掌握绝对值的三角不等式； 2、掌握不等式证明的基本方法 二、知识分析 定理1 若a，b为实数，则，当且仅当ab≥0时，等号成立。 几何说明：（1）当ab>0时，它们落在原点的同一边，此时a与－b的距离等于它们到原点距离之和。 （2）如果ab<0，则a，b分别落在原点两边，a与－b的距离严格小于a与b到原点距离之和（下图为ab<0，a>0，b<0的情况，ab<0的其他情况可作类似解释）。 |a－b|表示a－b与原点的距离，也表示a到b之间的距离。 定理2 设a，b，c为实数，则，等号成立 ，即b落在a，c之间。 推论1 推论2 ［不等式证明的基本方法］
1、比较法是证明不等式的一种最基本的方法，也是一种常用的方法，基本不等式就是用比较法证得的。 比较法有差值、比值两种形式，但比值法必须考虑正负。 比较法证不等式有作差（商）、变形、判断三个步骤，变形的主要方向是因式分解、配方，判断过程必须详细叙述。 如果作差后的式子可以整理为关于某一个变量的二次式，则可考虑用到判别式法证。 2、所谓综合法，就是从题设条件和已经证明过的基本不等式出发，不断用必要条件替换前面的不等式，直至推出要证明的结论，可简称为“由因导果”，在使用综合法证明不等式时，要注意基本不等式的应用。 所谓分析法，就是从所要证明的不等式出发，不断地用充分条件替换前面的不等式，或者是显然成立的不等式，可简称“执果索因”，在使用分析法证明不等式时，习惯上用“”表述。 综合法和分析法是两种思路截然相反的证明方法，其中分析法既可以寻找解题思路，如果表述清楚，也是一个完整的证明过程．注意综合法与分析法的联合运用。 3、反证法：从否定结论出发，经过逻辑推理，导出矛盾，证实结论的否定是错误的，从而肯定原结论是正确的证明方法。 4、放缩法：欲证A≥B，可通过适当放大或缩小，借助一个或多个中间量， 使得，，再利用传递性，达到证明的目的．这种方法叫做放缩法。 【典型例题】 例1、已知函数，设a、b∈R，且a≠b，求证： 思路：本题证法较多，下面用分析法和放缩法给出两个证明： 证明： 证法一：
构造函数证明数列不等式
数列不等式求证 题目1：求证2 1+31+41+…+11+n <+<)1ln(n 1+21+31+41+…+n 1 题目2：求证<+) 1(2 n n n ln 4ln 3ln 2ln ?????? 题目3：求证 n n n 1 ln 44ln 33ln 22ln
构造函数法证特殊数列不等式 题目1：求证 2 1+31+41+…+11+n <+<)1ln(n 1+21+31+41+…+n 1 (一)构造函数①)0(1)1ln()(>+-+=x x x x x f 分析：2)1()1(11)(x x x x x f +-+-+= '=2 ) 1(x x +>0,函数)(x f 在(0,+∞)上单调递增。 所以当0>x 时，有)(x f >f(0)=0，即有)0(1)1ln(>+> +x x x x 因而有21111)111ln(=+> +,3121121 )211ln(=+>+,41 3 131)311ln(=+>+， (11) 111)11ln(+= +>+n n n n 故：)111ln(++)211ln(++)311ln(++……+)11ln(n +>21+31+41+……+11 +n 即>+)1ln(n 21+31+41+……+1 1 +n （二）构造函数②)0()1ln()(>-+=x x x x f 分析：111)(-+= 'x x f =x x +-1<0,函数)(x f 在(0,+∞)上单调递减。 所以当0>x 时，有)(x f <+x x x 因而有1)111ln(<+,21)2 11ln(<+,31)311ln(<+,……, n n 1 )11ln(<+ 故：)111ln(++)211ln(++)311ln(++……+)11ln(n +<1+21+31+41+……+n 1 即<+)1ln(n 1+21+31+41+……+n 1 综上有： 2 1+31+41+…+11+n <+<)1ln(n 1+21+31+41+…+n 1 小结：记住函数不等关系㈠x x +1<)0()1ln(><+x x x 题目2：求证 <+) 1(2 n n n ln 4ln 3ln 2ln ??????
用构造局部不等式法证明不等式
用构造局部不等式法证明不等式 有些不等式的证明，若从整体上考虑难以下手，可构造若干个结构完全相同的局部不等式，逐一证明后，再利用同向不等式相加的性质，即可得证。 例1. 若a b R ，∈*，a b +=2，求证：212123a b +++≤ 分析：由a ，b 在已知条件中的对称性可知，只有当a b ==1，即213a +=时，等号才能成立，所以可构造局部不等式。 证明：213321333213233 2a a a a +=+≤++=+···()() 同理，2133 2b b +≤+() ∴212133233223a b a b +++≤ +++=()() 例2. 设x x x n 12，，…，是n 个正数，求证：x x x x x x x x x x n n n 1222231221 12++++≥+-… ++…x n 。 证明：题中这些正数的对称性，只有当x x x n 12===…时，等号才成立，构造局部不等式如下： x x x x x x x x x x x x x x x x n n n n n n 122212233212121 12222+≥+≥+≥+≥--，，…，，。 将上述n 个同向不等式相加，并整理得： x x x x x x x x x x x n n n n 1222231221 12++++≥+++-……。 例3. 已知a a a n 12，，…，均为正数，且a a a n 121+++=…，求证： a a a a a a a a a n n 121222232112 ++++++≥…。
证明：因a a a n 12，，…，均为正数，故a a a a a a 12121214 +++≥， a a a a a a a a a a a a n n n n 222323221144 +++≥+++≥，…，。 又∵a a a a a a a a a n n 12231124441212 ++++++=+++=……()， ∴把以上各个同向不等式相加，整理得： a a a a a a a a a a a a n n n 12122223211212 1+++++++≥+++=…… 故a a a a a a a a a n n 121222232112 ++++++≥…。 例4. 设a b c R ，，∈*，且abc =1，求证： 111333a b c b c a c a b ()()()+++++≥32。 （第36届IMO ） 证明：由a ，b ，c 在条件中的对称性知，只有当a b c ===1时，才有可能达到最小值32，此时刚好1412 3a b c b c bc ()+=+=。所以，可构造如下局部不等式。 ∵14214133a b c b c bc a bc a ()+++≥=， 14214133b a c a c ac b ac b ()+++≥=， 14214133c a b a b ab c ab c ()+++≥=， ∴ 11111114333a b c b c a c a b a b c b c bc a c ac a b ab ()()()()()+++++≥++-+++++ =++≥=1211132132 3()a b c abc 例5. 设a b c R ，，∈*，且a b c ++=2，求证：a b c b c a c a b 222 1+++++≥。
