内容正文:
提高专题3 导数与不等式的证明问题
【方法储备】探究一 单变量的不等式证明
思路一:利用单调性证明不等式在区间上成立
1.构造函数;
2.若,则需证明在区间上单调递增;,则需证明在区间上单调递减;
思路二:利用最值证明单变量不等式
1.作差或变形,构造函数,转化为证明;判断函数的单调性,求最值.
2.凸凹反转:对不等式进行变形得到,使不等号两侧的对应函数呈现凹凸反转的特点;问题可转化为证明.
提醒:凹凸反转的分离的原则,常见的不等式是由指数、对数和多项式函数构成,
若构造差值函数不易求出导函数零点时,可以考虑指、对分离,即指数函数和多项式函数组合与对数函数和多项式函数组合分开,然后利用导数求函数的最值.
思路三:利用放缩法证明不等式
适当放缩构造法:一是根据已知条件适当放缩;二是利用常见放缩结论,如
⑴,当且仅当时取等号;
⑵,当且仅当时取等号;
⑶当时,, 当且仅当时取等号;
⑷当时,, 当且仅当时取等号;
⑸,当且仅当时取等号;
⑹当时,,当且仅当时取等号.
思路四:利用分析法,通过不等式的等价转换,证明新的不等式成立.
【典例精讲】
例1.(2023·辽宁省大连市模拟) 非零实数,满足:证明不等式:.
证明不等式:.
例2.(2023·湖南省长沙市联考) 已知函数.
若曲线在处的切线的斜率为,求的值;
若,求证:当时,的图像恒在轴上方.
【拓展提升】
练1-1(2023·安徽省六安市月考) 已知函数的图象在处的切线与直线垂直.
求的值
证明:.
练1-2(2023·广东省佛山市月考) 已知函数.
讨论的极值;
当时,证明:.
探究二 含双变量的不等式证明
【方法储备】
思路一:整体换元
对于齐次式往往可将双变量整体换元,化为一元不等式.
破解含双变量(参)不等式的证明的关键.
思路二:转化为单参不等式
由已知条件入手,寻找双参所满足的关系式,并把含双参的不等式转化为含单参的不等式;
思路三:利用对称性构造函数
若双变量的函数不等式具有对称性,并且可以将两个变量分离开,分离之后的函数结构具有相似性,从而构造函数利用单调性证明.
【典例精讲】
例3.(2023·浙江省杭州市联考) 已知函数,.
讨论的单调性;
若存在,使得,证明:.
例4. (2023·江西省南昌市月考) 已知函数
当时,讨论函数的单调性
若函数有两个极值点,,证明:.
【拓展提升】
练2-1(2023·安徽省黄山市模拟) 已知函数.
求不等式的解集;
若方程有两个不相等的实数根,,证明:.
练2-2(2023·江苏省南京市联考) 已知函数,.
若,求证:;
若有且只有两个零点,.
(ⅰ)求的取值范围;
(ⅱ)求证:.
探究三 数列不等式的证明
【方法储备】
数列不等式证明的思路:
函数中与正整数有关的不等式,其实质是利用函数性质证明数列不等式,证明此类问题时常根据已知的函数不等式,用关于正整数的不等式替代函数不等式中的自变量,通过多次求和达到证明的目的.即利用第一问的函数单调性,选取对应的不等式(多是极值点和最值点),代入正整数的合适形式,构造累加和,互相消去求和即可.
【典例精讲】
例5.(2023·重庆市市辖区月考) 已知函数
讨论的单调性;
求证:,其中为自然对数的的底数.
【拓展提升】
练3-1(2023·安徽省六安市月考)(多选) 已知数列中,,若,则下列结论中正确的是( )
A. B. C. D.
练3-2(2023·上海市市辖区模拟) 已知数列,,为数列的前项和,且.
求数列的通项公式
求证:
证明:.
【答案解析】
例1. 证明:显然 且 且 ,
原不等式 ,
.
令 且 ,
则 ,令 ,
则 ,
当 时, 在 递增, ,
时, 在 递减, ,
在 上递减,在 上递减,
在 时, ,在 时, .
即时,,
当时,,
.
,
,
原不等式等价为 ,
即证 ,
在中,令 ,则 ,
在中,令 ,则 ,
.
例2. 解:函数的导数为,
曲线在处的切线的斜率为,
,;
证明:由得,
令,则,
①当时,,单调递增,,
即单调递增,,满足题意;
②当时,令,解得,
当时,,单调递减,
当时,单调递增,
,
,,即,
单调递增,,满足题意,
综上可得,当且时的图像恒在轴上方.
练1-1.解:函数的定义域为,
,
则由题意知的图像在处的切线的斜率,所以.
证明:要证明,
即证明,,
即证明,.
令,
则.
当时,当时,.
所以在上为减函数,在上为增函数,
所以.
因为在上为减函数,
所以,所以,
所以.
练1-2.解:由函数 ,
可得 ,
当 时,可得 ,解得 ,即函数的定义域为 ,
令 ,解得 ,
当 时, , 单调递减;
当 时,