罗尔定理推论适用条件全解析：从基础验证到考研深度应用

案例二：三角函数的构造应用

题目： 证明方程 4acos^3x - 3cosx = b (其中 |a| < 1) 在 (0, π) 内至少有一个实根。

解析：

1. 构造辅助函数： 观察方程形式，联想到三倍角公式 cos3x = 4cos^3x - 3cosx。设 F(x) = asin3x + bx。
2. 验证条件：
   • 连续性：F(x) 在 [0, π] 上连续。
   • 可导性：F(x) 在 (0, π) 内可导。
   • 端点值：F(0) = a·0 + 0 = 0；F(π) = a·sin3π + bπ = bπ。
3. 调整区间： 若 b=0，则 F(0)=F(π)=0，可直接用罗尔定理。若 b≠0，需重新审视题目或构造更复杂的辅助函数。通常此类题目会给出特定区间使端点值相等。

修正案例： 设 f(x) = x sin x，证明在 [0, π] 上存在 ξ 使得 f'(ξ) = 0。

证明： f(0)=0, f(π)=0。满足连续、可导、端点相等。故存在 ξ ∈ (0, π)，使 f'(ξ) = sinξ + ξcosξ = 0。

案例三：含参函数的极值讨论

题目： 已知函数 f(x) = e^x - ax - 1，讨论 a 的取值范围，使得 f(x) ≥ 0 在 [0, +∞) 上恒成立。

解析：

1. 分析端点： f(0) = e^0 - 0 - 1 = 0。
2. 利用导数分析单调性： f'(x) = e^x - a。
3. 分类讨论：
   • 若 a ≤ 0，则 f'(x) > 0，f(x) 单调递增，f(x) ≥ f(0) = 0，成立。
   • 若 a > 0，令 f'(x) = 0 得 x = ln a。
     • 若 ln a ≤ 0 (即 0 < a ≤ 1)，则在 [0, +∞) 上 f'(x) ≥ 0，f(x) 递增，成立。
     • 若 ln a > 0 (即 a > 1)，则在 (0, ln a) 上 f'(x) < 0，f(x) 递减。此时 f(ln a) < f(0) = 0，不成立。
4. 结论： a ≤ 1。

此案例展示了如何通过导数（罗尔定理的核心工具）分析函数性质，虽未直接引用罗尔定理结论，但体现了其思想。