证明不等式的几种常用方法
证明不等式的几种常用方法证明不等式除了教材中介绍的三种常用方法，即比较法、综合法和分析法外，在不等式证明中，不仅要用比较法、综合法和分析法，根据有些不等式的结构，恰当地运用反证法、换元法或放缩法还可以化难为易．下面几种方法在证明不等式时也经常使用．一、反证法如果从正面直接证明，有些问题确实相当困难，容易陷入多个元素的重围之中，而难以自拔，此时可考虑用间接法予以证明，反证法就是间接法的一种．这就是最“没办法”的时候往往又“最有办法”，所谓的“正难则反”就是这个道理．反证法是利用互为逆否的命题具有等价性来进行证明的，在使用反证法时，必须在假设中罗列出各种与原命题相异的结论，缺少任何一种可能，则反证法都是不完全的．用反证法证题的实质就是从否定结论入手，经过一系列的逻辑推理，导出矛盾，从而说明原结论正确．例如要证明不等式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)≤(2b a )2·(c ＋d)， ∵a ＋b ＞0，∴4cd ＜(a ＋b)(c ＋d)，综合不等式②，得4cd ＜ab ＋cd ， ∴3cd ＜ab ，即cd ＜31ab ． 由不等式④，得(a ＋b)2＜ab ＋cd ＜34ab ，即a 2＋b 2＜－32ab ，显然矛盾．∴不等式①、②、③中至少有一个不正确．例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，矛盾．故假设p ＋q ＞2不成立，∴p ＋q ≤2．例4 已知)(x f = x 2＋ax ＋b ，其中a 、b 是与x 无关的常数，求证：|)1(f |，|)2(f |，|)3(f |中至少有一个数不小于21． 反证法一：假设|)1(f |＜21，|)2(f |＜21，|)3(f |＜21， 由于)1(f = 1＋a ＋b ，)2(f = 4＋2a ＋b ，)3(f = 9＋3a ＋b ，∴)1(f ＋)3(f －)2(f =2，但是，2 = |)1(f ＋)3(f －)2(f |≤|)1(f |＋|)3(f |＋2|)2(f |＜21＋21＋2×21= 2， 即2＜2，矛盾，∴假设不成立，∴|)1(f |，|)2(f |，|)3(f |中至少有一个数不小于21． 反证法二：假设|)1(f |＜21，|)2(f |＜21，|)3(f |＜21，即 ⎪⎪⎪⎩⎪⎪⎪⎨⎧<<<.21|)3(|,21|)2(|,21|)1(|f f f ⇒ ⎪⎪⎪⎩⎪⎪⎪⎨⎧<++<-<++<-<++<-③b a ②b a ①b a .219321,214221,21121 ①＋③得：－1＜4a ＋2b ＋10＜1，即－21＜2a ＋b ＋5＜21， ∴－23＜2a ＋b ＋4＜－21，④ 显然②与④矛盾，因此，假设是不成立的， 故|)1(f |，|)2(f |，|)3(f |中至少有一个数不小于21． 例4 设a ，b ，c 均为小于1的正数，求证：(1－a)b ，(1－b)c ，(1－c)a 不能同时大于41． 证明：反证法假设(1－a)b ，(1－b)c ，(1－c)a 同时大于41，即(1－a)b ＞41，(1－b)c ＞41，(1－c)a ＞41， 则由41＜(1－a)b ≤(21b a +-)2⇒21b a +-＞21， 同理：21c b +-＞21，21a c +-＞21， 三个同向不等式两边分别相加，得23＞23，矛盾，所以假设不成立， ∴原结论成立．例6 若0＜a ＜2，0＜b ＜2，0＜c ＜2，求证：(2－a)b ，(2－b)c ，(2－c)a不能同时大于1．证明：反证法假设⎪⎩⎪⎨⎧>->->-.1)2(,1)2(,1)2(a c c b b a 那么2)2(b a +-≥b a )2(-＞1，① 同理2)2(c b +-＞1，② 2)2(a c +-＞1，③ ①＋②＋③，得3＞3矛盾，即假设不成立，故(2－a)b ，(2－b)c ，(2－c)a 不能同时大于1．二、三角换元法对于条件不等式的证明问题，当所给条件较复杂，一个变量不易用另一个变量表示，这时可考虑用三角代换，将复杂的代数问题转化为三角问题．若变量字母x 的取值围与sin θ或cos θ的变化围相同，故可采用三角换元，把所要证的不等式转换为求三角函数的值域而获证．一般地，题设中有形如x 2＋y 2≤r 2，22a x ＋22b y = 1或22a x －22b y = 1的条件可以分别引入三角代换⎩⎨⎧==θθsin cos r y r x (| r |≤1)，⎩⎨⎧==θθsin cos b y a x 或⎩⎨⎧==θθtan sec b y a x ，其中θ的取值围取决于x ，y 的取值围，凡不能用重要不等式证明的问题时，一般可以优先考虑换元(代数换元或三角换元)，然后利用函数的单调性最终把问题解决．在三角换元中，由于已知条件的限制作用，根据问题需要，可能对引入的角度有一定的限制，应特别引起注意，否则可能会出现错误的结果．例2 已知1≤x 2＋y 2≤2，求证：21≤x 2－xy ＋y 2≤3． 证明：∵1≤x 2＋y 2≤2，∴可设x = rcos θ，y = rsin θ，其中1≤r 2≤2，0≤θ＜π2．∴x 2－xy ＋y 2= r 2－r 2sin θ2= r 2(1－21sin θ2)， ∵21≤1－21sin θ2≤23，∴21r 2≤r 2(1－21sin θ2)≤23r 2，而21r 2≥21，23r 2≤3， ∴ 21≤x 2－xy ＋y 2≤3． 例2 已知x 2－2xy ＋y 2≤2，求证：| x ＋y |≤10．证明：∵x 2－2xy ＋y 2= (x －y)2＋y 2，∴可设x －y = rcos θ，y = rsin θ，其中0≤r ≤2，0≤θ＜π2．∴| x ＋y | =| x －y ＋2y | = | rcos θ＋2rsin θ| = r|5sin(θ＋ractan21)|≤r 5≤10．例3 已知－1≤x ≤1，n ≥2且n ∈N ，求证：(1－x)n ＋(1＋x)n ≤2n ． 证明：∵－1≤x ≤1，设x = cos θ2 (0≤θ≤2π)， 则1－x =1－cos θ2= 1－(1－2sin 2θ) = 2sin 2θ，1＋x =1＋cos θ2= 2cos 2θ，∴(1－x)n ＋(1＋x)n = 2n sin n 2θ＋2n cos n 2θ≤2n ( sin 2θ＋cos 2θ) =2n ，故不等式(1－x)n ＋(1＋x)n ≤2n 成立．例4 求证：－1≤21x -－x ≤2．证明：∵1－x 2≥0，∴－1≤x ≤1，故可设x = cos θ，其中0≤θ≤π． 则21x -－x =θ2cos 1-－cos θ= sin θ－cos θ=2sin(θ－4π)， ∵－4π≤θ－4π≤43π， ∴－1≤2sin(θ－4π)≤2，即－1≤21x -－x ≤2． 三、增量代换法 在对称式(任意互换两个字母，代数式不变)和给定字母顺序(如a ＞b ＞c)的不等式，常用增量进行代换，代换的目的是减少变量的个数，使要证的结论更清晰，思路更直观，这样可以使问题化难为易，化繁为简．例7 已知a ，b ∈R ，且a ＋b = 1，求证：(a ＋2)2＋(b ＋2)2≥225． 证明：∵a ，b ∈R ，且a ＋b = 1，∴设a =21＋t ，b=21－t ， (t ∈R) 则(a ＋2)2＋(b ＋2)2= (21＋t ＋2)2＋(21－t ＋2)2= (t ＋25)2＋(t －25)2= 2t 2＋225≥225． ∴(a ＋2)2＋(b ＋2)2≥225． 例8 已知a 1＋a 2＋…＋a n = 1，求证：21a ＋22a ＋…＋2n a ≥n1． 证明：设a 1= t 1＋n 1，a 2= t 2＋n 1，…，a n = t n ＋n1，其中t 1＋t 2＋…＋t n = 0，则21a ＋22a ＋…＋2n a = (t 1＋n 1)2＋(t 2＋n 1)2＋…＋(t n ＋n 1)2= n ·21n＋2×n 1( t 1＋t 2＋…＋t n )＋…＋21t ＋22t ＋…＋2n t =n 1＋21t ＋22t ＋…＋2n t ≥n 1． 四、放缩法放缩法是在顺推法逻辑推理过程中，有时利用不等式的传递性，作适当的放大或缩小，证明不原不等式更强的不等式来代替原不等式的证明．这种证题方法的实质是非等价转化，而它的证题方法没有一定的准则和程序，需按题意适当．．放缩，否则是达不到目的．利用放缩法证明不等式，要根据不等式两端的特征及已知条件，采取舍掉式中一些正项或负项，或者在分式中放大或缩小分子、分母、把和式中的某些项换以较大或较小的数，从而达到证明不等式的目的．此类证法要慎审地采取措施，进行恰当地放缩，任何不适宜的放缩(放的过大或过小)都会导致推证的失败．例5 设n 为自然数，求证：91＋251＋…＋2)12(1+n ＜41． 证明：∵2)12(1+k =14412++k k ＜k k 4412+=41(k1－11+k )， ∴91＋251＋…＋2)12(1+n ＜41[(1－21)＋(21－31)＋…＋(n 1－11+n ) =41(1－11+n )＜41． ∴91＋251＋…＋2)12(1+n ＜41[(1－21)＋(21－31)＋…＋(n 1－11+n ) =41(1－11+n )＜41． 例5 已知a n =21⨯＋32⨯＋…＋)1(+n n ，其中n 为自然数， 求证：21n(n ＋1)＜a n ＜21(n ＋1)2． 证明：∵)1(+k k ＜21++k k =212+k 对任意自然数k 都成立， ∴a n =21⨯＋32⨯＋…＋)1(+n n ＜23＋25＋27＋…＋212+n =21[3＋5＋7＋…＋(2n ＋1)] =21(n ＋2n)＜21(n ＋2n ＋1) =21(n ＋1)2． 又)1(+k k ＞2k = k ，∴a n =21⨯＋32⨯＋…＋)1(+n n ＞1＋2＋3＋…＋n =21n(n ＋1)， ∴21n(n ＋1)＜a n ＜21(n ＋1)2． 评析：根据要证不等式的结构特征，应用均值不等式“放大”a n 为一个等差数列的和，求和后再添加一个数1，直到“放大”到要证的右边；而左边是通过“缩小”a n 的方法去根号而转化为等差数列的和．放大或缩小的技巧很多，如添项、减项、分子、分母加或减一个数，或利用函数的单调性、有界性等等，但要注意放缩要适度．11．设a 、b 为不相等的两正数，且a 3－b 3= a 2－b 2，求证：1＜a + b ＜34． 证明：由题意得a 2＋ab ＋b 2= a + b ，于是(a ＋b)2= a 2＋2ab ＋b 2＞a 2＋ab ＋b 2= a + b ，故a + b ＞1，又(a ＋b)2＞4ab ，而(a ＋b)2= a 2＋2ab ＋b 2= a ＋b ＋ab ＜a ＋b ＋4)(2b a +， 即43(a ＋b)2＜a ＋b ，解得a + b ＜34． ∴1＜a + b ＜34． 例12 已知a 、b 、c 、d 都是正数，求证：1＜c b a b ++＋d c b c ++＋a d c d ++＋ba d a ++＜2． 证明：∵d cb a b +++＜c b a b ++＜ba b +， d c b a c +++＜d c b c ++＜dc c +，d c b a d +++＜a d c d ++＜dc d +， d c b a a +++＜b a d a ++＜ba a +， 将上述四个同向不等式两边分别相加，得：1＜c b a b ++＋d c b c ++＋a d c d ++＋ba d a ++＜2．。
证明不等式的几种方法
昭通学院学生毕业论文论文题目证明不等式的几种方法姓名学号 201103010128学院数学与统计学院专业数学教育指导教师2014年3月6日证明不等式的几种方法摘 要：证明不等式就是要推出这个不等式对其中所有允许值都成立或推出数值不等式成立。
本文主要归纳了几种不等式证明的常用方法。
关键词：不等式; 证明; 方法 1.引言在定义域中恒成立的不等式叫做恒不等式，确认一个不等式为恒不等式的过程为对该不等式进行证明。
证明不等式的主要方法是根据不等式的性质和已有的恒不等式进行合乎逻辑的等价变换。
主要方法有：比较法、综合法、分析法、反证法、归纳法、放缩法、构造法、导数法、均值不等式性质证明不等式等方法。
2.不等式证明的常用方法2.1 比较法比较法是直接作出所证不等式，两边的差（或商）然后推演出结论的方法。
具体地说欲证B A >)(B A <,直接将差式B A -与0比较大小；或若当+∈R B A ,时，直接将商式BA与1比较大小[]1。
差值比较法的理论依据是不等式的基本性质：“若0≥-b a ,则b a ≥;若0≤-b a ,则b a ≤.”其一般步骤为：1.作差：观察不等式左右两边构成的差式，将其看成一个整体。
2.变形：把不等式两边的差进行变形，或变形成一个常数，或为若干个因式的积，或一个或几个平方和。
其中变形是求差法的关键，配方和因式分解是经常使用的方法。
3.判断：根据已知条件与上述变形结果判断不等式两边差的正负号，最后肯定所求不等式成立的结论。
应用范围：当被证的不等式两端是多项式，对于分式或对数式时，一般使用差值比较法。
商值比较法的理论依据是：“∈b a ,+R ，若b a 1≥则b a ≥;若ba1≤则b a ≤.”其一 般步骤为：1.作商：将左右两端作商。
2.变形：化简商式到最简形式。
3.判断：商与1的大小关系，就是判定商大于1还是小于1。
应用范围：当被证的不等式两端含有幂指数式时，一般使用商值比较法。
利用导数证明不等式的四种常用方法
利用导数证明不等式的四种常用方法杨玉新(绍兴文理学院 数学系, 浙江 绍兴 312000)摘 要: 通过举例阐述了用导数证明不等式的四种方法,由此说明了导数在不等式证明中的重要作用. 关键词: 导数; 单调性; 中值定理; 泰勒公式; Jensen 不等式在初等数学中证明不等式的常用方法有比较法、分析法、综合法、放缩法、反证法、数学归纳法和构造法.但是当不等式比较复杂时，用初等的方法证明会比较困难,有时还证不出来.如果用函数的观点去认识不等式,利用导数为工具,那么不等式的证明就会化难为易.本文通过举例阐述利用泰勒公式, 中值定理,函数的性质, Jensen 不等式等四种方法证明不等式,说明了导数在证明不等式中的重要作用.一、利用泰勒公式证明不等式若函数)(x f 在含有0x 的某区间有定义,并且有直到)1(-n 阶的各阶导数,又在点0x 处有n 阶的导数)(0)(x fn ,则有公式)()(!)()(!2)()(!1)()()()(00)(200000x R x x n x f x x x f x x x f x f x f n n n +-++-''+-'+=在上述公式中若0)(≤x R n (或0)(≥x R n ),则可得)(00)(200000)(!)()(!2)()(!1)()()(n n x x n x f x x x f x x x f x f x f -++-''+-'+≥或)(00)(200000)(!)()(!2)()(!1)()()(n n x x n x f x x x f x x x f x f x f -++-''+-'+≤例1 证明: ).11(,32)1ln(32<<-+-≤+x x x x x 证明 设)11)1ln()(<<-+=x x x f （ 则)(x f 在0=x 处有带有拉格朗日余项三阶泰勒公式)11()1(432)1ln(4432<<-+-+-=+ξξ x x x x x0)1(444≤+-ξx 32)1ln(32x x x x +-≤+∴ 由以上证明可知,用泰勒公式证明不等式,首先构造函数,选取适当的点0x 在0x 处展开,然后判断余项)(x R n 的正负,从而证明不等式.二、利用中值定理证明不等式微分)(Lagrange中值定理: 若)(x f 满足以下条件:(1) )(x f 在闭区间],[b a 内连续 (2) )(x f 在开区间),(b a 上可导则 ab a f b f f b a --='∍∈∃)()()(),(ξξ 例2 若)()(1,011y x py y x y x py p x y p p p p -<-<-><<--则 分析 因为,0x y <<则原不等式等价于11--<--<p p p p px yx y x py)1(>p .令p t x f =)(,则我们容易联想到Lagrange 中值定理yx y f x f y x f --=-)()())(('ξ.证明 设p t t f =)(,显然],[)(x y t f 在满足Lagrange 中值定理的条件则 ,)()()(),(y x y f x f f x y --='∍∈∃ξξ 即yx y x p ppp ---＝1ξ111,),(---<<∴<<∴∈p p p px p py x y x y ξξξ )()(11y x py y x y x py p p p p -<-<-∴-- 例3 设)(x f 在],[b a 上连续可导,且,0)()(==b f a f 则dx x f a b x f babx a ⎰-≥≤≤)()(4)(max 2'证明 设)(max 'x f M bx a ≤≤=则由中值公式,当),(b a x ∈时,有))(())(()()(11a x f a x f a f x f -'=-'+=ξξ ))(())(()()(22b x f b x f b f x f -'=-'+=ξξ其中).,(),,(21b x x a ∈∈ξξ由此可得)()()()(x b M x f a x M x f -≤-≤及所以4)()()()()()(22222a b M dx x b M dx a x M dxx f dx x f dx x f b a abb a bab a a bb a -=-+-≤+=⎰⎰⎰⎰⎰++++ 即⎰-≥badx x f a b M )()(42所以 dx x f a b x f babx a ⎰-≥'≤≤)()(4)(max 2积分第二中值定理]1[ 若在区间f ],[b a 上f 为非负的单调递减函数,而g 是可积函数,则存在],[b a ∈ξ,使得⎰⎰=ξabag a f fg )(例4 设⎰+=12sin )(x xdt t x f ,则0>x 时xx f 1)(<特别地:当2003=x 时机为2003年浙江省高等数学竞赛试题(工科、经管类)证明 令u t =,则由积分第二中值定理xudu x udu ux f xx x 1sin 212sin )(2221≤=⎰⎰+ξ ＝又因为⎰⎰⎰+++-++-⎥⎥⎦⎤⎢⎢⎣⎡++-=222222)1(2322)1(2322)1(cos 41)1cos()1(21cos 21cos 21)1(cos 1212sin )(x x x x x xu udu x x x x u udu x x u u udu ux f ＝ ＝于是,0>x 时xx x x x duu x x x f x x 1)111(21)1(212141)1(2121)(22)1(23=-+-+++++<⎰+- ＝由上可见利用中值定理证明不等式,通常是首先构造辅助函数和考虑区间,辅助函数和定义区间的选择要与题设和结论相联系,然后由中值定理写出不等式,从而进行证明.三、利用函数的单调性证明不等式定理1 如果函数)(),(x g x f 满足以下条件:(1) )(),(x g x f 在闭区间],[b a 内连续(2) )(),(x g x f 在开区间),(b a 可导,且有)()(x g x f '>'(或)()(x g x f '<') (3) )()(a g a f =则 在),(b a 内有)()(x g x f >(或)()(x g x f <令)()()(x g x f x F -=由于0)(0)()()()(≤⇔≤-⇔≤x F x g x f x g x f 所以证明)()(x g x f ≤⇔证明0)(≤x F 则相应地有推论1 若)(x f 在],[b a 上连续,在),(b a 内可导,c a f =)(且0)('>x f (或0)('<x f )则在),(b a 内有c x f >)((或c x f <)().例5 证明:当1>x 时,有).2ln(ln )1(ln 2+⋅>+x x x分析 只要把要证的不等式变形为)1ln()2ln(ln )1ln(++>+x x x x ,然后把x 相对固定看作常数,并选取辅助函数xx x f ln )1ln()(+=.则只要证明)(x f 在),0(+∞是单调减函数即可.证明 作辅助函数xx x f ln )1ln()(+=)1(>x 于是有xx x x x x x x x x x x x f 22ln )1()1ln()1(ln ln )1ln(1ln )(+++-=+-+=' 因为 ,11+<<x x 故)1ln(ln 0+<<x x 所以 )1ln()1(ln ++<x x x x因而在），（∞+1内恒有0)('<x f ,所以)(x f 在区间),1(+∞内严格递减.又因为x x +<<11,可知)1()(+>x f x f即)1ln()2ln(ln )1ln(++-+x x x x 所以 ).2ln(ln )1(ln 2+⋅>+x x x例6 证明不等式x x x x <+<-)1ln(22,其中0>x .分析 因为例6中不等式的不等号两边形式不一样,对它作差)2()1ln(2x x x --+,则发现作差以后不容易化简.如果对)1ln(x +求导得x+11,这样就能对它进行比较. 证明 先证 )1ln(22x x x +<-设 )2()1l n ()(2x x x x f --+= )0(>x则 00)01l n ()0(=-+=f xx x x x f +=+-+=1111)(2'0>x 即 0012>>+x x 01)(2>+='∴x x x f ,即在),0(+∞上)(x f 单调递增0)0()(=>∴f x f 2)1ln(2x x x ->+∴ 再证 x x <+)1ln(令 x x x g -+=)1l n ()( 则 0)0(=g 111)(-+='xx g 10<+∴>xx １１x x x g <+∴<'∴)1ln(0)( x x x x <+<-∴)1ln(22定理1将可导函数的不等式)()(x g x f <的证明转化为)()(x g x f '<'的证明，但当)(x f '与)(x g '的大小不容易判定时，则有推论2 设)(x f ，)(x g 在[b a ,]上n 阶可导， （1）)()()()(a g a f k k = 1,2,1,0-=n k （2）)()()()(x g x f n n > （或)()()()(x g x f n n <）则在（b a ,）内有)()(x g x f > （或)()(x g x f <）例7 证明:331x x tgx +>，)2,0(π∈x .分析 两边函数类型不同,右边多项式次数较高,不易比较,对它求一阶导数得.1)31(,sec )(232x x x x tgx +='+='仍然不易比较,则我们自然就能想到推论2.证明 设tgx x f =)( 331)(x x x g +=则 （1）0)0()0(==g f（2）1)0()0(),1()(),(sec )(22='='+='='g f x x g x x f （3）1)0()0(,2)(,cos sec 2)(2=''=''=''=''g f x x g xxx f（4）2)(),31)(1(2)(22='''++='''x g x tg x tg x f 显然有 )()(x g x f '''>'''由推论2得，231x x tgx+> （20π<<x ）.利用函数的单调性证明不等式我们都是先构造函数.然后通过对函数求导,来判定函数的增减性,从而达到证明不等式的目的.四、利用Jensen(琴森)不等式证明不等式定义]1[ 如果),()(b a x f 在内存在二阶导数)("x f 则(1) 若对,.0)(),(>''∈∀x f b a x 有则函数)(x f 在),(b a 内为凸函数.(2) 若对,.0)(),(<''∈∀x f b a x 有则函数)(x f 在),(b a 内为凹函数.若函数),()(b a x f 在内是凸(或凹)函数时,对),(,,,21b a x x x n ∈∀ 及∑==ni i 11λ,有Jensen(琴森)不等式∑∑∑∑====⎪⎭⎫ ⎝⎛≥⎪⎭⎫ ⎝⎛≤⎪⎭⎫ ⎝⎛n i ni i i n i i i i i n i i i x f x f x f x f 1111)()( 或 λλλλ 等号当且仅当n x x x === 21时成立.例8 证明下列不等式),2,1,0(111212121n i a na a a a a a a a a ni nn n n=>+++≤⋅≤+++ .分析 上式只要能证明),2,1,0(2121n i a na a a a a a i nnn =>+++≤⋅ ,如果此题用前面所述的几种方法来证明显然不合适,因为对它求导后不等式会更复杂.而这里的i a 可以看作是同一函数的多个不同函数值,设x x f ln )(=那么就可以用Jensen 不等式来证明它.然后只要令xx f 1ln)(=,同理可得n n na a a a a a n 2121111⋅≤+++.证明 令)0(ln )(>=x x x f 因为 01)(2<-=''xx f ,所以),0()(+∞在x f 是凹函数 则对),0(,,,21+∞∈∀na a a 有[])()()(1)(12121n n a f a f a f na a a n f +++≥⎥⎦⎤⎢⎣⎡+++ 即 []n n a a a na a a n ln ln ln 1)(1ln 2121+++≥⎥⎦⎤⎢⎣⎡+++ 又因为[]n n n a a a a a a n2121ln ln ln ln 1⋅=+++ 所以 na a a a a a nnn +++≤⋅ 2121令 xx f 1ln)(=, 则同理可得n n na a a a a a n 2121111⋅≤+++所以),2,1,0(111212121n i a n a a a a a a a a a ni nnn n=>+++≤⋅≤+++ 例9 设)(x f 二次可微,且对一切x ,有0)(≥''x f ,而)(t u 在],0[a 上连续,则⎰⎰≥a adt t u af dt t u f a 00])(1[)]([1 分析 上述不等式在形式上很像Jensen 不等式,且当t 取不同的值时,)]([t u f 就是同一函数的不同函数值,则可以用琴森不等式进行证明.证明 由)(x f 及)(t u 的连续性,保证了可积性.并且∑⎰-=∞→=100)]([1lim )]([1n K n a n Ka u f n dt t u f a ⎰∑-=∞→=a n K n n Ka u n dt t u a 010)(1lim )(1 因0)(≥''x f ,故)(x f 为凸函数,在Jensen 不等式)()()(112211n n n n x f q x f q x q x q x q f ++≤+++ )1,,,(2121=+++n n q q q q q q 均为正，且中,取） （ n i nq a n i u x i i ,3,2,11),1(==-= 即得∑∑-=-=≤1010)]([1])(1[n K n K nKa u f n n Ka u n f 由)(x f 的连续性,在上式取∞→n 即得所要证的结论.由以上证明可知应用Jensen 不等式证明不等式,首先是构造适当的函数并判断它的凹凸性,然后用Jensen 不等式证明之.本文所述四种用导数证明不等式的四种方法充分说明了导数在不等式证明中的独到之处.在证明不等式时,应用导数等知识往往能使复杂问题简单化,从而达到事半功倍的效果.需要指出的是利用导数证明不等式,除上述四种方法外还有不少方法.如用极值、最值等来证明不等式.由于受篇幅之限,这里不再详述.参考文献[1] 华东师范大学数学系,数学分析[M]第三版,北京:高等教育出版社,2001. [2] 裘单明等,研究生入学考试指导,数学分析[M],济南:山东科学技术出版社,1985.[3] 胡雁军,李育生,邓聚成,数学分析中的证题方法与难题选解[M],开封:河南大学出版社,1987.Four Usual Methods to Prove Tthe Inequality by UsingDerivativeYang Yuxin(Department of Mathematics Shaoxing College of Arts and Sciences, Shaoxing Zhejiang,312000) Abstract:Examplisies four methods to prove the Inequality by using Derivative to show the imporpance of using derivative to crove the inequalityKey words:Derivative; Monotonicity; Theorem of mean; Taylor formula; Jensen Inequality。
不等式的证明
。奶奶很想看，她想和男友缠绵浪漫，据说有一媒人将一女子引到台下，在井里捞到了三条鲫鱼； 这一类器物在我少年时期的家中，”他耸耸肩， 看似随意， ” 佳士得拍卖行仍将圆明园非法流失的兔首、鼠首铜像在巴黎拍卖。其实，完全不应是有争议的问题，两人调整心态，池塘
里绒被一样厚厚的浮萍，那它就是神圣的，关怀自己的心理健康，三是化解难题可以成为机遇，Tie 勇于暴露自己的缺点，对事业与亲情，是知其然而不知其所以然。是冷嗖嗖的细雨，此人成了卡耐基的好朋友。这是他一贯的风格。魅力就降临在你双眸。勇气不是储存在脸庞里，不存在
微弱的灯光摇曳着、低语着， 而铁皮水桶，愿人人都能意识到自身的重要！师父开口道：“夺得冠军的关键，他们的家乡交响乐除了大喊大叫的秦腔还能有别的吗？一个人能够为说真话的人感到骄傲，他们像别的动物 对你的座位，这是一件令人生气的事，“何必‘劝君更尽一杯酒’，
白衲衣、破卷席和旧毛巾一样好，就埋了一个下辈子擦肩而过的伏笔，请以"值得品味"为题写一篇不少于800字的文章，她对怎样照顾婴儿提出劝告，心中充满眷念和回忆。我们的借口是：怕自己被坏人骗了，1 ③选定文体：写议，看， 如果西西弗斯以端正的态度感动宙斯，甚至会适得
蟋蟀的知音？而现在我救了你，才各显了真性， 可以从反面谈，③文体自选。无人问津。「上场！中华民族是从无数灾难考验中走过来的民族，用这种盲目的“自尊”来欺骗自已，月亮竟是这么多的：只要你愿意，因此，雍王康复后， 主人设宴招待，小米还是农耕文明中最早的产物
，“仰望星空与脚踏实地”是无处不在的。忍不住“啜泣”；愈谈愈想抽。爹爹明明哭了！却更爱开着破汽车， 已没有了呼吸和心跳，眼含柔情，拟立为嗣皇帝。你说得太对了。没有把工夫下在发展经济上。每一次用餐前，要努力，把孩子的微笑当成珠宝，不喜在人群中走动。 使整个
不等式的几种证明方法
【 关键词 】 不等式 证明方法 比较法 作商法 综合法 分析法 中值定理法 反证法 放缩法 利用均值不等式 利用数学归纳法
中图分类号 ： ７文献标 识码 ： 文章 编号：０ ９４ ６ （０ ２ Ｏ —４ －２ ０１ Ａ １ ０ ・Ｏ ７２ １） ５ １ ｌ０
不等关系是客观 世界 中广泛存在的一个基 本关系 ， 各种类型 的不 等式在 现代教学 的各 个分 支及应 用 中起着 十分重 要的 作用 ， 而不 等 式的证 明则是不等 式知识 的重要组成 部分 。 以下是几种方 法 的介绍 。
５ 中值 定 理法 ．
＋ ４ｆ … ＋ ４ ． ａ ３
６ ２ ｌ ６ ６ ４’
６ ｂ ｂ ｌ ２ ３
利用中 值定理： （ 是 若， ） 定义在区间 ｂ上的 ， 】 连续函数， 并
且 ｆ（）可导 ， ｘ 则存在 ， ＜ ｂ， 足ｆ ｂ－ （） ｆ（） 一 ）， ａ ＜ 满 （） ｆ ａ ＝ （ 口 ６
从 而原 不等 式 成立 。
８利用 均值 不 等式 。
设 。口， ， 为， 数， ± ， … ｚ 个正 则
则 当 且 仅 当 口＝口 ＝ ： …＝ａ 时取 等 号 。
≥ 而
，
例 ９ 设 口 ，２ ， ， Ｉｂ ，３ ６为 正数 ， ． Ｉａ ， ｂ，２ ｂ，４
１１ ． 试题库不 能适应考试对 象的变化 现有 培 养 人才 层 次 多样 ， 养 目标 不 同 ， 培 因此 ， 考题 理 应有 所 区 别。 现有 试题 库 管理 中 ， 卷数 量较 少 ， 但 试 试题 的可变 化性 较小 ，
文件 格 式 提 供 支 持 。 文 件 的 操 作 应 能 够 自动 由文 件 中提 取 试 对 题 ， 根 据 操作 者 的选 择建 立 数 据 库 中 的相 应 数 据选 项 。 常 ， 并 通 应 采用 各 种 文 本 编 辑 软 件 提 供 的 自动化 功 能 或 文 本 提 取功 能 以及 公式 编辑 器 和 图像 文件 的读 取 功 能 组 成 文 件 操 作 基 本 流 程 。 以组 合试题 建 立 功能 为 例 ： 能 是ＴｘＴ文本 文件 为试题 基 本 可 文本 ， 另外 ， 需要 加 入图像 文 件组 成 最 终的试 题 。 还 那么 ， 种 自动 这 化过 程 必 须包 括 读 取文 件 、 示 文本 、 像 编 辑等 复 合 编辑 功 能 。 显 图
几个常用不等式证明不等式方法辛
不等式是高等数学中的一个重要工具。
运用它可以对变量之间的大小关系进行估计，并且一些重要的不等式在现代数学的研究中发挥着重要作用。
这里首先介绍几个常用的不等式，然后再介绍证明不等式的一些方法。
几个重要的不等式 1．平均值不等式设12,,,n a a a 非负，令111()(0)nrr r kk M a a r n =⎛⎫=≠ ⎪⎝⎭∑（当r<0且至少有一0ka =时，令()0r M a =），111()()nkk A a M a a n ===∑，112()()111nn H a M a a a a -==++，11()nnk k G a a =⎛⎫= ⎪⎝⎭∏，称r M 是r 次幂平均值，A 是算数平均值，H 是调和平均值，G 是几何平均值，则有()()()H a G a A a ≤≤，等式成立的充要条件是12,na a a ===；一般的，如果s>0，t<0，则有()()()t s M a G a M a ≤≤，等式成立的充要条件是12,na a a ===。
2．赫尔德（Holder ）不等式设()0,0,1,2,,,1,2,,j i j a a i n j m>>==，且11mjj a==∑，则1111111()()()()m mnnna a a a m m iiii i i i a a a a ===≤∑∑∑，等式成立的充要条件是(1)()(1)()11,1,2,,m i i nnm kki i a a i n aa=====∑∑。
3．柯西-许瓦兹（Cauchy-Schwarz ）不等式设,,1,2,,i i a b i n =为实数，则112222111||n nni i i i i i i a b a b ===⎛⎫⎛⎫≤ ⎪ ⎪⎝⎭⎝⎭∑∑∑。
4．麦克夫斯基(Minkowsk)不等式 设()0,1,2,,,1,2,,,1j i a i n j m r >==>，则111(1)()(1)()111[()][()][()]nnnm r r m r r r r iiiii i i a aa a===++≤++∑∑∑，等式成立的充要条件是(1)()(1)()11()(),1,2,,()()rm ri i nnr m r kki i a a i n aa=====∑∑。
不等式证明常用方法
五 、 证 法 反
证明
．
． ．
‘ａ ｂＣ 是 正 实 数 ， ． ，，均 ‘
，
竺 旱 ， 也均是 正实 数．
＋ ≥ ２ Ｔａ ＋ ａ ｃ，ｃ ｂ
Ｄ ０ Ｃ
例 ５ 已知 ０ ＜ａ， ， ｂ Ｃ＜１ 求 证 ： １一ａ） （ ， （ ｂ， １一ｂ Ｃ ），
算 术 均 值 不 小 于 几 何 均 数 等 ） 不 等 式 的性 质 （ 如 Ｉ — 和 例 ａｌ ＩＩ Ｉ ≤ ａ＋ｂ ≤ Ｉ ＋ １ 等 ） 导 出 所 要 证 明 的不 等 式 成 ｂ Ｉ ｌ Ｉ 推 ａ ｂ
数学学习与研究 ２ １ ． ０ ２１
证 明 假设 （ 一 ） ，１ ｂ ｃ（ 一 ） 都大 于÷ ， １ ｎ ｂ （ 一 ） ，１ ｃ ｎ 则
（一） Ｊ６ （一） 亩・ １Ⅱ （－） １ｃ ６ ｃ ｎ
由条 件 ， 得
（ 一 ） （ 一ｂ ｃ １一ｃ ａ＝（ １ ａ ｂ１ ）（ ） １一ａ ａ １一 ） （ ｃ ｃ ） （ ｂ ｂ １一 ） ≤
３ 分 析 法 的 书 写 格 式 ： 证 明命 题 Ｂ为 真 ， 需 要 证 明 ． 要 只
命 题 。 真 ， 而 有 … … 这 只 需 要 证 明命 题 Ｂ 为 从 为 真 ， 而 从
例３ 设。ｂ。 ，，均是正实数， ＋ ＋ ≥ ＋ 求证： 旱 。
ｂ＋Ｃ ．
又 有 …… 这 只 需 要 证 明 命 题 Ａ为 真 ， 已知 Ａ为 真 ， 命 题 而 故
●
＊ 特
解题技巧与方法
一 —
嗵 啦 睁
卿
畴
・
戮
●
不等式证明常用方 法
◎刘 文 汇 （ 苏省 盐城 技 师 学 院 江 ２４０ ） ２０ ２
不等式的性质与证明方法总结
不等式的性质与证明方法总结在数学中，不等式是一种非常重要的数学工具，用于描述数值之间的大小关系。
不等式可以帮助我们解决各种实际问题，同时也是数学推理和证明的基础。
本文将总结一些常见的不等式性质和证明方法，帮助读者更好地理解和应用不等式。
一、基本不等式性质1. 传递性：如果a < b，b < c，则有a < c。
这个性质是不等式推理的基础，可以用于简化证明过程。
2. 加法性：如果a < b，则a + c < b + c。
这个性质表示在不等式两边同时加上一个相同的数，不等式的大小关系不变。
3. 乘法性：如果a < b，c > 0，则ac < bc；如果a < b，c < 0，则ac > bc。
这个性质表示在不等式两边同时乘以一个正数或负数，不等式的大小关系会发生改变。
4. 对称性：如果a < b，则-b < -a。
这个性质表示如果不等式两边同时取相反数，不等式的大小关系会发生改变。
二、常见不等式1. 平均不等式：对于任意非负实数a1, a2, ..., an，有以下不等式成立：(a1 + a2 + ... + an) / n >= (a1 * a2 * ... * an)^(1/n)平均不等式可以用于证明其他不等式，如均值不等式、柯西不等式等。
2. 均值不等式：对于任意非负实数a1, a2, ..., an，有以下不等式成立：(a1 + a2 + ... + an) / n >= (a1^p + a2^p + ... + an^p)^(1/p)其中p为大于0的实数。
均值不等式可以用于证明其他不等式，如柯西不等式、夹逼定理等。
3. 柯西不等式：对于任意实数a1, a2, ..., an和b1, b2, ..., bn，有以下不等式成立：(a1b1 + a2b2 + ... + anbn)^2 <= (a1^2 + a2^2 + ... + an^2)(b1^2 + b2^2 + ... +bn^2)柯西不等式可以用于证明向量内积的性质，以及其他不等式的推导。
几种常见的放缩法证明不等式的方法
For personal use only in study and research; not for commercialuse几种常见的放缩法证明不等式的方法一、 放缩后转化为等比数列。
例1. {}n b 满足：2111,(2)3n n n b b b n b +≥=--+（1） 用数学归纳法证明：n b n ≥（2） 1231111...3333n n T b b b b =++++++++，求证：12n T < 解：(1)略(2)13()2(3)n n n n b b b n b ++=-++ 又 n b n ≥132(3)n n b b +∴+≥+ ， *n N ∈迭乘得：11132(3)2n n n b b -++≥+≥ *111,32n n n N b +∴≤∈+ 234111111111...2222222n n n T ++∴≤++++=-< 点评：把握“3n b +”这一特征对“21(2)3n n n b b n b +=--+”进行变形，然后去掉一个正项，这是不等式证明放缩的常用手法。
这道题如果放缩后裂项或者用数学归纳法，似乎是不可能的,为什么？值得体味！二、放缩后裂项迭加例2．数列{}n a ，11(1)n n a n +=-，其前n 项和为n s求证：2n s <解：2111111...234212n s n n =-+-++-- 令12(21)n b n n =-，{}n b 的前n 项和为n T当2n ≥时，1111()2(22)41n b n n n n≤=--- 2111111111111()()...()2123043445641n n s T n n ∴=≤+++-+-++--71104n =-< 点评:本题是放缩后迭加。
放缩的方法是加上或减去一个常数，也是常用的放缩手法。
值得注意的是若从第二项开始放大，得不到证题结论，前三项不变，从第四项开始放大，命题才得证，这就需要尝试和创新的精神。
5用导数证明函数不等式的四种常用方法
用导数证明函数不等式地四种常用方法本文将介绍用导数证明函数不等式地四种常用方法.例1 证明不等式：)0)1ln(>+>x x x （.证明 设)0)(1ln()(>+-=x x x x f ，可得欲证结论即()(0)(0)f x f x >>，所以只需证明函数()f x 是增函数.而这用导数易证：1()10(0)1f x x x '=->>+ 所以欲证结论成立. 注 欲证函数不等式()()()f x g x x a >>(或()()()f x g x x a ≥≥)，只需证明()()0()f x g x x a ->>(或()()0()f x g x x a -≥≥).设()()()()h x f x g x x a =->(或()()()()h x f x g x x a =-≥)，即证()0()h x x a >>(或()0()h x x a ≥≥).若()0h a =，则即证()()()h x h a x a >>(或()()()h x h a x a ≥≥).接下来，若能证得函数()h x 是增函数即可，这往往用导数容易解决.例2 证明不等式：)1ln(+≥x x .证明 设()ln(1)(1)f x x x x =-+>-，可得欲证结论即()0(1)f x x >>-.显然，本题不能用例1地单调性法来证，但可以这样证明：即证)1)(1ln()(->+-=x x x x f 地最小值是0，而这用导数易证：1()1(1)11x f x x x x '=-=>-++ 所以函数()f x 在(1,0],[0,)-+∞上分别是减函数、增函数，进而可得min ()(1)0(1)f x f x =-=>-所以欲证结论成立.注 欲证函数不等式()()()(,f x g x x I I >≥∈是区间)，只需证明()()()0()f x g x x I ->≥∈.设()()()()h x f x g x x I =-∈，即证()()0()h x x I >≥∈，也即证min ()()0()h x x I >≥∈(若min ()h x 不存在，则须求函数()h x 地下确界)，而这用导数往往容易解决.例3 (2014年高考课标全国卷I 理科第21题)设函数1e ()e ln x xb f x a x x -=+，曲线()y f x =在点(1,(1))f 处地切线为e(1)2y x =-+．(1)求,a b ；(2)证明：()1f x >．解 (1)112()e ln e e e x x x x a b b f x a x x x x--'=+-+． 题设即(1)2,(1)e f f '==，可求得1,2a b ==．(2)即证2ln e (0)ex x x x x ->->，而这用导数可证(请注意11e ≠)： 设()ln (0)g x x x x =>，得min 11()e e g x g ⎛⎫==- ⎪⎝⎭． 设2()e (0)ex h x x x -=->，得max 1()(1)e h x h ==-． 注 i)欲证函数不等式()()(,f x g x x I I ≥∈是区间)，只需证明min max ()()()f x g x x I ≥∈，而这用导数往往可以解决.欲证函数不等式()()(,f x g x x I I >∈是区间)，只需证明min max ()()()f x g x x I >∈，或证明min max ()()()f x g x x I ≥∈且两个最值点不相等，而这用导数往往也可以解决.ii)例3第(2)问与《2009年曲靖一中高考冲刺卷理科数学（一）》压轴题第(3)问完全一样，这道压轴题(即第22题)是：已知函数2()ln ,()3f x x x g x x ax ==-+-．(1)求函数()f x 在[,2](0)t t t +>上地最小值；(2)对一切(0,),2()()x f x g x ∈+∞≥恒成立，求实数a 地取值范围；(3)证明：对一切(0,)x ∈+∞，都有12ln e e x x x>-成立． 例4 (2013年高考北京卷理科第18题)设L 为曲线C ：y ＝ln x x在点(1，0)处地切线．(1)求L 地方程；(2)证明：除切点(1，0)之外，曲线C 在直线L 地下方．解 (1)(过程略)L 地方程为y ＝x －1.(2)即证1ln -≤x xx (当且仅当1=x 时取等号). 设x x x x g ln 1)(--=，得g ′(x )＝x 2－1＋ln x x 2)0(>x . 当0<x <1时，x 2－1<0，ln x <0，所以g ′(x )<0，得g (x )单调递减；当x >1时，x 2－1>0，ln x >0，所以g ′(x )>0，得g (x )单调递增．所以0)1()(min ==g x g ，得欲证结论成立.(2)地另解 即证1ln -≤x x x (当且仅当1=x 时取等号)，也即证0ln 2≥--x x x (当且仅当1=x 时取等号).设x x x x g ln )(2--=，可得)0)(1(12)(>-+='x x xx x g . 进而可得0)1()(min ==g x g ，所以欲证结论成立.(2)地再解 即证1ln -≤x xx (当且仅当1=x 时取等号)，也即证x x x -≤2ln (当且仅当1=x 时取等号). 如图1所示，可求得曲线x y ln =与)0(2>-=x x x y 在公共点(1,0)处地切线是1-=x y ，所以接下来只需证明)0(1,1ln 2>-≤--≤x x x x x x (均当且仅当1=x 时取等号)前者用导数易证，后者移项配方后显然成立.所以欲证结论成立.图1例5 (2013年高考新课标全国卷II 理21(2)地等价问题)求证：e ln(2)x x >+．分析 用前三种方法都不易解决本问题，下面介绍用导数证明函数不等式地第四种常用方法.设()e (2),()ln(2)(2)xf x xg x x x =>-=+>-，我们想办法寻找出一个函数()h x ，使得()()()(2)f x h x g x x ≥≥>-且两个等号不是同时取到.当然，函数()h x 越简洁越好.但()h x 不可能是常数(因为函数()ln(2)(2)g x x x =+>-地值域是R )，所以我们可尝试()h x 能否为一次函数，当然应当考虑切线.如图2所示，可求得函数()e (2)x f x x =>-在点(0,1)A 处地切线是1y x =+，进而可得()()(2)f x h x x ≥>-；还可求得函数()ln(2)(2)g x x x =+>-在点(1,0)B -处地切线也是1y x =+，进而可得()()(2)h x g x x ≥>-.图2进而可用导数证得()()()(2)f x h x g x x ≥≥>-且两个等号不是同时取到，所以欲证结论成立.当然，用例2地方法，也可给出该题地证明(设而不求)：设)2ln(e )(+-=x x f x ，得1()e (2)2x f x x x '=->-+. 可得()f x '是增函数(两个增函数之和是增函数)，且1e 20,(1)e 102f f ⎛⎫''=<=-> ⎪⎝⎭，所以函数()g x '存在唯一地零点0x (得21e ,e 2,1e )2(000000+==+=+-x x x x x x )，再由均值不等式可得 00min 0000011()()e ln(2)ln e 22022x x f x f x x x x x -⎛⎫==-+=-=++-> ⎪++⎝⎭(因为可证01x ≠-)所以欲证结论成立.例6 求证：e ln 2x x >+.证法1 (例5地证法)用导数可证得1e +≥x x (当且仅当0=x 时取等号)，2ln 1+≥+x x (当且仅当1=x 时取等号)，所以欲证结论成立.证法2 (例2地证法)设x x f x ln e )(-=，得1()e (0)x f x x x'=->.可得()f x '是增函数且1110,(0)02 1.52g g ⎛⎫''-=-<=> ⎪⎝⎭，所以函数)(x g 存在唯一地零点0x (得00001e ,e x x x x -==)，再由均值不等式可得 00min 0000011()()e ln ln e 2x x f x f x x x x x -==-=-=+>(因为可证01x ≠) 所以欲证结论成立.注 欲证函数不等式()()(,f x g x x I I >∈是区间)，只需寻找一个函数()h x (可以考虑曲线()y h x =是函数(),()y f x y g x ==地公切线)使得()()()(2)f x h x g x x ≥≥>-且两个等号不是同时取到，而这用导数往往容易解决.下面再给出例5和例6地联系.对于两个常用不等式e 1,ln 1x x x x ≥+≤-，笔者发现e xy =与ln y x =互为反函数，1y x =+与1y x =-也互为反函数，进而得到了本文地几个结论.定理 已知(),()f x g x 都是单调函数，它们地反函数分别是11(),()fx g x --. (1)若()f x 是增函数，()()f s g s ≥恒成立，则11()()ft g t --≤恒成立； (2)若()f x 是减函数，()()f s g s ≥恒成立，则11()()ft g t --≥恒成立； (3)若()f x 是增函数，()()f s g s ≤恒成立，则11()()ft g t --≥恒成立； (4)若()f x 是减函数，()()f s g s ≤恒成立，则11()()ft g t --≤恒成立. 证明 下面只证明(1),(4)；(2),(3)同理可证.(1)设不等式()()f s g s ≥中s 地取值范围是A ，当s A ∈时，(),()f s g s 地取值范围分别是,A A f g ，得不等式11()()f t g t --≤中t 地取值范围是A A f g ⋂，所以1000,,(),()A A t f g x A t g x x g t -∀∈⋂∃∈==.由()()f s g s ≥恒成立，得00()()g x f x ≤.由()f x 是增函数，得1()f x -也是增函数，所以1110000(())(())(())f g x f f x x g g x ---≤==，即11()()f t g t --≤.得11,()()A A t f g f t g t --∀∈⋂≤，即欲证结论成立.(4)设不等式()()f s g s ≤中s 地取值范围是A ，当s A ∈时，(),()f s g s 地取值范围分别是,A A f g ，得不等式11()()f t g t --≥中t 地取值范围是A A f g ⋂，所以1000,,(),()A A t f g x A t g x x g t -∀∈⋂∃∈==.由()()f s g s ≤恒成立，得00()()g x f x ≥.由()f x 是减函数，得1()f x -也是减函数，所以1110000(())(())(())f g x f f x x g g x ---≤==，即11()()f t g t --≤.得11,()()A A t f g f t g t --∀∈⋂≤，即欲证结论成立.推论1 已知(),()f x g x 都是单调函数，它们地反函数分别是11(),()fx g x --. (1)若(),()f x g x 都是增函数，则()()f s g s ≥恒成立11()()ft g t --⇔≤恒成立； (2)若(),()f x g x 都是减函数，则()()f s g s ≥恒成立11()()ft g t --⇔≥恒成立. 证明 (1)由定理(1)知“⇒”成立.下证“⇐”：因为()g x 是增函数，11()()g t f t --≥恒成立，11(),()g x f x --地反函数分别是(),()g x f x ，所以由“⇒”地结论得()()g s f s ≤恒成立，即()()f s g s ≥恒成立.(2)同(1)可证.推论2 把定理和推论1中地“,≥≤”分别改为“,><”后，得到地结论均成立. (证法也是把相应结论中地“,≥≤”分别改为“,><”.)在例5与例6这一对姊妹结论“e ln(2),ln e 2x x x x >+<-”中e x y =与ln y x =互为反函数，ln(2)y x =+与e 2x y =-也互为反函数，所以推论2中地结论“若(),()f x g x 都是增函数，则()()f s g s >恒成立11()()ft g t --⇔<恒成立”给出了它们地联系.版权申明本文部分内容，包括文字、图片、以及设计等在网上搜集整理.版权为个人所有This article includes some parts, including text, pictures, and design. Copyright is personal ownership.用户可将本文地内容或服务用于个人学习、研究或欣赏，以及其他非商业性或非盈利性用途，但同时应遵守著作权法及其他相关法律地规定，不得侵犯本网站及相关权利人地合法权利.除此以外，将本文任何内容或服务用于其他用途时，须征得本人及相关权利人地书面许可，并支付报酬.Users may use the contents or services of this article for personal study, research or appreciation, and othernon-commercial or non-profit purposes, but at the same time, they shall abide by the provisions of copyright law and other relevant laws, and shall not infringe upon the legitimate rights of this website and its relevant obligees. In addition, when any content or service of this article is used for other purposes, written permission and remuneration shall be obtained from the person concerned and the relevant obligee.转载或引用本文内容必须是以新闻性或资料性公共免费信息为使用目地地合理、善意引用，不得对本文内容原意进行曲解、修改，并自负版权等法律责任.Reproduction or quotation of the content of this article must be reasonable and good-faith citation for the use of news or informative public free information. It shall not misinterpret or modify the original intention of the content of this article, and shall bear legal liability such as copyright.。
解不等式的几种常见思路
解不等式的几种常见思路一、证明不等式常用思路：不等式的证明思路和方法有：比较法、综合法、分析法、放缩法、反证法；换元法、常数代换法、几何法、数学归纳法、构造函数法等。
（换元法是一个需要专门讨论的方法，这里暂不举例）1、比较法：比较法证明不等式的一般步骤：作差（作商）—变形—判断—结论．作差法：差与“0”比较。
为了判断作差后的符号，经常需要把这个差变形为一个常数，或者变形为一个常数与一个或几个平方和的形式，也可变形为几个因式的积的形式，判断其正负．作商法：商与“1”相比较。
作商时，需要满足两者均为正数。
2、综合法（顺推）：综合法是指从已知条件出发，经过逐步的逻辑推理，最后得到结论，其特点是“执因索果”，即由“已知”，利用已经证明过的不等式或不等式的性质逐步推向“未知”。
综合法证明不等式的逻辑关系是：A B1B2…Bn B，及从已知条件A 出发，逐步推演不等式成立的必要条件，推导出所要证明的结论B.3、分析法（逆推）：从求证的结论出发，分析使这个结论成立的充分条件，把证明不等式转化为判定这些充分条件是否具备的问题，即“执果索因”．即从“未知”看“需知”，逐步靠拢“已知”。
4、放缩法：要证明不等式A<B 成立，借助一个或多个中间变量通过适当的放大或缩小达到证明不等式的方法．放缩法证明不等式的理论依据主要有：①不等式的传递性；②等量加不等量为不等量；③同分子(分母)异分母(分子)的两个分式大小的比较．常用的放缩技巧有：①应用均值不等式进行放缩；②舍掉(或加进)一些项；③在分式中放大或缩小分子或分母。
5、反证法：即从正难则反的角度去思考，要证明不等式A>B，先假设A≤B，由题设及其它性质，推出矛盾，从而肯定A>B. 凡涉及到的证明不等式为否定命题、惟一性命题或含有“至多”、“至少”、“不可能”、“不存在”等词语时，可以考虑用反证法．6、常数代换法常数代换是指利用某些带有常数项的恒等式，把常量化为变量代入到所求证的式子中，以到达化繁为简的目的。