专题09导数综合（证明不等式）（解析版）-（名校汇编）2023年高中数学名校模拟考点汇编（新高考专用）.docxVIP

证明不等式 考点一：单变量不等式证明 1．（2022·河北·模拟预测）已知函数，其中. (1)若，曲线在处的切线与直线平行，求的极值； (2)当时，证明：. 【答案】(1)极大值为，无极小值. (2)证明见解析. 【分析】 （1）根据导数的几何意义得，进而得，再列表求解即可； （2）根据题意，只需证明，由于函数在上单调递增， ，故转化为证明，再令，再求函数最值即可证明. (1) 解：，，， 因为曲线在处的切线与直线平行， 所以，，解得， 所以，，，解得， 所以，，，的变化情况如下表， 单调递增 极大值 单调递减 所以，当时，有极大值，无极小值. (2) 解：当，， 因为， 所以只需证明成立即可. 令，则， 所以，函数在上单调递增，即. 令，则， 令，则， 所以，当时，，单调递减， 当时，，单调递增， 所以，， 因为，所以，即， 所以成立， 所以成立，证毕. 2．（2022·重庆八中模拟预测）设函数，已知是函数的极值点． (1)求a的值，并求函数的单调区间； (2)若，求证：． 【答案】(1)，函数的减区间为，增区间为 (2)证明见解析 【分析】 （1）由已知得，，由此可求得，再运用导函数，分析导函数的符号，从而可得函数的单调区间； （2）由已知将不等式等价于，令，运用导函数得出函数的单调性，分，分别证明即可. (1) 解：由已知得，所以， 又是函数的极值点，所以，解得， 所以，则， 令，则， 因为，所以，所以在上单调递增，即在上单调递增， 又，所以当时，，当时，， 所以函数的减区间为，增区间为； (2) 证明：因为，所以，所以不等式等价于， 又，所以，所以不等式等价于， 令，则， 令，则， 所以当时，，当时，， 所以函数在单调递增，在上单调递减， 即函数在单调递增，在上单调递减， 所以，所以函数在上单调递减， 所以当时，，，即， 所以，所以； 当时，，，即， 所以，所以， 所以当时，，不等式得证． 【点睛】 方法点睛：1、利用导数证明不等式或解决不等式恒成立问题,关键是把不等式变形后构造恰当的函数，然后用导数判断该函数的单调性或求出最值，达到证明不等式的目的；2、利用导数解决不等式恒成立问题，应特别注意区间端点是否取得到；3、学会观察不等式与函数的内在联系，学会变主元构造函数再利用导数证明不等式.总之，无论是证明不等式，还是解不等式，我们都可以构造恰当的函数，利用到函数的单调性或最值，借助导数工具来解决，这种解题方法也是转化与化归思想在中学数学中的重要体现. 3．（2022·重庆·模拟预测）已知函数，其中，e为自然对数的底数， (1)若函数在定义域上有两个零点，求实数a的取值范围； (2)当时，求证： 【答案】(1) (2)证明过程见解析. 【分析】 （1）求定义域，求导，对a分类讨论，结合单调性及最小值，列出不等关系，求出实数a的取值范围；（2）先进行简单放缩，构造函数，进行证明. (1) 的定义域为，，当时，恒成立，故在上单调递增，故函数在定义域上不可能有两个零点； 当时，令得：，令得：，故在单调递减，在上单调递增，故在处取得极小值，也是最小值，，要想函数在定义域上有两个零点，则，解得：，又，当时，，由零点存在性定理可知：在与范围内各有一个零点，综上：实数a的取值范围是. (2) 证明：当时，即证，（） 由于，故，只需证，令，则，因为，所以，令得：，令得：，所以在处取得极大值，也是最大值，，故在上恒成立，结论得证. 【点睛】 导函数证明不等式，常常需要对不等式进行变形放缩，常见放缩有三角函数有界性放缩，切线放缩，如，，等. 4．（2022·河北·模拟预测）已知函数. (1)请研究函数在上的零点个数并证明； (2)当时，证明：. 【答案】(1)4，证明见解析 (2)证明见解析 【分析】 （1）函数 是奇函数，所以只要考虑 上的零点，利用函数的单调性即可； （2）构造函数，用缩放法可以证明不等式. (1) 为奇函数，所以只需要研究函数上的零点个数， 当时，， 是单调递减的， ，， 所以当时，有一个零点； 当时，令 ，， 是单调递增的，，， 所以存在，使得， 所以当时，， 单调递减的， 当时，， 是单调递增的， 又，所以，， 所以存在使得， 当时，无零点， 综上可知，当时，函数有两个零点， 即在上，函数有四个零点； (2) 当时， ， 两边取自然对数得： 构造函数， 即， 即，即，则， 于是，， 所以. 【点睛】 一般来说当三角函数和其他基本初等函数同时出现在同一解析式时，由于三角函数是周期函数，而其他函数往往没有周期性，所以需要一个区间一个区间取讨论，不论是单调性还是零点，最好在讨论之前先画一个草图；对于第二问难点在于构造函数，因为对数函数是非线性函数，直接计算难度很大，因此考虑缩放的方法，构造一个新函数，将原对数函数转化