利用导数证明不等式的常见题型及解题技巧

合集下载

高中数学：利用导数证明不等式的常见题型

利用导数证明不等式的常见题型题型一构造函数法把不等式的证明转化为利用导数研究函数的单调性或求最值的问题，从而证明不等式，而如何根据不等式的结构特征构造一个可导函数是利用导数证明不等式的关键.这四道题比较简单，证明过程略.概括而言，这四道题证明的过程分三个步骤：一是构造函数；二是对函数求导，判断函数的单调性；三是求此函数的最值，得出结论.【启示】证明分三个步骤：一是构造函数；二是对函数求导，判断函数的单调性；三是求此函数的最值，得出结论。

题型二通过对函数的变形，利用分析法，证明不等式【启示】解答第一问用的是分离参数法，解答第二问用的是分析法、构造函数，对函数的变形能力要求较高，大家应记住下面的变形：题型三求最值解决任意、存在性变量问题解决此类问题，关键是将问题转化为求函数的最值问题，常见的有下面四种形式：题型四分拆成两个函数研究【注意】(2)如果按题型一的方法构造函数求导，会发现做不下去，只好半途而废，所以我们在做题时需要及时调整思路，改变思考方向.【启示】掌握下列八个函数的图像和性质，对我们解决不等式的证明问题很有帮助，这八个函数分别为要求会画它们的图像，以后见到这种类型的函数，就能想到它们的性质题型五设而不求当函数的极值点（最值点）不确定时，可以先设出来，只设不解，把极值点代入，求出最值的表达式而证明.【启示】设而不求，整体代换是一种常用的方法，在解析几何中体现很多.在本例第（2）问中，只设出了零点而没有求出零点，这是一种非常好的方法，同学们一定要认真体会，灵活应用.题型六估值法题型七利用图象的特点，证明不等式题型八证明数列不等式题型九利用放缩法证明不等式【注意】在解决第（2）问时，用构造函数法证不出来，又试着分开两个函数仍然不行，正当我一筹莫展时，忽然想到与第一问题的切线联系，如果左边的函数的图像在切线的上方，右边函数的图像在切线的下方，这样问题不就得证了吗？心里非常高兴，马上付诸行动。

导数在证明不等式中的有关应用

导数在证明不等式中的有关应用1.最值的判定导数可以帮助我们判断一个函数在其中一区间的最值。

具体来说，如果在一个区间内，函数的导数恒为零或者导数的正负性在其中一点发生变化，那么在该区间内函数的最值就会出现。

例如，考虑函数$f(x)=x^2-4x+3$。

我们可以通过求取导数$f'(x)=2x-4$，并令其等于零，得到$x=2$。

通过检查导数的符号，可以确认在$x<2$时导数为负，$x>2$时导数为正。

因此，在$x<2$时，函数的导数为负，说明函数在这个区间上是递减的；而在$x>2$时，函数的导数为正，说明函数在这个区间上是递增的。

因此，根据导数的正负性和最值判定原则，我们可以得出结论：函数$f(x)$在区间$(-\infty,2)$上单调递减，在区间$(2,+\infty)$上单调递增。

进一步，我们可以求得函数的最值，即当$x=2$时，函数取得最小值。

因此，我们得到了函数$f(x)$的最值以及最值的取值点。

2.利用导数证明不等式的成立导数可以被用来证明各种类型的不等式。

其中一个常见的方法是使用导数的定义和可微函数的局部性质。

考虑函数$f(x)$在闭区间$[a,b]$上有定义且在开区间$(a,b)$内可微。

如果在$(a,b)$内存在一个点$c$，使得$f'(c)>0$，那么基于导数的定义，我们可以得出结论：对于任意的$x \in (a,b)$，都有$f'(x)>0$。

这意味着$f(x)$在$(a,b)$内是单调递增的。

我们可以进一步得出结论：对于任意的$x \in [a,b]$，都有$f'(x) \geq f'(a)$。

因此，我们可以断定$f(x)$在闭区间$[a,b]$上是凸函数。

根据凸函数的性质，我们可以利用函数的凸性证明各种类型的不等式。

例如，我们可以证明对于任意的$x>0$和$y>0$，成立如下的不等式：$\frac{1}{x}+\frac{1}{y} \geq \frac{4}{x+y}$。

高考利用导数证明不等式的常见题型及解题技巧

利用导数证明不等式的常见题型及解题技巧不等式的证明问题是高中数学的一个难点，证明不等式的方法技巧性强，并且各类不等式的证明没有通性解法。

