753期：导数利器——导数中四类不等式的证明.docxVIP

PAGE21/NUMPAGES22

导数利器——导数中四类不等式的证明

微信公众号：高中数学资料分享464397488

高中数学资料分享QQ群：464397488

1.把证明转化为证明

2.不证明转化为证明

3.把证明转化为证明

4.对所给不等式通过恒等变形，再构造函数

1.把证明转化为证明。

【例1】（2019·北京清华附中高三开学考试（理））已知函数，为常数，．

（1）讨论的单调性；

（2）当时，求证：．

【答案】（1）当时，，在为增函数。当时，，，在为减函数，在为增函数。（2）证明见解析

【解析】

（1）.

①当，即时，，，为增函数.

②当，即时，令，，.

，，为减函数，，，为增函数.

（2）当时，由（1）知，在为增函数，.即证

当时，在为减函数，在为增函数.

.

令，，，.

所以在为减函数，.所以，即证.

综上所述：.

【点睛】本题主要考查利用导数解决含参单调区间问题，同时考查了利用导数求函数的最值，属于难题.

【例2】（2020·云南高三（理））设函数f(x)=xe

（1）求函数f(x)的单调区间；

（2）若函数f(x)在(0,+∞)上有零点，证明：a2.

【答案】（1）在(a?1,+∞)上是增函数，在(?∞,a?1)上是减函数；（2）a2.

【解析】

【分析】

（1）先确定函数的定义域，然后求f(x)，进而根据导数与函数单调性的关系，判断函数

（2）采用分离参数法，得a=x+x+1ex?1，根据f(x)在(0,+∞)上存在零点，可知a=x+x+1ex?1有解，构造g(x)=x+x+1ex?1，求导g

【详解】（1）f(x)的定义域为(?∞,+∞)，因为f(x)=xex+a(1?

所以当xa?1时，f(x)0，f(x)在(a?1,+∞)上是增函数；当xa?1时，f(x)0，f(x)在(?∞,a?1)上是减函数．所以f(x)在

（2）证明：由题意可得，当x0时，f(x)=0有解，即a=x

令g(x)=x+x+1ex?1，则g(x)=?xex?1(ex?1)2+1=ex(ex?x?2)(ex?1)2．设函数?(x)=ex?x?2,??(x)=ex?10，所以?(x)在(0,+∞)上单调递增．又?(1)=e?30,??(2)=e2

【点睛】本题考查了利用导数求函数的单调区间，考查了利用导数证明不等式成立，考查了利用导数研究函数的零点问题，涉及了求函数导数，函数零点存在性定理的应用等知识；从哪里入手，怎样构造，如何构造适当的函数，是解决此类问题的关键一步.

【例3】已知f(x)=1

（1）设x=12是fx的极值点，求实数a

（2）a0时，求证：fx

【分析】（1）由题意，求得函数的导数fx=x+aex?1x，由

（2）由（1），进而得到函数fx的单调性和最小值fxmin=f(x0)=

【解析】（1）由题意，函数fx的定义域为(0,+∞)，又由fx=x+aex?1x，且x=12是函数fx的极值点，所以

所以fx0，得x12，fx0，得

（2）由（1）知因为a0，在(0,+∞)上，f

又f1=1+ae?10（且当自变量x逐渐趋向于0时，f

所以，?x0∈(0,1)，使得f

在x∈(0,x0)上，fx0，fx

所以当x=x0时，

所以fx

令gx=1

当x∈(0,1)时，gx0，g

【评注】有时当的最小值无法直接确定时，可先构造一个关于极值点的函数，再证明。

2.不证明转化为证明

【例4】（2020·内蒙古高三期末考试）设函数.

（1）求函数的极小值；

（2）证明：当时，不等式恒成立.

【答案】（1）0；（2）见解析.

【解析】

【分析】（1）对函数求导，分析函数的单调性，即可求出极小值；

（2）方法一：不等式恒成立等价于恒成立.令，对函数求导，分析函数的单调性，即可证明.方法二：令.通过对函数二次求导，分析函数的单调性，即可证明.

【详解】（1），则，令，则.

当时，，为单调递减函数；当时，，

为单调增函数；所以当时，函数取得极小值.

（2）方法一：当时，不等式恒成立，等价于恒成立.

令，则.所以，当时，，

所以，在上单调递增.，所以.

即当时，恒成立.

方法二：当时，不等式恒成立，等价于恒成立，即恒成立，令，则.

令，则.因为，所以，所以在上单调递增，所以，故在上单调递增，所以，即.所以，当时，不等式成立.

【点睛】本题考查导数在研究函数中的应用：用导数求函数的极值，用导数证明不等式恒成立，属于较难的题目.

【例5】【黑龙江省哈尔滨市2020届高三期中】已知f

（Ⅰ）列表求fx在0，2π

（Ⅱ）当x∈0，

（i）求证：fx≥x；（ii）若fx

【分析】（Ⅰ）求出函数的导函数，由导函数大于0求其增区间，导函数小于0求其减区间；

（Ⅱ）（i）构造辅助函数gx=fx?x，把问题转化为求

（ii）构造辅