(完整版)利用导数证明不等式的常用方法
高中数学：利用导数证明不等式的常见题型
利用导数证明不等式的常见题型题型一构造函数法把不等式的证明转化为利用导数研究函数的单调性或求最值的问题，从而证明不等式，而如何根据不等式的结构特征构造一个可导函数是利用导数证明不等式的关键.这四道题比较简单，证明过程略.概括而言，这四道题证明的过程分三个步骤：一是构造函数；二是对函数求导，判断函数的单调性；三是求此函数的最值，得出结论.【启示】证明分三个步骤：一是构造函数；二是对函数求导，判断函数的单调性；三是求此函数的最值，得出结论。
题型二通过对函数的变形，利用分析法，证明不等式【启示】解答第一问用的是分离参数法，解答第二问用的是分析法、构造函数，对函数的变形能力要求较高，大家应记住下面的变形：题型三求最值解决任意、存在性变量问题解决此类问题，关键是将问题转化为求函数的最值问题，常见的有下面四种形式：题型四分拆成两个函数研究【注意】(2)如果按题型一的方法构造函数求导，会发现做不下去，只好半途而废，所以我们在做题时需要及时调整思路，改变思考方向.【启示】掌握下列八个函数的图像和性质，对我们解决不等式的证明问题很有帮助，这八个函数分别为要求会画它们的图像，以后见到这种类型的函数，就能想到它们的性质题型五设而不求当函数的极值点（最值点）不确定时，可以先设出来，只设不解，把极值点代入，求出最值的表达式而证明.【启示】设而不求，整体代换是一种常用的方法，在解析几何中体现很多.在本例第（2）问中，只设出了零点而没有求出零点，这是一种非常好的方法，同学们一定要认真体会，灵活应用.题型六估值法题型七利用图象的特点，证明不等式题型八证明数列不等式题型九利用放缩法证明不等式【注意】在解决第（2）问时，用构造函数法证不出来，又试着分开两个函数仍然不行，正当我一筹莫展时，忽然想到与第一问题的切线联系，如果左边的函数的图像在切线的上方，右边函数的图像在切线的下方，这样问题不就得证了吗？心里非常高兴，马上付诸行动。
【高中数学】利用导数证明不等式
【高中数学】利用导数证明不等式第四节利用导数证明不等式考点1作差法构造函数证明不等式(1)欲证函数不等式f(x)＞g(x)(x＞a)，只需证明f(x)－g(x)＞0(x＞a)，设h(x)＝f(x)－g(x)，即证h(x)＞0(x＞a)．若h(a)＝0，h(x)＞h(a)(x＞a)．接下来往往用导数证得函数h(x)是增函数即可．(2)欲证函数不等式f(x)＞g(x)(x∈I，I是区间)，只需证明f(x)－g(x)＞0(x∈I)．设h(x)＝f(x)－g(x)(x∈I)，即证h(x)＞0(x∈I)，也即证h(x)min＞0(x∈I)(若h(x)min不存在，则须求函数h(x)的下确界)，而这用导数往往容易解决．已知函数f(x)＝ax＋x ln x在x＝e－2(e为自然对数的底数)处取得极小值．(1)求实数a的值；(2)当x＞1时，求证：f(x)＞3(x－1)．[解](1)因为f(x)定义域为(0，＋∞)，f(x)＝ax＋x ln x，所以f′(x)＝a＋ln x＋1，因为函数f(x)在x＝e－2处取得极小值，所以f′(e－2)＝0，即a＋ln e－2＋1＝0，所以a＝1，所以f′(x)＝ln x＋2.当f′(x)＞0时，x＞e－2；当f′(x)＜0时，0＜x＜e－2，所以f(x)在(0，e－2)上单调递减，在(e－2，＋∞)上单调递增，所以f(x)在x＝e－2处取得极小值，符合题意，所以a＝1.(2)证明：由(1)知a＝1，所以f(x)＝x＋x ln x.令g(x)＝f(x)－3(x－1)，即g(x)＝x ln x－2x＋3(x＞0)．g′(x)＝ln x－1，由g′(x)＝0，得x＝e.由g′(x)＞0，得x＞e；由g′(x)＜0，得0＜x＜e.所以g(x)在(0，e)上单调递减，在(e，＋∞)上单调递增，所以g(x)在(1，＋∞)上的最小值为g(e)＝3－e＞0.于是在(1，＋∞)上，都有g(x)≥g(e)＞0，所以f(x)＞3(x－1)．将不等式转化为函数最值来证明不等式，其主要思想是依据函数在固定区间的单调性，直接求得函数的最值，然后由f(x)≤f(x)max或f(x)≥f(x)min直接证得不等式．(2019·广州模拟)已知函数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)在(－∞，ln 2)上单调递减；当x＞ln 2时，f′(x)＞0，f(x)在(ln 2，＋∞)上单调递增．所以当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上单调递增．所以当x＞0时，g(x)＞g(0)＝1＞0，即x2＜e x.考点2拆分法构造函数证明不等式若f(x)min＞g(x)max，则f(x)＞g(x)，常借助此结论，将要证明的不等式拆、分成两个函数，然后比较它们的最值．设函数f(x)＝ax2－(x＋1)ln x，曲线y＝f(x)在点(1，f(1))处切线的斜率为0.(1)求a的值；(2)求证：当0＜x≤2时，f(x)＞1 2x.[解](1)f′(x)＝2ax－ln x－1－1 x，由题意，可得f′(1)＝2a－2＝0，所以a＝1.(2)证明：由(1)得f(x)＝x2－(x＋1)ln x，要证当0＜x≤2时，f(x)＞12x，只需证当0＜x≤2时，x－ln xx－ln x＞12，即x－ln x＞ln xx＋12.令g(x)＝x－ln x，h(x)＝ln xx＋12，令g′(x)＝1－1x＝0，得x＝1，易知g(x)在(0,1)上单调递减，在(1,2]上单调递增，故当0＜x≤2时，g(x)min＝g(1)＝1.因为h′(x)＝1－ln xx2，当0＜x≤2时，h′(x)＞0，所以h(x)在(0,2]上单调递增，故当0＜x≤2时，h(x)max＝h(2)＝1＋ln 22＜1，即h(x)max＜g(x)min.故当0＜x≤2时，h(x)＜g(x)，即当0＜x≤2时，f(x)＞1 2x.在证明的不等式中，若对不等式的变形无法转化为一个函数的最值问题，可以借助两个函数的最值进行证明．已知函数f(x)＝eln x－ax(a∈R)．(1)讨论f(x)的单调性；(2)当a＝e时，求证：xf(x)－e x＋2e x≤0.[解](1)f′(x)＝ex－a(x＞0)，①若a≤0，则f′(x)＞0，f(x)在(0，＋∞)上单调递增；②若a＞0，令f′(x)＝0，得x＝ea，则当0＜x＜ea时，f′(x)＞0；当x＞ea时，f′(x)＜0，故f (x )在? ????0，e a 上单调递增，在? ??e a ，＋∞上单调递减． (2)证明：因为x ＞0，所以只需证f (x )≤e xx －2e ，当a ＝e 时，由(1)知，f (x )在(0,1)上单调递增，在(1，＋∞)上单调递减，所以f (x )max ＝f (1)＝－e.记g (x )＝e xx －2e(x ＞0)，则g ′(x )＝(x －1)e x x 2，当0＜x ＜1时，g ′(x )＜0，g (x )单调递减；当x ＞1时，g ′(x )＞0，g (x )单调递增，所以g (x )min ＝g (1)＝－e.综上，当x ＞0时，f (x )≤g (x )，即f (x )≤e xx －2e ，即xf (x )－e x ＋2e x ≤0.考点3 换元法构造函数证明不等式换元法构造函数证明不等式的基本思路是直接消掉参数a ，再结合所证问题，巧妙引入变量c ＝x 1x 2，从而构造相应的函数．其解题要点为：联立消参利用方程f (x 1)＝f (x 2)消掉解析式中的参数a抓商构元令c ＝x 1x 2，消掉变量x 1，x 2，构造关于c 的函数h (c ) 用导求解利用导数求解函数h (c )的最小值，从而可证得结论x 1，x 2(x 1≠x 2)．求证：x 1x 2＞e 2.[证明] 不妨设x 1＞x 2＞0，因为ln x 1－ax 1＝0，ln x 2－ax 2＝0，所以ln x 1＋ln x 2＝a (x 1＋x 2)，ln x 1－ln x 2＝a (x 1－x 2)，所以ln x 1－ln x 2x 1－x 2＝a ，欲证x 1x 2＞e 2，即证ln x 1＋ln x 2＞2.因为ln x 1＋ln x 2＝a (x 1＋x 2)，所以即证a ＞2x 1＋x 2，所以原问题等价于证明ln x 1－ln x 2x 1－x 2＞2x 1＋x 2，即ln x 1x 2＞2(x 1－x 2)x 1＋x 2，令c ＝x 1x 2(c ＞1)，则不等式变为ln c ＞2(c －1)c ＋1. 令h (c )＝ln c －2(c －1)c ＋1，c ＞1，所以h ′(c )＝1c －4(c ＋1)2＝(c －1)2c (c ＋1)2＞0，所以h (c )在(1，＋∞)上单调递增，所以h (c )＞h (1)＝ln 1－0＝0，即ln c －2(c －1)c ＋1＞0(c ＞1)，因此原不等式x 1x 2＞e 2得证．破解含双参不等式证明题的三个关键点(1)转化，即由已知条件入手，寻找双参所满足的关系式，并把含双参的不等式转化为含单参的不等式．(2)巧构造函数，再借用导数，判断函数的单调性，从而求其最值．(3)回归双参的不等式的证明，把所求的最值应用到双参不等式，即可证得结果．已知函数f (x )＝ln x －12ax 2＋x ，a ∈R .(1)当a ＝0时，求函数f (x )的图象在(1，f (1))处的切线方程；(2)若a ＝－2，正实数x 1，x 2满足f (x 1)＋f (x 2)＋x 1x 2＝0，求证：x 1＋x 2≥5－12.[解] (1)当a ＝0时，f (x )＝ln x ＋x ，则f (1)＝1，所以切点(1,1)，又因为f ′(x )＝1x ＋1，所以切线斜率k ＝f ′(1)＝2，故切线方程为y －1＝2(x －1)，即2x －y －1＝0.(2)证明：当a ＝－2时，f (x )＝ln x ＋x 2＋x (x ＞0)．由f (x 1)＋f (x 2)＋x 1x 2＝0，得ln x 1＋x 21＋x 1＋ln x 2＋x 22＋x 2＋x 1x 2＝0，从而(x 1＋x 2)2＋(x 1＋x 2)＝x 1x 2－ln(x 1x 2)，令t ＝x 1x 2(t ＞0)，令φ(t )＝t －ln t ，得φ′(t )＝1－1t ＝t －1t ，易知φ(t )在区间(0,1)上单调递减，在区间(1，＋∞)上单调递增，所以φ(t )≥φ(1)＝1，所以(x 1＋x 2)2＋(x 1＋x 2)≥1，因为x 1＞0，x 2＞0，所以x 1＋x 2≥5－12成立. 课外素养提升③ 逻辑推理——用活两个经典不等式保证．利用两个经典不等式解决其他问题，降低了思考问题的难度，优化了推理和运算过程．(1)对数形式：x ≥1＋ln x (x ＞0)，当且仅当x ＝1时，等号成立．(2)指数形式：e x ≥x ＋1(x ∈R )，当且仅当x ＝0时，等号成立．进一步可得到一组不等式链：e x ＞x ＋1＞x ＞1＋ln x (x ＞0，且x ≠1)．【例1】 (1)已知函数f (x )＝1ln (x ＋1)－x，则y ＝f (x )的图象大致为( )(2)已知函数f (x )＝e x ，x ∈R .证明：曲线y ＝f (x )与曲线y ＝12x 2＋x ＋1有唯一公共点．(1)B [因为f (x )的定义域为x ＋1＞0，ln (x ＋1)－x ≠0，即{x |x ＞－1，且x ≠0}，所以排除选项D.当x ＞0时，由经典不等式x ＞1＋ln x (x ＞0)，以x ＋1代替x ，得x ＞ln(x ＋1)(x ＞－1，且x ≠0)，所以ln(x ＋1)－x ＜0(x ＞－1，且x ≠0)，即x ＞0或－1＜x ＜0时均有f (x )＜0，排除A ，C ，易知B 正确．](2)[证明] 令g (x )＝f (x )－? ????12x 2＋x ＋1＝e x －12x 2－x －1，x ∈R ，则g ′(x )＝e x －x －1，由经典不等式e x ≥x ＋1恒成立可知，g ′(x )≥0恒成立，所以g (x )在R 上为单调递增函数，且g (0)＝0.所以函数g (x )有唯一零点，即两曲线有唯一公共点．【例2】设函数f (x )＝ln x －x ＋1.(1)讨论f (x )的单调性；(2)求证：当x ∈(1，＋∞)时，1＜x －1ln x ＜x .[解] (1)由题设知，f (x )的定义域为(0，＋∞)，f ′(x )＝1x －1，令f ′(x )＝0，解得x ＝1.当0＜x ＜1时，f ′(x )＞0，f (x )在(0,1)上单调递增；当x ＞1时，f ′(x )＜0，f (x )在(1，＋∞)上单调递减．(2)证明：由(1)知f (x )在x ＝1处取得最大值，最大值为f (1)＝0. 所以当x ≠1时，ln x ＜x －1.故当x ∈(1，＋∞)时，ln x ＜x －1，x －1ln x ＞1.①因此ln 1x ＜1x －1，即ln x ＞x －1x ，x －1ln x ＜x .②故当x ∈(1，＋∞)时恒有1＜x －1ln x ＜x .。
利用导数证明不等式的常见题型及解题技巧（附经典详解）
利用导数证明不等式的常见题型及解题技巧趣题引入已知函数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)()()(xa g x g a g x F +-+=2ln ln )2()(21)2(2)()(''''x a x x a g x g xa 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)()(>+-+ba gb 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 xa 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 xa g x g a g -<+-+ 综上可知，当综上可知，当b a <<0时，2ln )()2(2)()(0a b ba b g a g -<+-+< 本题在设辅助函数时，考虑到不等式涉及的变量是区间的两个端点，因此，设辅助函数时就把其中一个端点设为自变量，范例中选用右端点，读者不妨设为左端点试一试，就能体会到其中的奥妙了。
利用导数证明不等式的两种通法
利用导数证明不等式的两种通法吉林省长春市东北师范大学附属实验学校金钟植岳海学利用导数证明不等式是高考中的一个热点问题，利用导数证明不等式主要有两种通法，即函数类不等式证明和常数类不等式证明。
下面就有关的两种通法用列举的方式归纳和总结。
一、函数类不等式证明函数类不等式证明的通法可概括为：证明不等式f(x) g(x)( f(x) g(x))的问题转化为证明f (x) g (x) 0 ( f (x) g(x) 0)，进而构造辅助函数h(x) f (x) g(x)，然后利用导数证明函数h(x)的单调性或证明函数h(x)的最小值(最大值)大于或等于零(小于或等于零)。
例 1 已知x (0,—)，求证：sinx x tanx2分析：欲证si nx x tanx，只需证函数f(x) si nx x和g(x) x tanx在(0,—)上2单调递减即可。
证明：令f(x) sinx x，其中x (0, —)2则f/(x) cosx 1 ，而x (0,刁)cosx 1 cosx 1 0所以f(x) si nx x 在(0—)上单调递减，即f(x) si nx x f (0) 02所以sin x x ；令g(x) x tanx，其中x (0,—)2/ 1 2则g (x) 1 — tan x 0 ,所以g(x) x tanx在(0,—)上单调递减，cos x 2即g(x) x tanx g(0) 0所以x tanx。
综上所述，sinx x tanx评注：证明函数类不等式时，构造辅助函数比较容易，只需将不等式的其中一边变为0,然后另一边的函数作为辅助函数，并利用导数证明其单调性或其最值，进而构造我们所需的不等式的结构即可。
根据不等式的对称性，本例也可以构造辅助函数为在(0,—)上是单调递增2的函数(如：利用h(x) x si nx在(0,—)上是单调递增来证明不等式si nx x)，另外不2等式证明时，区间端点值也可以不是我们所需要的最恰当的值(比如此例中的f(0)也可以不是0,而是便于放大的正数也可以)。
导数在证明不等式中的有关应用
导数在证明不等式中的有关应用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}$。
利用导数证明不等式的方法
利用导数证明不等式的方法导数是微积分中的重要概念，它在数学中有着广泛的应用。
在证明不等式时，导数也可以发挥重要的作用。
本文将介绍如何利用导数证明不等式，并通过具体的例子来说明这一方法的实际应用。
我们需要了解导数的定义。
在微积分中，导数表示函数在某一点上的变化速率。
对于函数f(x)，它在点x处的导数可以通过极限的方式来定义，即f'(x) = lim(h->0) [f(x+h) - f(x)] / h。
导数可以帮助我们研究函数的变化趋势和性质。
在证明不等式时，我们可以利用导数的性质来推导。
首先，我们需要找到函数的临界点，即导数为0或不存在的点。
在这些点上，函数的极值可能出现。
然后，我们可以通过导数的正负来判断函数的增减性。
如果导数在某个区间上恒大于0，则说明函数在该区间上是递增的；反之，如果导数在某个区间上恒小于0，则说明函数在该区间上是递减的。
通过这些性质，我们可以推导出不等式的成立。
假设我们要证明一个不等式f(x) ≤ g(x)，我们可以定义一个新的函数h(x) = f(x) - g(x)。
然后，我们可以通过研究h(x)的导数来证明不等式的成立。
如果h(x)的导数恒小于等于0，则说明h(x)在整个定义域上是递减的，即h(x) ≤ 0，从而得到f(x) ≤ g(x)。
类似地，如果h(x)的导数恒大于等于0，则说明h(x)在整个定义域上是递增的，即h(x)≥ 0，也能得到f(x) ≤ g(x)。
下面，我们通过一个具体的例子来说明这一方法。
假设我们要证明不等式x^2 ≤ 2x。
我们可以定义函数h(x) = x^2 - 2x，并求出h(x)的导数。
通过计算，我们可以得到h'(x) = 2x - 2。
我们注意到h'(x)是一个一次函数，且导数恒大于等于0。
因此，根据上述的推导方法，我们可以得出结论x^2 ≤ 2x。
通过这个例子，我们可以看到利用导数证明不等式的方法的实际应用。
利用导数证明不等式的四种常用方法
利用导数证明不等式的四种常用方法方法一：使用函数的单调性如果函数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、利用导数研究函数的单调性，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。
2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。
一、利用题目所给函数证明1.已知函数，求证：当时，恒有分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数，从其导数入手即可证明。
【绿色通道】∴当时，，即在上为增函数当时，，即在上为减函数故函数的单调递增区间为，单调递减区间于是函数在上的最大值为，因此，当时，，即∴（右面得证），现证左面，令，当，即在上为减函数，在上为增函数，故函数在上的最小值为，∴当时，，即∴，综上可知，当【警示启迪】如果是函数在区间上的最大（小）值，则有（或），那么要证不等式，只要求函数的最大值不超过就可得证．2、直接作差构造函数证明【例2】已知函数求证：在区间上，函数的图象在函数的图象的下方；分析：函数的图象在函数的图象的下方问题，即，只需证明在区间上，恒有成立，设，，考虑到要证不等式转化变为：当时，，这只要证明：在区间是增函数即可。
【绿色通道】设，即，则 =当时， =从而在上为增函数，∴∴当时，即，故在区间上，函数的图象在函数的图象的下方。
【警示启迪】本题首先根据题意构造出一个函数（可以移项，使右边为零，将移项后的左式设为函数），并利用导数判断所设函数的单调性，再根据函数单调性的定义，证明要证的不等式。
读者也可以设做一做，深刻体会其中的思想方法。
3、换元后作差构造函数证明【例3】（2007年，山东卷）证明：对任意的正整数n，不等式都成立.分析：本题是山东卷的第（II）问，从所证结构出发，只需令，则问题转化为：当时，恒有成立，现构造函数，求导即可达到证明。
【绿色通道】令，则在上恒正，所以函数在上单调递增，∴时，恒有即，∴对任意正整数n，取【警示启迪】我们知道，当在上单调递增，则时，有．如果＝，要证明当时，，那么，只要令＝－，就可以利用的单调增性来推导．也就是说，在可导的前提下，只要证明０即可．4、从条件特征入手构造函数证明【例4】若函数y=在R上可导且满足不等式x >－恒成立，且常数a，b满足a>b，求证：．a >b【绿色通道】由已知x +>0 ∴构造函数，则x + >0，从而在R上为增函数。