1.7.1 介值定理的陈述 (Statement of IVT)

介值定理的严格数学表述：若函数在闭区间上连续，则函数值可以取到端点函数值之间的任意值

定义

介值定理（Intermediate Value Theorem, IVT）是微积分中的一个基本定理。其严格的数学表述为：

设函数 \(f\) 在闭区间 \([a, b]\) 上连续，且 \(f(a) \neq f(b)\)。若 \(k\) 是介于 \(f(a)\) 和 \(f(b)\) 之间的任意实数（即 \(k\) 满足 \(f(a) < k < f(b)\) 或 \(f(b) < k < f(a)\)），则至少存在一个 \(c \in (a, b)\)，使得 \(f(c) = k\)。

换句话说，连续函数在闭区间上必定取遍其端点函数值之间的所有中间值。这个定理反映了连续函数的一个本质特征：其图像不能有间断或跳跃。

核心公式

• \(["\)\text{若 } f \text{ 在 } [a,b] \text{ 上连续，且 } k \text{ 介于 } f(a) \text{ 和 } f(b) \text{ 之间，则 } \exists c \in (a,b), f(c) = k\(", "\)f(a) < k < f(b) \text{ 或 } f(b) < k < f(a)\(", "\)\text{推论：若 } f \text{ 在 } [a,b] \text{ 上连续且 } f(a) \cdot f(b) < 0, \text{ 则 } \exists c \in (a,b), f(c) = 0\(", "\)\text{IVT 的应用形式：若 } f \text{ 在 } [a,b] \text{ 上连续，则 } f \text{ 的值域包含 } [m, M] \text{ 或 } [M, m]，其中 } m = \min{f(a), f(b)}, M = \max{f(a), f(b)}\("]\)

易错点

• ⚠️ ["误认为介值定理只适用于 \(f(a)\) 和 \(f(b)\) 同号的情况，实际上定理对任意介于两个端点函数值之间的 \(k\) 都成立，无论端点函数值的符号如何", "忽视连续性这个必要条件。学生常常对不连续函数应用介值定理，导致错误结论。例如分段函数在某点不连续时，不能保证中间值一定能取到", "混淆存在性和唯一性。介值定理只保证至少存在一个 \(c\) 使得 \(f(c) = k\)，但不保证这样的 \(c\) 是唯一的，可能存在多个这样的点", "错误地应用零点存在定理。学生有时会误认为 \(f(a) \cdot f(b) < 0\) 是应用 IVT 的必要条件，实际上这只是 IVT 的一个特殊情况（零点存在定理），而 IVT 的适用范围更广"]