一、简单作差（商）法方法：．要证明对任意∈x [b a ,]都有)()(x g x f ≤，可设)()()(x g x f x h -=，只要利用导数说明)(x h 在[b a ,]上的最大值为0即可．利用导数证明不等式要考虑构造新的函数，利用新函数的单调性或最值解决不等式的证明问题例1、证明下列不等式：①1+≥x e x ②1ln -≤x x ③xx 1-1ln ≥ ④1x 1)-2(x ln +≥x )1(≥x ⑤)2,0(,2sin ππ∈>x x x例2已知函数.ln 21)(2x x x f +=求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方；二、换元后作差构造函数证明【例3】（山东卷）证明：对任意的正整数n ，不等式3211)11ln(nn n ->+ 都成立.提示：令则,1nt =构造0)1ln()(32>+-+=t t t x f例4已知：)0(∞+∈x ，求证xx x x 11ln 11<+<+；（换元：设x x t 1+=）三、利用max min )()(x g x f ≥证明不等式例1、已知函数.22)(),,(,ln )1(1)(ex e x g R b a x a b x ax x f +-=∈+-+-= （1）若函数2)(=x x f 在处取得极小值0，求b a ,的值；（2）在（1）的条件下，求证：对任意的],[,221e e x x ∈，总有)()(21x g x f >.例2：证明：对一切),0(+∞∈x ，都有exe x x 21ln ->成立.含有两个变量的不等式常有两种题型，即根据两个变量是否能分离将题型分为可分离变量式和不可分离变量式，对于这两种采用不同的方法，请注意区别。

考点20利用导数证明不等式(3种核心题型)(学生版) 2025年高考数学大一轮复习核心题型(新高考版

考点20利用导数证明不等式（3种核心题型+基础保分练+综合提升练+拓展冲刺练）【考试提醒】导数中的不等式证明是高考的常考题型，常与函数的性质、函数的零点与极值、数列等相结合，虽然题目难度较大，但是解题方法多种多样，如构造函数法、放缩法等，针对不同的题目，灵活采用不同的解题方法，可以达到事半功倍的效果【核心题型】题型一　将不等式转化为函数的最值问题待证不等式的两边含有同一个变量时，一般地，可以直接构造“左减右”的函数，有时对复杂的式子要进行变形，利用导数研究其单调性和最值，借助所构造函数的单调性和最值即可得证．【例题1】（2024·陕西咸阳·模拟预测）已知1201x x <<<，下列不等式恒成立的是（）A ．1221e e x xx x C ．1122ln ln x x x x <D ．11e ln x x >【变式1】（2024·全国·模拟预测）下列正确结论的个数为（）①13sin1010π> ②141sin sin 334< ③16tan 16> ④()tan π3sin 3->A ．1B ．2C ．3D ．4【变式2】（2024·四川成都·三模）已知函数2()ln ,f x ax x a =-ÎR .(1)讨论函数()f x 的单调性；(2)设0,()()a g x f x bx >=+，且1x =是()g x 的极值点，证明：2+ln 12ln 2b a £-.【变式3】（2024·四川成都·三模）已知函数()()()e sin 1,0,πxf x ax x x x =---Î.(1)若12a =，证明：()0f x >；(2)若函数()f x 在()0,π内有唯一零点，求实数a 的取值范围.题型二　将不等式转化为两个函数的最值进行比较若直接求导比较复杂或无从下手时，可将待证式进行变形，构造两个函数，从而找到可以传递的中间量，达到证明的目标．本例中同时含ln x 与e x ，不能直接构造函数，把指数与对数分离两边，分别计算它们的最值，借助最值进行证明．【例题2】（2023·河南开封·模拟预测）已知13a =，13e 1b =-，4ln 3c =，则（）A ．a b c <，则下列结论正确的是（）A ．e 2a b<-B ．1lna b<C ．1a b<-D ．1e lnba<【变式2】（2024·浙江杭州·模拟预测）已知函数()()1122e ,e e e 1xxx x f x m m g x -=+-=++.(1)当0m =时，证明：()e xf x -<；(2)当0x <时，()g x t ³，求t 的最大值；(3)若()f x 在区间()0,¥+存在零点，求m 的取值范围.【变式3】（2024·贵州黔西·一模）已知函数29()ln 22f x x x x x =--.(1)判断()f x 的单调性;(2)证明:1352193ln(21)35721n n n n -æö++++>-+ç÷+èøL .题型三　适当放缩证明不等式导数方法证明不等式中，最常见的是e x 和ln x 与其他代数式结合的问题，对于这类问题，可以考虑先对e x 和ln x 进行放缩，使问题简化，简化后再构建函数进行证明．常见的放缩公式如下：(1)e x ≥1＋x ，当且仅当x ＝0时取等号；(2)ln x ≤x －1，当且仅当x ＝1时取等号．【例题1】（2024·河北沧州·一模）已知等比数列{}n a 的前n 项和为413,1,e Sn S a S >=，则数列{}n a 的公比q 满足（）A ．01q <£B ．10q -<<C ．1q >D ．1q £-【变式1】（2024·广东·模拟预测）令()sin 0.5cos1cos 2cos ,N n a n n °°°°+=+++ÎL ．则n a 的最大值在如下哪个区间中（）A ．(0.49,0.495)B ．(0.495,0.5)C ．(0.5,0.505)D ．(0.505,0.51)【变式2】（2024·全国·模拟预测）设整数1p >，1x >-且0x ¹，函数()(1)1p f x x px =+--．(1)证明：()0f x >；(2)设0x >，证明：ln(1)x x +<；(3)设*n ÎN ，证明：111321232ln(1)n n n n ++++<-+L ．【变式3】（23-24高三下·河南·阶段练习）已知函数()(1)1(1)r f x x rx x =+-->-，0r >且1r ¹．(1)讨论()f x 的单调性；(2)6332的大小，并说明理由；(3)当*n ÎN时，证明：2sin 176n kk n =<+å．【课后强化】基础保分练一、单选题1．（22-23高三上·四川绵阳·开学考试）若1201x x <<<，则（）A ．2121e e ln ln x xx x ->-B ．2121e e ln ln x xx x -<-C ．1221e e x xx x >D ．1221e e x xx x <2．（2023·陕西咸阳·三模）已知12023a =，20222023eb -=，1cos 20232023c =，则（）A ．a b c >>B ．b a c >>C ．b c a>>D ．a c b>>3．（23-24高三上·云南保山·期末）已知16a =，7ln 6b =，1tan 6c =，则（）A ．b a c <B ．22128x x +<C ．1212x x x x +=D ．()()()221212164f x f x x x +<+-6．（2023·福建·模拟预测）机械制图中经常用到渐开线函数inv tan x x x =-，其中x 的单位为弧度，则下列说法正确的是（）A ．inv x x ×是偶函数B ．inv x 在ππ(π,π)22k k --+上恰有21k +个零点（N k Î）C ．inv x 在ππ(π,π)22k k --+上恰有41k +个极值点（N k Î）D ．当π02x -<<时，inv sin x x x <-三、填空题7．（2023·海南·模拟预测）已知函数()1ln e x x af x --=，()1x a g x x--=，若对任意[)1,x ¥Î+，()()f x g x £恒成立，则实数a 的取值范围是 .8．（2023·河南开封·模拟预测）实数x ，y 满足()23e 31e x y x y -£--，则3xy -的值为．四、解答题9．（2023·吉林长春·模拟预测）已知函数()21()1ln 2f x x x =--.(1)求()f x 的最小值；(2)证明：47ln332>.10．（2024·广东佛山·二模）已知()21e 4e 52x xf x ax =-+--.(1)当3a =时，求()f x 的单调区间；(2)若()f x 有两个极值点1x ，2x ，证明：()()12120f x f x x x +++<.11．（2023·四川成都·二模）已知函数()e sin xf x x -=.(1)求()f x 在()()0,0f 处的切线方程；(2)若0x 是()f x 的最大的极大值点，求证：()01f x <<综合提升练一、单选题1．（22-23高三上·河南·阶段练习）若32e 3ln 22x yx y +-=+，其中2,2x y >>，则（）A ．e x yC ．24e xy>D ．2e x y>2．（2023·福建·模拟预测）已知ln 2a =，1e b a=-，2a c a =-，则（）A ．b c a>>B ．b a>C ．c a b>>D．c b a>>3．（2023·河北衡水·三模）若a =1b =-，c =则（）A ．c a b <<B ．c b a <<C ．b c a<<D ．a c b<<4．（2023·新疆·三模）已知数列{}n a 中，11a =，若1nn nna a n a +=+（N n *Î），则下列结论中错误的是（）A ．325a =B ．1111n na a +-£C ．1ln 1nn a <-（2,N n n *³Î）D ．2111112n n a a ++-<5．（2023·河南·模拟预测）设a ，b 为正数，且2ln ab a b=-，则（）.A ．112a b<<B ．12a b<<C ．112ab <<D ．12ab <<6．（2024·上海虹口·二模）已知定义在R 上的函数()(),f x g x 的导数满足()()f x g x ¢£¢，给出两个命题：①对任意12,x x ÎR ，都有()()()()1212f x f x g x g x -£-；②若()g x 的值域为[]()(),,1,1m M f m f M -==，则对任意x ÎR 都有()()f x g x =.则下列判断正确的是（）A ．①②都是假命题B ．①②都是真命题C ．①是假命题，②是真命题D ．①是真命题，②是假命题7．（2024·四川泸州·三模）已知0x >，e ln 1x y +=，给出下列不等式①ln 0x y +<；②e 2x y +>；③ln e 0y x +<；④1x y +>其中一定成立的个数为（）A ．1B ．2C ．3D ．48．（2024·四川攀枝花·三模）已知正数,,a b c 满足ln e c a b b ca ==，则（）A ．a b c >>B ．a c b>>C ．b a c>>D ．b c a>>二、多选题9．（2023·福建龙岩·二模）已知函数()ln n f x x n x =-（*n ÎN ）有两个零点，分别记为n x ，n y （<n n x y ）；对于0a b <<，存在q 使)()()(()n n n f f f a q b a b -=-¢，则（）A ．()n f x 在()1,+¥上单调递增B ．e n >（其中e 2.71828=L 是自然对数的底数）C ．11n n n n x x y y ++-<-D ．2q a b<+10．（2023·河南信阳·模拟预测）已知,,,a b c d ÎR ，满足0a b c d >>>>，则（）A ．sin sin a b >B ．sin sin a a b b ->-C ．a bd c>D ．ad bc ab cd+>+11．（2024·河北沧州·一模）已知函数()e xf x =与函数()211g x x =+-的图象相交于()()1122,,,A x y B x y 两点，且12x x <，则（）A ．121y y =B ．211exy =C ．21211y y x x ->-D ．221x y =三、填空题12．（2023·四川成都·三模）已知函数()2()2ln 32f x x a x x =+-+，a ÎR .当1x >时，()0f x >，则实数a 的取值范围为．13．（23-24高三下·广东云浮·阶段练习）若实数a ，b 满足()()221ln 2ln 1a b a b -³+-，则a b += ．14．（2024·全国·模拟预测）若实数a ，b ，c 满足条件：()2e e 2e 1a b ca b c a -++-+=-，则444abca b c ++的最大值是．四、解答题15．（2024·青海西宁·二模）已知函数()()()2222ln R f x x a x a x a =+--Î．(1)若2a =，求()f x 的极值；(2)若()()2222ln g x f x a x x =+-+，求证：()12g x ³．16．（2024·山东济南·二模）已知函数()()()22l ,n 1e x f x ax x g x x ax a =--=-ÎR .(1)讨论()f x 的单调性；(2)证明：()()f x g x x +³.17．（2024·上海松江·二模）已知函数ln y x x a =×+（a 为常数），记()()y f x x g x ==×.(1)若函数()y g x =在1x =处的切线过原点，求实数a 的值；(2)对于正实数t ，求证：()()()ln 2f x f t x f t t a +-³-+；(3)当1a =时，求证：e ()cos x g x x x+<.18．（2024·上海嘉定·二模）已知常数m ÎR ，设()ln mf x x x=+，(1)若1m =，求函数()y f x =的最小值；(2)是否存在1230x x x <<<，且1x ，2x ，3x 依次成等比数列，使得()1f x 、()2f x 、()3f x 依次成等差数列？请说明理由．(3)求证：“0m £”是“对任意()12,0,x x Î+¥，12x x <，都有()()()()1212122f x f x f x f x x x ¢¢+->-”的充要条件．19．（2024·全国·模拟预测）已知函数()()2e ln 1xf x a x =-+．(1)若2a =，讨论()f x 的单调性．(2)若0x >，1a >，求证：()1ln 2f x a a >-．拓展冲刺练一、单选题1．（2023·上海奉贤·二模）设n S 是一个无穷数列{}n a 的前n 项和,若一个数列满足对任意的正整数n ,不等式11n n S S n n +<+恒成立,则称数列{}n a 为和谐数列,有下列3个命题:①若对任意的正整数n 均有1n n a a +<,则{}n a 为和谐数列;②若等差数列{}n a 是和谐数列,则n S 一定存在最小值;③若{}n a 的首项小于零,则一定存在公比为负数的一个等比数列是和谐数列．以上3个命题中真命题的个数有( )个A ．0B ．1C ．2D ．32．（2023·新疆乌鲁木齐·三模）已知0.19e a -=，0.9b =，2ln0.91c =+，则（）A ．b c a>>B ．a c b>>C ．c b a>>D ．b a c>>3．（2023·湖南长沙·一模）已知()e 0.1e 0.1a +=-，e e b =，()e 0.1e 0.1c -=+，则a ，b ，c 的大小关系是（）A ．a b c <<B ．c a b <<C ．b a c<<D ．a c b<<4．（2024·青海·二模）定义在R 上的函数()f x 满足()()2231218f x f x x x --=-+，()f x ¢是函数()f x 的导函数，以下选项错误的是（）A ．()()000f f ¢+=B ．曲线()y f x =在点()()1,1f 处的切线方程为210x y --=C ．()()f x f x m -¢³在R 上恒成立，则2m £-D ．()()74ee xf x f x -³-¢-二、多选题5．（2024·全国·模拟预测）已知n S 为正项数列{}n a 的前n 项和，且221n n n a S a -=，则（）A ．=n aB ．1n na a +>C ．1ln n nS n S -³D ．212n n n S S S +++>6．（2024·全国·模拟预测）已知1e 1ln ,0aa b=+>，则下列结论正确的是（）A ．e 2a b >-B ．1lna b<C ．1e lnb a<D ．1a b>-三、填空题7．（2023·浙江温州·二模）已知函数e e()ln ln f x x x x x=++-，则()f x 的最小值是；若关于x 的方程()22f x ax =+有1个实数解，则实数a 的取值范围是.8．（2023·福建福州·模拟预测）已知定义在()0,¥+上函数()f x 满足：()()ln 1x f x x +<<，写出一个满足上述条件的函数()f x = .四、解答题9．（2024·辽宁·模拟预测）已知函数()()sin ln sin f x x x =-，()1,2x Î(1)求()f x 的最小值；(2)证明：()sin sin eln sin 1x xx x -×->.10．（2024·四川攀枝花·三模）已知函数()()ln 1R af x x a x=+-Î．(1)当2a =时，求函数()f x 在1x =处的切线方程；(2)设函数()f x 的导函数为()f x ¢，若()()()1212f x f x x x ¢¢=¹，证明：()()1211f x f x a++>．11．（2024·山西晋城·二模）已知函数()()e x f x x a x a =-++（a ÎR ）．(1)若4a =，求()f x 的图象在0x =处的切线方程；(2)若()0f x ³对于任意的[)0,x Î+¥恒成立，求a 的取值范围；(3)若数列{}n a 满足11a =且122nn n a a a +=+（*n ÎN ），记数列{}n a 的前n 项和为n S ，求证：[]1ln (1)(2)3n S n n +<++．。

导数与构造函数证明不等式的技巧

导数与构造函数证明不等式的技巧导数是微积分中的一个重要概念。

它可以描述函数在各个点上的变化率，也可以用来求函数的最大值、最小值以及拐点等重要信息。

而构造函数则是数学中一种非常常见的证明不等式的方法。

本文将介绍一些常用的导数和构造函数证明不等式的技巧。

一、使用导数证明不等式1. 求导数确定函数的单调性对于一个函数$f(x)$，如果它在某个区间上的导数$f'(x)$大于0，说明它在该区间上单调递增；如果导数$f'(x)$小于0，则说明它在该区间上单调递减。

因此，如果要证明一个不等式在某个区间上成立，可以先求出函数在该区间上的导数，确定其单调性，然后再比较函数在两个端点处的取值即可。

例如，对于函数$f(x)=x^2-4x+3$，我们可以求出它的导数为$f'(x)=2x-4$。

由于$f'(x)>0$时$f(x)$单调递增，因此当$x<2$时，$f(x)<f(2)$，当$x>2$时，$f(x)>f(2)$，即$f(x)$在$x<2$和$x>2$的区间上都小于$f(2)$，因此我们可以得到不等式$f(x)<f(2)$，即$x^2-4x+3<1$。

2. 求导数判断函数的最值对于一个函数$f(x)$，如果它在某个点$x_0$处的导数$f'(x_0)=0$，且$f^{''}(x_0)>0$（即$f(x)$的二阶导数大于0）则$f(x)$在$x_0$处取得一个局部最小值；如果$f^{''}(x_0)<0$，则$f(x)$在$x_0$处取得一个局部最大值。

因此，如果要证明一个不等式最值的存在性，可以先求出函数的导数，再找出导数为0的点即可。

3. 构造特殊的函数如果一个不等式的两边都是多项式，可以考虑构造一个较为特殊的函数，来证明不等式的成立性。

例如，对于不等式$\dfrac{1}{a+b}+\dfrac{1}{b+c}+\dfrac{1}{c+a}\leq\dfrac{3}{2\sqrt[3]{abc}}$，我们可以考虑构造一个函数$f(x)=\dfrac{1}{a+b+x}+\dfrac{1}{b+c+x}+\dfrac{1}{c+a+x}-\dfrac{3}{2\sqrt[3]{(a+x)(b+x)(c+x)}}$，并证明$f(x)\leq 0$。

利用导数证明不等式的常见题型及解题技巧

利用导数证明不等式的常见题型及解题技巧利用导数证明不等式的常见题型及解题技巧趣题引入已知函数x x x g ln )(= 设b a <<0，证明：2ln )()2(2)()(0a b b a b g a g -<+-+< 分析：主要考查利用导数证明不等式的能力。

证明：1ln )(+='x x g ，设)2(2)()()(x a g x g a g x F +-+= 2ln ln )2()(21)2(2)()(''''x a x x a g x g x a g x g x F +-=+-=⨯+-=' 当a x <<0时 0)(<'x F ，当a x >时 0)(>'x F ，即)(x F 在),0(a x ∈上为减函数，在),(+∞∈a x 上为增函数∴0)()(min ==a F x F ，又a b > ∴0)()(=>a F b F ，即0)2(2)()(>+-+b a g b g a g 设2ln )()2(2)()()(a x x a g x g a g x G --+-+= )ln(ln 2ln 2ln ln )(x a x x a x x G +-=-+-='∴ 当0>x 时，0)('<x G ，因此)(x G 在区间),0(+∞上为减函数；因为0)(=a G ，又a b > ∴0)()(=<a G b G ，即 02ln )()2(2)()(<--+-+a x x a g x g a g 故2ln )()2(2)()(a x x a g x g a g -<+-+ 综上可知，当 b a <<0时，2ln )()2(2)()(0a b b a b g a g -<+-+< 本题在设辅助函数时，考虑到不等式涉及的变量是区间的两个端点，因此，设辅助函数时就把其中一个端点设为自变量，范例中选用右端点，读者不妨设为左端点试一试，就能体会到其中的奥妙了。

利用导数证明不等式的四种常用方法

利用导数证明不等式的四种常用方法方法一：使用函数的单调性如果函数f(x)在区间[a,b]上单调递增（或递减），则对于任意的x1,x2∈[a,b]，有f(x1)≤f(x2)（或f(x1)≥f(x2)）。

举例说明：证明当x＞0时，e^x＞1+x。

我们考虑函数f(x)=e^x-(1+x)，取f'(x)=e^x-1、如果f'(x)≥0，则f(x)在x＞0上单调递增，且f(x)在x=0处取到最小值。

通过计算可得f'(x)≥0，所以f(x)在x＞0上单调递增，即e^x-(1+x)≥0。

即e^x＞1+x。

方法二：使用函数的极值点如果函数f(x)在一些点x0处取得极小值（或极大值），则该点附近的函数值也有相应的性质。

举例说明：证明(1+x)^n > 1+nx，其中n为自然数。

我们考虑函数f(x) = (1+x)^n - (1+nx)，取f'(x) = n(1+x)^(n-1) - n。

令f'(x) = 0，可得x = -1/(n-1)。

我们先考虑x ∈ (-∞, -1/(n-1))，在此区间上f'(x) > 0，所以f(x)在此区间上单调递增。

当x < -1/(n-1)时，有f(x) > f(-1/(n-1)) = 0。

所以在此区间上(1+x)^n > 1+nx。

同理可得，当x ∈ (-1/(n-1), +∞)时，也有(1+x)^n > 1+nx。

方法三：使用函数的凹凸性如果函数f(x)在一些区间上是凹的（或凸的），则函数的函数值也有相应的性质。

举例说明：证明当a＞0时，有√a≤(a+1)/2我们考虑函数f(x) = √x，取f''(x) = -x^(-3/2)。

我们知道，当f''(x)≥0时，函数f(x)在该区间上为凹函数。

计算可得f''(x)≥0，所以f(x)在[0, +∞)上为凹函数。

利用导数证明不等式的几种策略

利用导数证明不等式的几种策略导数在数学中起着至关重要的作用，不仅可以用来求函数的极值点和拐点，还可以用来证明不等式。

在证明不等式时，我们可以利用导数的性质来进行推导。

下面将介绍几种利用导数证明不等式的策略。

1.利用单调性证明不等式对于一个给定的函数，在其定义域内，如果函数在一段区间上是单调递增或者单调递减的，则可以利用该函数的导数证明一些不等式。

例如，我们要证明对于任意正实数x，有ln(x+1) < x。

我们可以设函数f(x) = x - ln(x+1)，然后计算导数f'(x) = 1 - 1/(x+1)。

观察导数的符号可以发现，当x > 0时，导数f'(x) < 0，即函数f(x)在x > 0上是单调递减的。

因此，我们可以得出结论：ln(x+1) < x 对于任意正实数x成立。

2.利用极值点证明不等式对于一个给定的函数，如果该函数在一些点处取得极大值或者极小值，我们可以通过证明该极值点处的函数值与其他点处的函数值之间的关系，来证明不等式。

例如，我们要证明对于任意非负实数x，有x^3-3x^2+1>=0。

我们可以设函数f(x)=x^3-3x^2+1，然后计算导数f'(x)=3x^2-6x。

观察导数的零点可以发现，f'(x)=0时，x=0或者x=2，即函数f(x)在x=0和x=2处取得极小值或者极大值。

进一步计算f(0)=1和f(2)=-1可以发现，f(0)是函数f(x)在其定义域内的最小值。

因此，我们可以得出结论：x^3-3x^2+1>=0对于任意非负实数x成立。

3.利用泰勒展开证明不等式对于一个给定的函数，在一些点的邻域内，我们可以使用该函数的泰勒展开式来近似表示该函数。

通过比较泰勒展开式的高阶项可以得出一些不等式。

例如，我们要证明对于任意正实数x，有e^x>x^2、我们可以使用泰勒展开式来近似表示函数e^x和函数x^2，在x=0处进行展开。

利用导数证明不等式考点与题型归纳

利用导数证明不等式考点与题型归纳考点一单变量不等式的证明方法一移项作差构造法证明不等式ln x ae 1［例1］已知函数f(x)= 1 —~x，g(x)= 'e x + X— bx(e为自然对数的底数)，若曲线y= f(x) 与曲线y= g(x)的一个公共点是 A(1,1)，且在点A处的切线互相垂直.(1)求a, b的值；2(2)求证：当 x> 1 时，f(x) + g(x)> -xIn x［解］⑴因为f(x)= 1 —-^,In x— 1所以f (x)= 7 , f' (1) =— 1.ae 1 ae 1因为 g(x)= e x + x— bx,所以 g (x)= — e x—x^—b.因为曲线y= f(x)与曲线y= g(x)的一个公共点是 A(1,1)，且在点A处的切线互相垂直，所以 g(1) = 1,且 f' (1) g- (1) = — 1,即 g(1) = a + 1— b= 1, g' (1) = — a — 1 — b= 1,解得 a=— 1, b=— 1.e 1(2)证明：由(1)知，g(x)= —孑+ x + x,小2^ A In x e 1贝 y f(x)+g(x) > x?1—T—e x— x+X》0.令 h(x) = 1 —皿—€—1+ x(x> 1),x e x则 h'(x)=—+e+x2+1=少+當+1.In x e因为 x> 1,所以 h' (x)=卡+1>o,所以h(x)在［1 ,+s)上单调递增，所以h(x)>h(1) = 0,即 1-也-e—丄+x> o,x e xx2 所以当 x> 1 时，f(x) + g(x)>x.［解题技法］待证不等式的两边含有同一个变量时，一般地，可以直接构造“左减右”的函数，利用导数研究其单调性，借助所构造函数的单调性即可得证.方法二隔离审查分析法证明不等式1 ［例2］ (2019长沙模拟)已知函数f(x)= ex2- xln x•求证：当x> 0时，f(x)v xe x+ -.1 1 1［证明］要证 f(x)v xe x+-，只需证 ex — In x v e x+ ，即 ex - e x< In x+ .ex —e ex ex1令 h(x) = In x +—(x>0),贝U h' (x)= ex易知h(x)在0, e上单调递减，在e，上单调递增，则h(x)min = h 1 = 0，所以In1x+ex》°.再令0(x)= ex— e x,贝U O' (x) = e— e x,易知O(x)在 (0,1)上单调递增，在(1,+^ )上单调递减，则O(X)max= 0(1) = 0，所以ex —e x< 0.x 1因为h(x)与«x)不同时为0，所以ex — e x< In x+ £,故原不等式成立.［解题技法］若直接求导比较复杂或无从下手时，可将待证式进行变形，构造两个都便于求导的函数，从而找到可以传递的中间量，达到证明的目标.方法三、放缩法证明不等式［例 3］已知函数 f(x)= ax— In x— 1.(1)若f(x)》0恒成立，求a的最小值；e x(2)求证：—+ x+ In x— 1 > 0;xx［解］(1)f(x) >0 等价于 a >(3)已知k(e x + x2)> x— xIn x恒成立，求k的取值范围. In x+ 1x1 — Inx所以k》- e- x T + x人In x+1…, In x令 g(x) = X~(x>0)，贝V g (x)=—立，所以当 x€ (0,1)时，g' (x)> 0,当 x€ (1 ,+s)时,g' (x)v 0,则g(x)在(0,1)上单调递增，在(1 ,+s)上单调递减，所以g(x)max= g(1) = 1,则a > 1, 所以a的最小值为1.⑵证明：当a= 1时，由(1)得x> In x+ 1,即 t> In t + 1(t> 0).e—x令~x~ = t,则—x— In x= In t,e—x所以——> —x— In x+ 1,xe-x即一+ x+ In x — 1 > 0. x—xe 、⑶因为k(e-x+ x2) >x— xIn x恒成立，即 k—— + x > 1 — In x恒成立,xe- x二 + x + In x— 1+1,e—x由⑵知■— + x+ In x— 1> 0恒成立,入—xe+ x+ In x— 1x所以一二 ---------------- + K 1,所以k> 1.e—故k的取值范围为［1 , + g).［解题技法］导数的综合应用题中，最常见就是e x和In x与其他代数式结合的难题，对于这类问题, 可以先对e x和In x进行放缩，使问题简化，便于化简或判断导数的正负•常见的放缩公式如下：(1)e x> 1 + x,当且仅当x= 0时取等号；(2)e x>ex,当且仅当x = 1时取等号；1(3)当x>0时，e x> 1 + x+ ?x2,当且仅当x= 0时取等号；(6)当 x> 1 时, 2 x— 1x+ 1 < In x<x— 1x，当且仅当x= 1时取等号.X1 +⑷当x>0时，e x>討+ 1,当且仅当x= 0时取等号；X— 1⑸一 < In x< x — K X2— x,当且仅当 x= 1时取等号;X考点二双变量不等式的证明［典例］已知函数 f(x)= In x— 2ax2+ x, a € R.(1)当a = 0时，求函数f(x)的图象在(1, f(1))处的切线方程;⑵若 a =— 2,正实数 X1, x2 满足 f(X1)+ f(X2)+ X1x2= 0,求证:1 ［解］(1)当 a= 0 时，f(x)= In x+ x，则 f(1) = 1，所以切点为(1,1)，又因为 f ' (x) = - +入1,所以切线斜率k= f (1) = 2,故切线方程为 y— 1 = 2(x— 1),即卩2x— y— 1 = 0.(2)证明：当 a=— 2 时，f(x)= In x+ x2 + x(x> 0).由 f(X1 ) + f(X2) + X1X2= 0,即 In X1 + x1+ X1 + In X2 + x2+ x2 + X1X2 = 0,从而(X1+ X2)2 +(X1+ X2) = X1X2 — In(X1X2),令 t= X1X2,设©(t) = t — In t(t> 0),则© (t)= 1 —1 =一,易知©(t)在区间(0,1)上单调递减，在区间(1,+^)上单调递增，所以©(t) > ©(1) = 1,所以(X1+ X2)2 + (X1+ X2) > 1 ,V5 — 1 因为 X1> 0, X2> 0，所以 X1+ X2> —2 —成立.［解题技法］破解含双参不等式的证明的关键一是转化，即由已知条件入手，寻找双参所满足的关系式，并把含双参的不等式转化为含单参的不等式;2 4a x — a 石 2v 0,二是巧构造函数，再借用导数，判断函数的单调性，从而求其最值;三是回归双参的不等式的证明，把所求的最值应用到双参不等式，即可证得结果. ［题组训练］a已知函数f(x) = In x+ .x(1)求f(x)的最小值；⑵若方程f(x)= a 有两个根x i , X 2(x i v x 2)，求证：x i + X 2> 2a.1 a x — a解：(1)因为 f' (x) = x — x 2= x^(x> 0)，所以当a w 0时，f(x)在(0 ,+R )上单调递增，函数无最小值.当a > 0时，f(x)在(0, a)上单调递减，在(a ,+^)上单调递增.函数f(x)在x= a 处取最小值f(a)= In a+ 1.⑵证明：若函数y= f(x)的两个零点为X 1, x 2(X 1V x 2),由(1)可得 O v X 1V a v X 2.令 g(x) = f(x) — f(2a — x)(0 v x v a),丄 1则 g ' (x)= (x — a) X 2— 2a — x 2 所以g(x)在(0, a)上单调递减，g(x)>g(a) = 0,即 f(x) > f(2a — x).令 x = X 1 v a,贝V f(x 1) >f(2a — X 1),所以 f(x 2) = f(x 1) >f(2a — X 1),由(1)可得f(x)在(a, + g )上单调递增，所以X 2>2a — X 1,故 X 1 + X 2> 2a. 考点三证明与数列有关的不等式a ［典例］已知函数f(x)= In(x+ 1) + 二..X. I 厶(1)若x>0时，f(x)> 1恒成立，求a 的取值范围；1 1 1 1 *⑵求证：ln(n+ 1)>3+ 5171…+ 2^+1 (n C N ).a［解］(1)由 In(x+ 1)+ > 1,得x+ 2a> (x+ 2) — (x+ 2)1 n(x+ 1).令 g(x) = (x+ 2)[1 — In(x+ 1)],x+ 2 1则 g ' (x)= 1 — In (x+ 1) —=— In (x+ 1)—-x+ 1 x + 1 当x>0时，g' (x) v 0，所以g(x)在(0,+g)上单调递减.所以g(x)v g(0) = 2,故a的取值范围为[2 , + ).2(2)证明：由(1)知 In(x+ 1) + > 1(x> 0),x+ 2所以 In(x+ 1) > xx+ 2令 x = k(k> 0)，得 In k+ 1>k+2k+ 1 即In1 > 一2 3所以 In” + In^+ In 4n + 11 1 1 13+…+ In => 1+1+尹…+ 乔，即 ln(n + 1)>3 +1 + 7+・・・+-^(n € N *).3 5 72n + 1［解题技法］证明与数列有关的不等式的策略(1)证明此类问题时常根据已知的函数不等式，用关于正整数 n 的不等式替代函数不等式中的自变量.通过多次求和达到证明的目的. 此类问题一般至少有两问，已知的不等式常由第一问根据待证式的特征而得到.(2)已知函数式为指数不等式(或对数不等式)，而待证不等式为与对数有关的不等式 (或与指数有关的不等式)，还要注意指、对数式的互化，如e x > x+ 1可化为In(x+ 1)v x 等.［题组训练］(2019 长春质检)已知函数 f(x)= e x ，g(x)= In(x+ a) + b. (1) 若函数f(x)与 g(x)的图象在点(0,1)处有相同的切线，求a ，b 的值;(2)当b = 0时，f(x) — g(x) > 0恒成立，求整数 a 的最大值；(3) 求证：In 2 + (In 3 - In2)2+ (In 4 - In 3)3+ — + [ln(n + 1) — In n]n v -^(n € N *). e i 解：⑴因为函数f(x)和g(x)的图象在点(0,1)处有相同的切线，所以 f(0) = g(0)且f' (0)=g' (0),ii又因为 f' (x)= e x , g' (x)= ，所以 1 = In a+ b,1 = ;,x+ aa解得 a= 1, b= 1.⑵现证明 e x > x+ 1，设 F(x)= e x - x-1，则 F ' (x)= e x - 1,当 x € (0, + )时，F' (x) > 0，当x € (—a, 0)时，F ' (x)v 0，所以F(x)在(0 ,+s )上单调递增，在(一a, 0)上单调递减，所以F(x)min = F(0) = 0,即F(x)> 0恒成立，即 e x>x+ 1.同理可得 In(x+ 2)w x+ 1，即 e x> In(x+ 2),当 a w 2 时，ln(x + a) w ln(x+ 2) v e x,所以当a w 2时，f(x) — g(x) > 0恒成立.当 a >3 时，e0v In a，即 e x- In(x+ a)> 0 不恒成立.故整数a的最大值为2.—n+ 1⑶证明：由⑵知e x>ln(x+2),令x= —，—n+1一n+ 1则e~~^~ >ln一n—+2,——n -k 1即 e-n + 1> In ----------- + 2n= [ln(n + 1) - In n]n,n所以 e°+ e-1 + e-2+ …+ e一n+ 1>In 2+ (In 3 — In 2)2+ (In 4— In 3) 3+ …+ [ln(n+ 1) — Innn],11—』1 e 又因为 e0 + e-1+ e-2+ ••• + e-n+1= 1 v —= ,1-；1-1 e-1e ee 所以 In 2 + (In 3 - In 2) 2+ (In 4 — In 3)3+ …+ [ln(n+ 1)-In n]n v e- 1［课时跟踪检测］11. (2019 唐山模拟)已知 f(x)= qx2— a2ln x, a>0.⑴求函数f(x)的最小值；f x — f 2a 3⑵当x>2a时，证明：>尹x— 2a 2解：⑴函数f(x)的定义域为(0 ,+^),a2 x+ a x— a f (x) = x — x=当 x € (0, a)时，f' (x)v 0, f(x)单调递减；当 x € (a ,+s)时，f' (x)> 0, f(x)单调递增.1所以当x= a时，f(x)取得极小值，也是最小值，且f(a) = ~a2— a2ln a.(2)证明：由⑴知，f(x)在(2a, + )上单调递增，3则所证不等式等价于 f(x) — f(2a) — ^a(x— 2a) > 0.“ 3设 g(x) = f(x) — f(2a) — 2a(x— 2a),则当x>2a时，, , 3 a2 32x+ a x— 2a2x > 0,g (x) = f (x) — 2a = x—— ^a所以g(x)在(2a,+s)上单调递增,当 x>2a 时，g(x)>g(2a)= 0,3即 f(x) — f(2a) — ?a(x— 2a)>0,f x — f 2a 3故> "a.x— 2a 22.(2018黄冈模拟)已知函数f(x)=亦x— e—x(入€ R). (1)若函数f(x)是单调函数，求入的取值范围；x2 ⑵求证：当 0v X1 v x2 时，e1 — x2 — e1 — X1> 1 —:.1解：⑴函数f(x)的定义域为(0 ,+8 ),••f(x)= An x— e—x,+ xe— x~X~，•••函数f(x)是单调函数，••• f' (x)w 0或f' (x) > 0在(0 ,+s)上恒成立,+ xe x①当函数f(x)是单调递减函数时，f' (x)< 0, •------------------- < 0,即X+ xe—x< 0,疋xe—x Xx X一 1令y(x)=—孑，贝y y (x)=-e^,当 0 v x v 1 时，y (x) v 0；当 x> 1 时，y (x) >0,则y x)在(0,1)上单调递减，在(1 ,+8 )上单调递增，•••当x> 0时，y x)min=y i) =x+ xe②当函数f(x)是单调递增函数时，f' (x)>0,•••------------------- >0,即入 + xe—x》0, xe—xx由①得y(x)= —吞在(o,1)上单调递减，在(1, + 8)上单调递增,又■ y(0) = 0,当 x综上，入的取值范围为1——8(2)证明：由(1)可知，当f(x)= — ein X — e— x在(0, + 8 )上单调递减,X1 X2 ln X2>1 —门■-0 v x i v X2,1 1•••f(X1)>f(x2)，即一：ln X1 — e— X1 >— ?ln X2 — e— X2,•'el — X2— el — x i > In x i — In X2.X2 X2要证e1—X2—e1 — 11>1—X1,只需证In X1—ln X2>1—门即证11 1令 t= X11，t€ (0,1)，则只需证 In t> 1 —-,• - f(x)min ==In k,1t —12 13令 h(t) = In t+ f — 1，则当 0v t v 1 时，h'⑴v 。

利用导数证明不等式的几种方法

利用导数证明不等式的几种方法导数是微积分的一个重要概念，它可以用来研究函数的变化趋势和性质。

在证明不等式时，利用导数是一种常见的方法。

下面将介绍几种常用的利用导数证明不等式的方法。

一、极值点法这种方法的基本思路是通过求函数的导数，并找出函数的极值点，来确定不等式的成立条件。

具体步骤如下：1.求函数的导数。

2.找出导数存在的区间。

3.求出导数的零点即函数的极值点。

4.判断在极值点附近函数的变化情况，从而确定不等式的成立条件。

例如，我们要证明一个函数f(x)在区间[a,b]上是单调递增的。

则可以通过求函数的导数f'(x)，找出f'(x)的零点，然后判断f'(x)的符号来确定f(x)的变化趋势。

这种方法的特点是简单直观，容易理解和操作。

但是要求函数的导数存在，在一些特殊情况下可能无法使用。

二、Lagrange中值定理法Lagrange中值定理是微积分中的一个重要定理，它表明：如果一个函数在区间 [a, b] 上连续，并且在 (a, b) 上可导，则在 (a, b) 存在一个点 c，使得函数在 c 处的导数等于函数在 [a, b] 上的平均变化率。

利用这个定理，可以通过求函数在区间两个点处的导数差值，来推导出不等式。

具体步骤如下：1.假设函数在区间[a,b]上连续，并且在(a,b)上可导。

2.设点a和点b为函数的两个不同取值，即f(a)和f(b)。

3. 由Lagrange中值定理，存在点 c 在 (a, b) 上，使得 f'(c) = (f(b) - f(a)) / (b - a)。

4.判断f'(c)的符号，从而确定不等式的成立条件。

Lagrange中值定理法的优点是具有普适性，可以应用于各种函数。

但是要求函数在区间上连续，在一些特殊情况下可能无法使用。

三、Cauchy中值定理法Cauchy中值定理是微积分中的另一个重要定理，它是Lagrange中值定理的推广形式。

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

利用导数证明不等式的常见题型及解题技巧利用导数证明不等式的常见题型及解题技巧趣题引入已知函数设，证明：分析：主要考查利用导数证明不等式的能力。

证明：，设当时，当时，即在上为减函数，在上为增函数∴，又 ∴，即设当时，，因此在区间上为减函数；因为，又 ∴，即故综上可知，当时，本题在设辅助函数时，考虑到不等式涉及的变量是区间的两个端点，因此，设辅助函数时就把其中一个端点设为自变量，范例中选用右端点，读者不妨设为左端点试一试，就能体会到其中的奥妙了。

技巧精髓一、利用导数研究函数的单调性，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。

二、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个x x x g ln )(=b a <<02ln )(2(2)()(0a b b a b g a g -<+-+<1ln )(+='x x g )2(2)()()(x a g x g a g x F +-+=2ln ln )2()(21)2(2)()(''''x a x x a g x g x a g x g x F +-=+-=⨯+-='a x <<00)(<'x F a x >0)(>'x F )(x F ),0(a x ∈),(+∞∈a x 0)()(min ==a F x F a b >0)()(=>a F b F 0)2(2)()(>+-+b a g b g a g 2ln )(2(2)()()(a x x a g x g a g x G --+-+=)ln(ln 2ln 2ln ln )(x a x x a x x G +-=-+-='∴0>x 0)('<x G )(x G ),0(+∞0)(=a G a b >0)()(=<a G b G 02ln )()2(2)()(<--+-+a x x a g x g a g 2ln )()2(2)()(a x x a g x g a g -<+-+b a <<02ln )()2(2)()(0a b b a b g a g -<+-+<可导函数是用导数证明不等式的关键。

1、利用题目所给函数证明【例1】已知函数，求证：当时，恒有分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数，从其导数入手即可证明。

【绿色通道】 ∴当时，，即在上为增函数当时，，即在上为减函数故函数的单调递增区间为，单调递减区间于是函数在上的最大值为，因此，当时，，即∴ （右面得证），现证左面，令，当，即在上为减函数，在上为增函数，故函数在上的最小值为，∴当时，，即∴，综上可知，当【警示启迪】如果是函数在区间上的最大（小）值，则有（或），那么要证不等式，只要求函数的最大值不超过就可得证．2、直接作差构造函数证明【例2】已知函数求证：在区间上，x x x f -+=)1ln()(1->x x x x ≤+≤+-)1ln(111111)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(111,1有时()f a ()f x ()f x ≤()f a ()f x ≥()f a 0.ln 21)(2x x x f +=),1(∞+函数的图象在函数的图象的下方；分析：函数的图象在函数的图象的下方问题，即，只需证明在区间上，恒有成立，设，，考虑到要证不等式转化变为：当时，，这只要证明：在区间是增函数即可。

【绿色通道】设，即，则=当时，=从而在上为增函数，∴∴当时，即，故在区间上，函数的图象在函数的图象的下方。

【警示启迪】本题首先根据题意构造出一个函数（可以移项，使右边为零，将移项后的左式设为函数），并利用导数判断所设函数的单调性，再根据函数单调性的定义，证明要证的不等式。

读者也可以设做一做，深刻体会其中的思想方法。

3、换元后作差构造函数证明【例3】证明：对任意的正整数n ，不等式都成立. 分析：本题是山东卷的第（II ）问，从所证结构出发，只需令，则问题转化为：当时，恒有成立，现构造函数)(x f 332)(x x g =)(x f )(x g )()(x g x f <⇔不等式3232ln 21x x x <+),1(∞+3232ln 21x x x <+)()()(x f x g x F -=),1(+∞∈x 061)1(>=F 1>x )1()(F x F >)(x g ),1(+∞)()()(x f x g x F -=x x x x F ln 2132)(23--=x x x x F 12)(2--='x x x x )12)(1(2++-1>x )(x F 'x x x x )12)(1(2++-)(x F ),1(∞+061)1()(>=>F x F 1>x 0)()(>-x f x g )()(x g x f <),1(∞+)(x f 332)(x x g =)()()(x g x f x F -=3211)11ln(nn n ->+x n =10>x 32)1ln(x x x ->+，求导即可达到证明。

【绿色通道】令，则在上恒正，所以函数在上单调递增，∴时，恒有即，∴对任意正整数n ，取【警示启迪】我们知道，当在上单调递增，则时，有．如果＝，要证明当时，，那么，只要令＝－，就可以利用的单调增性来推导．也就是说，在可导的前提下，只要证明０即可．4、从条件特征入手构造函数证明【例4】若函数y =在R 上可导且满足不等式x >－恒成立，且常数a ，b 满足a >b ，求证：．a >b 【绿色通道】由已知 x +>0 ∴构造函数，则 x +>0，从而在R 上为增函数。

∴ 即 a >b 【警示启迪】由条件移项后，容易想到是一个积的导数，从而可以构造函数，求导即可完成证明。

若题目中的条件改)1ln()(23++-=x x x x h )1ln()(23++-=x x x x h 1)1(31123)(232+-+=++-='x x x x x x x h ),0(+∞∈x )(x h ),0(+∞),0(+∞∈x ，0)0()(=>h x h 0)1ln(23>++-x x x 32)1ln(x x x ->+3211)11ln(),0(1nn n n x ->++∞∈=，则有()F x [,]a b x a>()F x ()F a >()f a ()a ϕx a >()f x >()x ϕ()F x ()f x ()x ϕ()F x ()F x '()F x >)(x f )(x f ')(x f )(a f )(b f )(x f ')(x f )()(x xf x F ==)('x F )(x f ')(x f )(x F b a >)()(b F a F >)(a f )(b f )()(x f x f x +')()(x xf x F =为，则移项后，要想到是一个商的导数的分子，平时解题多注意总结。

【思维挑战】 1、设求证：当时，恒有，2、已知定义在正实数集上的函数其中a >0，且，求证：3、已知函数，求证：对任意的正数、，恒有4、（2007年，陕西卷）是定义在（0，+∞）上的非负可导函数，且满足≤0，对任意正数a 、b ，若a ')()(x f x f x -'x a x x x f a ln 2ln 1)(,02+--=≥1>x 1ln 2ln 2+->x a x x ,ln 3)(,221)(22b x a x g ax x x f +=+=a a a b ln 32522-=)()(x g x f ≥xx x x f +-+=1)1ln()(a b .1ln ln a b b a -≥-)(x f )()(x f x f x -'x a x x x f 2ln 21)(+-='1>x 0≥a 1ln 2<x x 0)(>'x f )(x f ),0(+∞1>x 0)1()(=>f x f 1>x 1ln 2ln 2+->x a x x b x a ax x x f x g x F --+=-=ln 3221)()()(22xa a x x F 232)(-+='xa x a x )3)((+-)0(>x 0>a a x =0)(='x F故在上为减函数，在上为增函数，于是函数在上的最小值是，故当时，有，即3、提示：函数的定义域为，∴当时，，即在上为减函数当时，，即在上为增函数因此在取得极小值，而且是最小值于是，即令于是因此4、提示：，，故在（0，+∞）上是减函数，由有 af (b )≤bf (a ) 故选（A ）)(x F ),0(a ),(+∞a )(x F ),0(+∞0)()()(=-=a g a f a F 0>x 0)()(≥-x g x f )()(x g x f ≥)(x f ),1(+∞-22)1()1(111)(x x x x x f +=+-+='01<<-x 0)(<'x f )(x f )0,1(-∈x 0>x 0)(>'x f )(x f ),0(+∞∈x )(,0x f x 时=0)0(=f x x x f x f +≥+=≥1)1ln(,0)0()(从而xx +-≥+111)1ln(a b x b a x -=+->=+1111,01则ab b a -≥1ln a b b a -≥-1ln ln x x f x F )()(=0)()()(2'≤-='x x f x xf x F x x f x F )()(=b a <b b f a a f )()(≥⇒。