利用函数单调性证明不等式
利用函数单调性证明不等式,核心是构造恰当的辅助函数,通过求导判断该函数在指定区间上的增减性,再结合区间端点的函数值,推导出所要证明的不等式关系。
利用函数的单调性证明不等式的核心逻辑非常直观:
要用单调性证明不等式 (在区间 上),通常遵循以下四大步骤:
- 构造辅助函数:将不等式移项,令 。此时目标转化为证明 。
- 确定作用区间:明确变量 的取值范围 (注意定义域和开闭区间)。
- 判定函数单调性:
- 初等方法:利用单调性定义(如 )或已知基本初等函数的单调性。
- 导数法(最常用):求导数 。
- 若在区间上 (且不恒等于 ),则 为单调递增;
- 若在区间上 (且不恒等于 ),则 为单调递减。
- 代入基准点求值并得出结论:
- 若 在 上单调递增,且 ,则当 时,。
- 若 在 上单调递减,且 ,则当 时,。
证明当 时,
证明过程:
-
第一步:构造辅助函数
移项,设 。
目标是证明:当 时,。
-
第二步:确定区间
区间为 ,函数在 上连续。
-
第三步:求导判单调
对 求导:
因为 ,所以 且 ,故:
这说明 在 上是单调递增的。
-
第四步:比较基准点得出结论
计算端点值:。
因为 在 上单调递增,所以当 时:
即:
证毕。
| 不等式类型 | 常见构造形式 f(x) | 关键基准点 |
|---|---|---|
| 基础移项型 | 寻找零点(如 或 ) | |
| 商值比较型 | (需 ) | 比较 与 的大小 |
| 多次求导型 | 正负不明显时,对 再次求导(即 ) | 逐层分析单调性 |