5.1.1 Rolle's Theorem (罗尔定理)

罗尔定理的条件、结论和证明，即在闭区间连续、开区间可导且端点函数值相等的函数，必存在一点使导数为零

定义

罗尔定理（Rolle's Theorem）是微分学中的重要定理。设函数 \(f(x)\) 满足以下三个条件：（1）在闭区间 \([a,b]\) 上连续；（2）在开区间 \((a,b)\) 上可导；（3）在端点处函数值相等，即 \(f(a) = f(b)\)。则在开区间 \((a,b)\) 内至少存在一点 \(c\)，使得 \(f'(c) = 0\)。换句话说，如果一个函数在两个端点的函数值相同，那么在这两点之间必然存在至少一个点，其处的切线是水平的（导数为零）。

核心公式

• \(\text{若 } f(x) \text{ 在 } [a,b] \text{ 上连续，在 } (a,b) \text{ 上可导，且 } f(a) = f(b)\text{，则} \exists c \in (a,b) \text{ 使得 } f'(c) = 0\)
• \(f'(c) = 0 \Rightarrow \text{点 } (c, f(c)) \text{ 处的切线斜率为零（水平切线）}\)
• \(\text{罗尔定理是拉格朗日中值定理的特殊情况：当 } f(a) = f(b) \text{ 时，} \frac{f(b)-f(a)}{b-a} = 0 = f'(c)\)
• \(\text{若 } f'(x) \neq 0 \text{ 对所有 } x \in (a,b) \text{ 成立，则 } f(a) \neq f(b)\)（逆否命题）
• \(\text{临界点：满足 } f'(c) = 0 \text{ 或 } f'(c) \text{ 不存在的点 } c \text{ 称为临界点}\)

易错点

• ⚠️ 忽视三个条件的必要性：学生常常只关注结论而忽视罗尔定理要求的三个充要条件。特别是容易忽视「在闭区间上连续」和「在开区间上可导」的区别，或者忘记检查 \(f(a) = f(b)\) 这个条件。如果任何一个条件不满足，定理就不适用。
• ⚠️ 混淆 \(c\) 的范围：罗尔定理保证存在点 \(c\) 在开区间 \((a,b)\) 内，而不是闭区间 \([a,b]\) 内。学生有时会错误地认为 \(c\) 可以等于 \(a\) 或 \(b\)。
• ⚠️ 错误地应用定理到不满足条件的函数：例如，对于在某点不连续或不可导的函数，学生仍然尝试应用罗尔定理。需要先验证所有条件，再得出结论。
• ⚠️ 与拉格朗日中值定理混淆：学生有时会混淆两个定理的条件和结论。罗尔定理要求 \(f(a) = f(b)\)，而拉格朗日中值定理只要求函数连续可导，不需要端点函数值相等。