数学基础库
探索微积分的核心基石，理解函数变化率的本质，掌握考研数学高频考点。
如果函数 f(x) 满足以下三个条件：
那么在 (a, b) 内至少存在一点 ξ (xi)，使得函数在该点的导数为零，即：
函数图像是一条连绵不断的曲线，没有断裂。这是保证函数在区间内取到最大值和最小值的基础（极值定理）。
函数图像光滑，没有尖点或折点。这意味着切线斜率是连续变化的，为介值定理的应用提供了前提。
这是罗尔定理区别于拉格朗日中值定理的关键。它保证了函数不可能单调递增或递减，必然存在“回头”的点，即极值点。
想象一条连续且光滑的曲线，起点和终点的高度相同。那么在这段曲线上，必然至少存在一点，其切线是水平的（平行于x轴）。
这个水平切线的点，就是导数为零的点，也就是函数的驻点或极值点。
约翰·罗尔 (Johann Bernoulli) 首次发表该定理。当时他使用的方法基于代数方程根的性质，而非现代微积分符号。
奥古斯丁-路易·柯西 (Augustin-Louis Cauchy) 在研究微积分严格化过程中，给出了更严格的证明，并推广出了柯西中值定理。
罗尔定理成为证明拉格朗日中值定理的引理，进而成为微积分基本定理的重要支撑，广泛应用于物理学、经济学中的极值优化问题。
步骤 1：检查连续性
f(x) 是多项式函数，在实数域上处处连续，故在 [1, 3] 上连续。✓
步骤 2：检查可导性
多项式函数在实数域上处处可导，故在 (1, 3) 内可导。✓
步骤 3：检查端点值
f(1) = 1² - 4(1) + 3 = 0
f(3) = 3² - 4(3) + 3 = 0
f(1) = f(3)。✓
步骤 4：寻找 ξ
求导：f'(x) = 2x - 4。
令 f'(x) = 0，解得 x = 2。
因为 2 ∈ (1, 3)，所以 ξ = 2 满足定理结论。
分析： 直接证明根的存在性通常使用零点定理，但若要使用罗尔定理，通常用于反证法或证明根的个数。
反证法思路：
假设方程在 (0, 1) 内有两个不同的实根 x₁ 和 x₂。
设 f(x) = x³ - 3x + 1。
则 f(x₁) = 0, f(x₂) = 0。
因为 f(x) 在 [x₁, x₂] ⊂ [0, 1] 上连续，在 (x₁, x₂) 内可导，且 f(x₁)=f(x₂)。
根据罗尔定理，存在 ξ ∈ (x₁, x₂) 使得 f'(ξ) = 0。
然而 f'(x) = 3x² - 3。在 (0, 1) 内，x² < 1，故 3x² < 3，f'(x) < 0。
即 f'(x) 在 (0, 1) 内恒不为 0，产生矛盾。
结论： 假设不成立，方程在 (0, 1) 内至多有一个实根。结合零点定理，可知恰有一个实根。
问题： 证明当 x > 0 时，ln(1+x) < x。
思路： 构造辅助函数 f(t) = ln(1+t) - t，在 [0, x] 上应用拉格朗日中值定理（罗尔的推广）。
更直接的罗尔应用：
考虑函数 g(t) = ln(1+t) - kt。我们需要找到合适的 k 或利用导数性质。
实际上，证明 ln(1+x) < x 更常用的是拉格朗日中值定理：ln(1+x) - ln(1) = f'(ξ)(x-0) = (1/(1+ξ))x。因为 ξ>0，所以 1/(1+ξ)<1，故 ln(1+x) < x。
罗尔定理的典型构造：
若要证明 f'(ξ) + g(ξ)f(ξ) = 0，通常构造辅助函数 F(x) = f(x)e^(∫g(x)dx)，然后对 F(x) 使用罗尔定理。
罗尔中值定理、拉格朗日中值定理和柯西中值定理构成了微分学的核心。理解它们的包含关系至关重要。
| 定理名称 | 条件 | 结论 | 几何意义 | 关系 |
|---|---|---|---|---|
| 罗尔中值定理 | 1. [a,b]连续 2. (a,b)可导 3. f(a)=f(b) |
∃ξ∈(a,b), f'(ξ)=0 | 至少有一点切线平行于x轴 | 特例 |
| 拉格朗日中值定理 | 1. [a,b]连续 2. (a,b)可导 |
∃ξ∈(a,b), f'(ξ)=(f(b)-f(a))/(b-a) | 至少有一点切线平行于割线AB | 一般情况 (罗尔的推广) |
| 柯西中值定理 | 1. f,g在[a,b]连续 2. f,g在(a,b)可导 3. g'(x)≠0 |
∃ξ∈(a,b), [f(b)-f(a)]/[g(b)-g(a)] = f'(ξ)/g'(ξ) | 参数曲线切线斜率等于端点连线斜率 | 最一般情况 (拉格朗日的推广) |
不一定。罗尔中值定理只保证了至少存在一个 ξ。例如，对于 f(x) = sin(x) 在 [0, 2π] 上，f(0)=f(2π)=0，但在 (0, 2π) 内，ξ = π/2 和 ξ = 3π/2 处的导数都为 0（实际上是极值点，导数为0）。如果有多个波峰波谷，就会有多个满足条件的点。
罗尔定理要求的是在开区间(a, b)内可导，而在闭区间 [a, b] 上只需连续。因此，端点处的可导性不影响定理的成立。例如 f(x) = √(1-x²) 在 [-1, 1] 上，端点处切线垂直，不可导，但在 (-1, 1) 内可导，且 f(-1)=f(1)=0，定理依然成立（ξ=0 处导数为0）。
记住口诀：“连、可、等”。
1. 连：闭区间连续（看有没有断点、跳跃、无穷间断）；
2. 可：开区间可导（看有没有尖点、折点、垂直切线）；
3. 等：两端函数值相等（代入计算 a 和 b 的函数值是否相同）。