第五讲
考研数学：中值定理与不等式证明核心套路总结
模块一：辅助函数构造的“逆推法”与“桥梁法”
这类题型的核心在于从结论反推原函数。不要瞎凑，要寻找结论等式中的结构特征：
| 结论特征 | 构造/解题策略 | 适用场景及原理 |
|---|---|---|
| 带有分母加1 (如$\frac{a_k}{k+1}$) |
积分型构造： $F(x) = \int_0^x f(t) dt$ |
本质是利用定积分的几何意义或积分中值定理，分母是积分产生的。 |
| 导数与原函数相加 (如$f(x) + xf'(x) = 0$) |
乘积型构造： $F(x) = x \cdot f(x)$ |
逆用乘积求导法则$(uv)' = u'v + uv'$。 |
| 导数带系数 (如$nf(x) + f'(x) = 0$) |
指数型构造/积分因子： $F(x) = e^{nx} \cdot f(x)$ |
逆用含有指数函数的求导法则，凑出前面的常数$n$。 |
| 双变量导数分离 (如左边全$\xi$，右边全$\eta$) |
找桥梁法： 严禁交叉相乘！找常数作为桥梁。 |
利用柯西和拉格朗日分别凑出常数桥梁（如$\frac{f(b)-f(a)}{b-a}$），再连接等式两端。 |
模块二：定理选择的“四步排查法”
面对证明题，不要上来就用罗尔定理，遵循以下优先级排查：
- 看阶数（无导数）：优先用零点存在定理（介值定理）
- 特征： 结论只有 $f(\xi)$ 和 $\xi$（如 $f(\xi) = 1 - \xi$）。
- 操作： 移项构造 $g(x) = f(x) + x - 1$，代入端点验证 $g(a) \cdot g(b) < 0$。
- 看结论等号右边为 0：优先用罗尔定理 (Rolle)
- 特征： 结论形如 $\dots = 0$。
- 操作： 构造出辅助函数 $F(x)$，验证 $F(a) = F(b)$ 即可。
- 看增量与特定函数值：优先用拉格朗日 (Lagrange)
- 特征： 结论中包含 $f(b) - f(a)$，或特定的非零函数值（如题中的 $f(1)$）。
- 操作： 直接在指定区间上对原函数或构造的函数使用 $\frac{F(b) - F(a)}{b - a} = F'(\xi)$。
- 看导数之比或多变量：优先用柯西 (Cauchy) 或拆分区间
- 特征： 出现 $\frac{f'(\xi)}{g'(\xi)}$，或者出现 $\eta, \tau$ 且属于乘积形式。
- 操作： 若为导数之比，观察分母是谁的导数（如 $2\xi$ 是 $x^2$ 的导数）来确定 $g(x)$；若为双变量相乘，通常利用第一问的 $\xi$ 作为分点，在 $[a, \xi]$ 和 $[\xi, b]$ 分别使用拉格朗日。
模块三：不等式证明的高阶杀招（压轴题预演）
1. 泰勒公式 + 绝对值三角不等式
这是极其经典的高分段考点，专门处理带有二阶导数和绝对值的放缩问题。
- 触发条件： 题干已知 $|f(x)|$ 和 $|f''(x)|$ 的有界条件，要求证明 $|f'(x)|$ 的界限。
- 标准操作流：
- 选择任意一点 $x=c$，向区间的两个端点（如 0 和 1）写出带拉格朗日余项的二阶泰勒展开式。
- 两式相减（或相加），把目标项 $f'(c)$ 孤立在等号一边。
- 两边加绝对值，直接使用三角不等式 $|A+B-C| \le |A| + |B| + |C|$，将等式强制转化为不等式。
- 代入题干的有界条件，利用二次函数求最值。
2. 局部极值升格为全局最值
在证明 $f(x) \ge A$ 恒成立时，仅仅求出 $f'(x_0) = 0$ 是不够的，必须说明这个极值点就是最值点。
- 触发条件： 导数求驻点后，需要判断最值。
- 推广结论一（唯一驻点法）： 若在所求区间内，驻点有且仅有一个，且为极小（大）值，则该点必为全局最小（大）值。
- 推广结论二（二阶导数恒号法/凹凸性）： 若在区间内 $f''(x) > 0$ 恒成立，说明函数全程开口向上（严格凸），此时唯一的驻点必为全局最小值。