5.1.6 Verification of Conditions (条件验证)

如何检验和验证中值定理和罗尔定理的三个条件（闭区间连续性、开区间可导性、端点条件）是否满足

定义

条件验证是指在应用中值定理（Mean Value Theorem, MVT）和罗尔定理（Rolle's Theorem）之前，必须系统地检查这些定理所要求的三个充要条件是否全部满足。

罗尔定理的三个条件： 1. 函数 \(f(x)\) 在闭区间 \([a,b]\) 上连续（Continuous on \([a,b]\)） 2. 函数 \(f(x)\) 在开区间 \((a,b)\) 上可导（Differentiable on \((a,b)\)） 3. 端点函数值相等，即 \(f(a) = f(b)\)

中值定理的三个条件： 1. 函数 \(f(x)\) 在闭区间 \([a,b]\) 上连续（Continuous on \([a,b]\)） 2. 函数 \(f(x)\) 在开区间 \((a,b)\) 上可导（Differentiable on \((a,b)\)） 3. 端点条件：存在至少一点 \(c \in (a,b)\) 使得导数等于割线斜率

条件验证的目的是确保定理的结论（存在至少一个点 \(c\) 满足特定的导数条件）是有效的。只有当所有条件都满足时，才能保证定理的结论成立。

核心公式

• \(f(x) \text{ 在 } [a,b] \text{ 上连续} \Rightarrow f(x) \text{ 在 } [a,b] \text{ 上有界且有最值}\)
• \(f(x) \text{ 在 } (a,b) \text{ 上可导} \Rightarrow f(x) \text{ 在 } (a,b) \text{ 上连续}\)
• \(\text{罗尔定理：若 } f(a)=f(b) \text{ 且满足前两个条件，则 } \exists c \in (a,b), f'(c)=0\)
• \(\text{中值定理：若满足前两个条件，则 } \exists c \in (a,b), f'(c)=\frac{f(b)-f(a)}{b-a}\)
• \(\text{条件验证顺序：} \text{闭区间连续性} \rightarrow \text{开区间可导性} \rightarrow \text{端点条件}\)

易错点

• ⚠️ 忽视闭区间连续性的检验：学生常常只检查开区间可导性，而忽略了函数必须在整个闭区间 \([a,b]\) 上连续这一关键条件。例如，在区间端点处有间断点的函数不能应用这些定理。
• ⚠️ 混淆开区间和闭区间的要求：错误地认为可导性需要在闭区间 \([a,b]\) 上满足，而实际上只需在开区间 \((a,b)\) 上可导。在端点处不可导的函数仍可能满足定理条件。
• ⚠️ 遗漏或错误验证端点条件：对于罗尔定理，学生可能忘记验证 \(f(a)=f(b)\)；对于中值定理，误认为需要额外的端点条件，而实际上只需前两个条件即可。
• ⚠️ 不理解条件的充要性：学生可能认为满足其中两个条件就足够了，或者不理解为什么所有三个条件都是必需的。实际上，缺少任何一个条件都可能导致定理结论不成立。