高中数学培优辅导专题5： 利用导数证明函数不等式（二）VIP

专题五 利用导数证明函数不等式（二）本专题总结了利用导数证明含有两个未知数的函数不等式的常见方法，希望同学们看后有所收获，提升利用导数证明函数不等式的能力模块1 整理方法 提升能力对于两个未知数的函数不等式问题，其关键在于将两个未知数化归为一个未知数，常见的证明方法有以下4种：方法1：利用换元法，化归为一个未知数方法2：利用未知数之间的关系消元，化归为一个未知数方法3：分离未知数后构造函数，利用函数的单调性证明方法4：利用主元法，构造函数证明对数平均值不等式链我们将两个正数和的对数平均值定义为：，对数平均值不等式链为：对数平均值不等式链的指数形式为：，其中例1已知函数（1）讨论的单调性；（2）若存在两个极值点，证明：【解析】（1）定义域为，若，则，在上递减若，即时，在上递减若，即时，由，可得，由，可得或，所以在，上递减，在上递增综上所述，当时，在上递减；当时，在，上递减，在上递增【证明】（2）法1：由（1）知，存在两个极值点，则因为，是的两个极值点，所以，满足，所以，不妨设，于是构造函数，由（1）知，在上递减，所以，不等式获证法2：由（1）知，存在两个极值点，则因为，是的两个极值点，所以，满足，不妨设，则，于是 设，则，构造函数，则，所以在上递增，于是，命题获证法3：仿照法1，可得，因为，所以，令，构造函数，由（1）知，在上递减，所以，不等式获证【点评】、和之间的关系为，我们可以利用其关系式对不等式进行消元，化归为只含有一个未知数的不等式法1消去和留下，法2消去和留下，由于所证的不等式等价于，该不等式不含，因此法1比法2简单由等价的不等式，容易联想到对数平均值不等式，将不等式进一步改造后，通过换元化归为只含一个未知数的不等式例2已知函数，（1）设，讨论曲线与曲线（）公共点的个数；（2）设，比较与的大小，并说明理由【解析】（1）与的公共点的个数等价于与的公共点的个数令，则，由可得，由可得，所以在上递减，在上递增，所以在上的最小值为当时，当时，当时，与没有公共点，即与没有公共点；当时，与有一个公共点，即与有一个公共点；当时，与有两个公共点，即与有两个公共点（2）结论：，证明如下法1：令，则，即证构造函数，则，所以在上递增，于是命题获证法2：令，则，即证，该不等式等价于构造函数，则，令，则，于是在上递增，所以，即，所以在上递增，于是命题获证法3：令，则，且不等式，令，则不等式，这是与有关的常用不等式，命题获证【点评】第（2）小问的不等式含有两个未知数、，其解题思路主要是利用换元法将两个未知数、化归为一个未知数，常见的换元手法有，所证不等式为，这是对数平均值不等式的指数形式，法3通过换元将其转化为对数平均值不等式再进行证明例3已知函数（1）讨论函数的单调性；（2）设，如果对任意，求的取值范围【解析】（1）的定义域为当时，所以在上递增；当时，所以在上递减；当时，由可得，由可得，所以在上递增，在上递减（2）不妨设，因为，所以由（1）可知在上递减，于是，于是对任意，等价于对任意，法1：（分离未知数后构造函数）构造函数，则只需证明在上是减函数，要使在上是减函数，则在上恒成立，所以令，则，由可得，由可得所以在上递减，在上递增，所以当时，有最小值，于是的取值范围是法2：（主元法）由可得，以为主元构造函数（），则令，则是开口方向向下，对称轴为的抛物线，其若，则，此时，即，所以在上递减，于是，即若，则，此时有两个根，不妨设为、，且由可得，由可得或因为是任意的，不妨设，于是在上递减，在上递增，于是在上，有，即不成立综上所述，的取值范围是【点评】得到二元不等式后，有三种方法解决，一是分离未知数后构造函数，进而利用函数的单调性进行证明，二是利用换元法，把二元化归为一元，三是把其中一个元看成主元，进而再求导，法1是分离未知数后构造函数法，法2是主元法例4已知函数有两个零点（1）求的取值范围；（2）设、是的两个零点，证明：【解析】（1）法1：，于是有两个零点等价于与有两个交点因为，由可得，由可得，于是在上递增，在上递减当时，；当时，；当时，；当时，于是当时，与有两个交点，所以的取值范围是法2：当时，只有个零点当时，由可得，由可得，所以在上递减，在上递增，当时，所以，所以有两个零点当时，由可得或（i）当时，由可得或，由可得，所以在、上递增，在上递减因为，所以没有两个零点（ii）当时，所以恒成立，即在上递增，所以没有两个零点（iii）当时，由可得或，由可得，所以在、上递增，在上递减当时，所以没有两个零点综上所述，的取值范围是【证明】（2）法1：（极值点偏移）构造函数（），令，则，因为，所以，所以，于是在上递增，于是，于是，即不妨设，由（1）可知，于是，而，所以因为，且在上递减，所以，即法2：（极值点偏移）构造函数（），则，因为，所以，所以，于是在上递增，于是，于是不妨设，由（1）可知，于是，而，所以因为，且在上递增，所以，即【点评】对于函数在区间内只有一个极值点，方程的解分别为、，即，且，很多极值函数由于极值点左右的“增减速度”不同，函数图象不具有对称性，常常有极值点的情况，出现了“极值点偏移”对于极值点偏移问题，解题可沿循着如下处理策略：构造一元差函数；对差函数求导，判断函数符号，确定的单调性；结合，判断的符号，从而确定、的大小关系；由（或），结合的单调性得到（或），从而（或）模块2 练习巩固 整合提升练习1：已知函数的图象在点（为自然对数的底数）处的切线斜率为（1）求实数的值；（2）若，且对任意恒成立，求的最大值；（3）当时，证明：【解析】（1）因为，所以，所以，即，所以（2）由（1）知，所以对任意恒成立，即对任意恒成立当时，有，猜想的最大值为，下面进行证明，令，则，由可得，由可得，所以在上递减，在上递增，所以，命题获证，整数的最大值是【证明】（3）法1：（分离未知数后构造函数）构造函数，则，令，则，因为，所以在上恒成立，即在上递增，而，于是在上恒成立，所以在上递增而，所以，不等式获证法2：（主元法）以为主元构造函数，则因为，所以，所以函数在上递增因为，所以，所以，即，不等式获证练习2：已知函数，（1）求函数的最大值；（2）设，证明：【解析】（1）函数的定义域为，由可得，由可得，于是在上递增，在上递减，于是当时，有最大值，且最大值为【证明】（2）以为主元构造函数设，其中，则因为，所以，因此在上为增函数而，所以，即设，其中，则当时，因此在上为减函数，而，所以，即综上所述，练习3：设，函数有两个零点、，且（1）求实数的取值范围；（2）证明：【解析】（1），所以有两个零点与有两个交点，由可得，由可得，所以在上递增，在上递减又因为当时，；当时，；，所以实数的取值范围为【证明】（2）法1：（化二元为一元）依题意，有，于是，所以，令，则上式等价于，这是与有关的常用不等式，证明如下：构造，则，于是在上递增，于是，命题获证法2：（化二元为一元）依题意，有，即，