导数与不等式证明
导数证明不等式
利用导数证明不等式的两种通法利用导数证明不等式是高考中的一个热点问题，利用导数证明不等式主要有两种通法，即函数类不等式证明和常数类不等式证明。
下面就有关的两种通法用列举的方式归纳和总结。
一、函数类不等式证明函数类不等式证明的通法可概括为：证明不等式()()f x g x >（()()f x g x <）的问题转化为证明()()0f x g x ->（()()0f x g x -<），进而构造辅助函数()()()h x f x g x =-，然后利用导数证明函数()h x 的单调性或证明函数()h x 的最小值（最大值）大于或等于零（小于或等于零）。
例1 已知(0,)2x π∈，求证：sin tan x x x <<证明这个变式题可采用两种方法：第一种证法：运用本例完全相同的方法证明每个不等式以后再放缩或放大，即证明不等式sin x x <以后，根据sin 1sin x x x -<<来证明不等式sin 1x x -<；第二种证法：直接构造辅助函数()sin 1f x x x =--和()tan 1g x x x =--，其中(0,)2x π∈然后证明各自的单调性后再放缩或放大（如：()sin 1(0)10f x x x f =--<=-<）例2 求证：ln(1)x x +<技巧一、利用导数研究函数的单调性，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点。
二、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。
1、利用题目所给函数证明【例1】 已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有x x x ≤+≤+-)1ln(111如果()f a 是函数()f x 在区间上的最大（小）值，则有()f x ≤()f a （或()f x ≥()f a ），那么要证不等式，只要求函数的最大值不超过0就可得证．2、直接作差构造函数证明【例2】已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方；首先根据题意构造出一个函数（可以移项，使右边为零，将移项后的左式设为函数），并利用导数判断所设函数的单调性，再根据函数单调性的定义，证明要证的不等式。
导数与不等式的证明及函数零点、方程根的问题
05 总结与展望
导数与不等式证明及函数零点、方程根问题的总结
导数与不等式证明
导数是研究函数性质的重要工具，通过导数可以研究函数的单调性、极值和最值等。不等 式证明则是数学中常见的题型，利用导数可以证明不等式，如AM-GM不等式、CauchySchwarz不等式等。
函数零点问题
函数的零点是指满足$f(x)=0$的$x$值。研究函数的零点对于理解函数的性质和解决方程 的根的问题具有重要意义。通过导数可以研究函数的零点个数和位置，以及零点附近的函 数性质。
感谢您的观看
• 应用领域的拓展：导数与不等式证明及函数零点、方程根的问题不仅在数学领 域有广泛应用，在其他学科和工程领域也有着重要的应用价值。例如，在经济 学、物理学和社会科学等领域，这些问题都可能成为重要的研究课题。
• 与其他数学分支的交叉融合：随着数学各分支之间的交叉融合，导数与不等式 证明及函数零点、方程根的问题可能会与其他数学分支产生更多的交叉点。例 如，与概率论、统计学和复分析等领域的结合可能会产生新的研究方向和应用 场景。
导数在求解函数零点、方程根中的注意事项
注意定义域
在使用导数研究函数性质 时，需要注意函数的定义 域，确保导数在定义域内 连续。
考虑多解情况
在求解函数零点或方程根 时，需要注意多解情况， 全面考虑所有可能的解。
注意函数的奇偶性
在利用导数研究函数性质 时，需要注意函数的奇偶 性，以便更准确地判断函 数的性质。
不等式
不等式是表示两个数或两个量之 间大小关系的数学表达式。
导数与不等式的性质
01
导数大于零，函数在该区间内单 调递增；导数小于零，函数在该 区间内单调递减。
02
不等式的基本性质包括传递性、 加法性质、乘法性质等。
导数证明不等式 步骤
导数证明不等式步骤
1. 确认要证明的不等式的形式。
导数证明不等式一般都是基于单调性的变化，因此需要确认不等式的形式是“小于等于”还是“大于等于”。
2. 取函数的导数。
导数证明不等式要取函数的导数，因此需要首先找到函数的导数表达式。
如果函数的导数表达式比较难求，可以先将函数化简为更易求导的形式，再求导。
3. 找到函数的极值点。
导数证明不等式的核心是单调性分析，因此需要先找到函数的极值点，即导数为0的点。
对于一次函数，其导数恒为定值，没有极值点；而对于二次函数、三次函数等一些复杂的函数，极值点可以是最高次项系数为正时的最小值，或者最高次项系数为负时的最大值。
4. 利用极值点进行函数的单调性分析。
根据极值点，可以将整个函数的定义域分成若干段。
在每一段内，函数的单调性可能存在增加、减少或不变。
因此需要分别考虑每一段函数的单调性。
5. 比较函数值。
在每一段函数的单调性分析之后，可以比较函数在不同点的值。
根据不等式的形式，可以进行大小的比较，进而得到证明。
如果比较函数值比较麻烦，可以考虑对函数关于某个点进行泰勒展开，通过展开式的系数进行比较。
6. 总结证明过程，得出结论。
对于导数证明不等式，一般的证明过程都是通过分析函数的单调性，最后得到证明结论的。
因此，在整合证明过程的过程中，要注意明确函数的单调性，清晰地展示每一个分段函数的单调性分析，以及通过比较函数值来得到证明结论。
最后，需要总结证明过程，得出不等式的正确性结论。
专题一 第5讲 导数与不等式的证明
可得h(x)在(0,1)上单调递减，在(1，＋∞)上单调递增， 所以h(x)＝x－1－ln x≥h(1)＝0，即x－1≥ln x.
于是，当a≤1时，ex－a≥x－a＋1≥x＋a－1≥ln(x＋a)， 注意到以上三个不等号的取等条件分别为x＝a，a＝1，x＋a＝1，它 们无法同时取等， 所以当a≤1时，ex－a>ln(x＋a)，即f(x)>0.
12
当a＝e时，f(x)＝ln(e－x)－x＋e，
要证 f(e－x)<ex＋2xe，即证 ln x＋x<ex＋2xe，即证lnxx＋1<exx＋21e.
设
g(x)＝lnx
x＋1(x>0)，则
1－ln g′(x)＝ x2
x ，
所以当0<x<e时，g′(x)>0，当x>e时，g′(x)<0，
所以g(x)在(0，e)上单调递增，在(e，＋∞)上单调递减，
当t∈(0,1)时，g′(t)<0，g(t)单调递减， 假设g(1)能取到， 则g(1)＝0，故g(t)>g(1)＝0； 当t∈(1，＋∞)时，g′(t)>0，g(t)单调递增， 假设g(1)能取到，则g(1)＝0，故g(t)>g(1)＝0，
x＋ln1－x 综上所述，g(x)＝ xln1－x <1 在 x∈(－∞，0)∪(0,1)上恒成立.
方法二 f(x)＝ln ex＝1－ln x. 欲证 f(x)<1＋1x－x2ex，只需证1－elxn x＋x2－1x<1，
因为x∈(0,1)，所以1－ln x>0，ex>e0＝1，
则只需证 1－ln x＋x2－1x<1， 只需证 ln x－x2＋1x>0， 令 t(x)＝ln x－x2＋1x，x∈(0,1)，
利用导数证明不等式的四种常用方法
利用导数证明不等式的四种常用方法方法一：使用函数的单调性如果函数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处进行展开。
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.。
导数与不等式证明
导数与不等式证明导数是微积分中的重要概念，它描述了函数在某一点的变化率。
而不等式是数学中常用的一种关系，用于比较两个数或表达变量之间的大小关系。
本文将探讨导数与不等式之间的关系，并通过具体的例子来证明与应用。
一、导数的定义与性质首先，我们回顾导数的定义：对于函数f(x)，在点x处的导数可以表示为lim（h->0）（f(x+h)-f(x)）/h。
简单来说，导数就是函数在某一点的斜率。
导数具有以下性质：1. 导数存在性：如果函数在某一点可导，则该点的导数存在。
2. 导数与函数图像：导数可以帮助我们理解函数图像的特性，如切线与曲线的关系、函数的增减性等。
3. 导数的计算：可以通过求导法则，例如常数法则、幂函数法则、链式法则等，来计算导数。
二、不等式的基本性质接下来，我们简要介绍不等式的基本性质。
不等式常见的有大于号（>）、小于号（<）、大于等于号（≥）、小于等于号（≤）等。
对于不等式的证明，通常有以下方法：1. 同向性：如果a>b，那么对于任意正数c，ac>bc。
这个性质可以用于不等式的乘法性质证明。
2. 等价性：如果两个不等式的左边和右边分别相等，则两个不等式等价。
这个性质可以用于不等式的代换和变形。
三、导数与不等式之间的关系导数在不等式的证明中具有重要作用。
通过对比函数在不同区间的导数值以及函数图像的特征，可以得出不等式的结论。
下面通过两个具体的例子来说明导数与不等式之间的关系。
例1：证明函数f(x)=x²在区间（0，∞）上是递增的。
解：首先计算f(x)=x²的导数：f'(x)=2x。
由于导数描述了函数的变化率，当导数大于0时，函数是递增的。
因此，我们需要证明2x>0在区间（0，∞）上成立。
由于x大于0，所以2x大于0，即导数大于0，因此函数f(x)=x²在区间（0，∞）上是递增的。
例2：证明函数f(x)=eˣ在任意区间上是递增的。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
导数与不等式证明
作差证明不等式
1. （优质试题湖南，最值、作差构造函数） 已知函数． (1)求函数的单调递减区间； (2)若，求证：≤≤x ． 解：(1)函数f (x )的定义域为(－1，+∞),，
由 得：，∴x ＞0,∴f (x )的单调递减区间
为(0，+∞).
(2)证明：由(1)得x ∈(－1，0)时，， 当x ∈(0，+∞)时，，且
∴x ＞－1时，f (x )≤f (0)，∴≤0，≤x 令
，则
，
∴－1＜x ＜0时，，x ＞0时，，且 ∴x ＞－1时，g (x )≥g (0)，即≥0
∴≥
，∴x ＞－1时，
≤≤x ．
2. （优质试题湖北20，转换变量，作差构造函数，较容易）
已知定义在正实数集上的函数
，x x x f -+=)1ln()()(x f 1->x 11
1+-x )1ln(+x 1
111)(+-=-+=
'x x
x x f 0)(<'x f ⎪⎩⎪⎨⎧
-><+-
1
01x x x 0)(>'x f 0)(<'x f (0)0f '=x x -+)1ln()1ln(+x 111
)1ln()(-++
+=x x x g 2
2)1()1(111)(+=+-+=
'x x
x x x g 0)(<'x g 0)(>'x g 0)0(='g 11
1
)1ln(-+++x x )
1ln(+x 1
11+-
x 1
11+-
x )1ln(+x 2
1()22
f x x ax =
+
，其中．设两曲线，有公
共点，且在该点处的切线相同． ⑴用表示，并求的最大值； ⑵求证：当时，．
解：⑴设与在公共点处的切线相
同．
，，由题意，．
即由得：，或（舍
去）． 即有． 令，则．于是 当，即时，；
当，即
时，．
故在为增函数，在为减函数，
于是在的最大值为． ⑵设， 则． 2()3ln g x a x b =+0a >()y f x =()y g x =a b b 0x >()()f x g x ≥()y f x =()(0)y g x x =>0
()x y ，()2f x x a '=+∵23()a g x x
'=0
()()f x g x =0
()()f x g x ''=22
000200123ln 2
32x ax a x b a x a x ⎧+=+⎪⎪⎨⎪+=⎪⎩
，，
20032a x a x +=0
x
a =03x a =-2222215
23ln 3ln 22
b a a a a a a a =
+-=-2
25()3ln (0)2
h t t t t t =->()2(13ln )h t t t '=-(13ln )0t t ->13
0t e <<()0h t '>(13ln )0t t -<13
t e
>()0h t '<()h t 1
3
(0)e ，13
()e
∞,+()h t (0)+，
∞123
33()2
h e e =2
21()()()23ln (0)2
F x f x g x x ax a x b x =-=
+-->()F x '23()(3)2(0)a x a x a x a x x x
-+=+-=>
故在为减函数，在为增函数， 于是函数在上的最小值是．
故当时，有，即当时，．
3. （优质试题全国II 理21，字母替换，构造函数） 设函数
有两个极值点，且
⑴求的取值范围，并讨论的单调性； ⑵证明：.
解: ⑴
令，其对称轴为。
由题意知是方程的两个均大于的不相等的实根，
其充要条件为，得 当时，在内为增函数； 当时，在内为减函数；
当时，在内为增函数；
()F x (0)a ，()a +，∞()F x (0)+，
∞000()()()()0F a F x f x g x ==-=0x >()()0f x g x -≥0x >()()f x g x ≥()()2ln 1f x x a x =++12x x 、12x x <a ()f x ()212ln 2
4
f x ->
()2222(1)11a x x a
f x x x x x
++'=+=>-++2()22g x x x a =++1
2x =-
1
2
x x 、()0g x =1-480(1)0
a g a ∆=->⎧⎨-=>⎩1
02a <<1
(1,)x x ∈-()0,()f x f x '>∴1
(1,)x -1
2
(,)x x x ∈()0,()f x f x '<∴1
2
(,)x x 2,
()
x x
∈+∞()0,()f x f x '>∴2,
()x
+∞
⑵由⑴知， 由得，
设，
则
当时，在单调递增； 当时，，在单调递减。
所以， 故．
21
(0)0,02
g a x =>∴-
<<22
2
2()220g x x x a =++=222(2)a x x =-+2()()()2222222222ln 1(2)ln 1f x x a x x x x x ∴=++=-++2()()22
1(22)ln 1()2h x x x x x x =-++>-()()()22(21)ln 122(21)ln 1h x x x x x x x '=-++-=-++1(,0)2
x ∈-()0,()h x h x '>∴1
[,0)2-(0,)x ∈+∞()0h x '<()h x (0,)+∞()1112ln 2
(,0),()224
x h x h -∈->-=当时()2212ln 2
()4
f x h x -=>。