点定理（又称介值定理的特例）是数学分析中的基础性结果，其核心在于：若函数在闭区间上连续，且区间端点函数值异号，则该函数在区间内至少存在一个零点。 这一结论看似直观，但其严格证明需遵循严谨的逻辑链条。实践中，我们将其分解为零点定理证明三步：连续性验证 → 端点符号判断 → 存在性结论。
“零点定理不是直觉的附庸，而是连续性本质的数学表达——它告诉我们：连续函数不可能‘跳跃’越过零点。”
—— 《数学分析原理》（Rudin）第4章引理
第一步：验证函数在闭区间上的连续性
连续性是零点定理成立的前提条件。需严格验证：
- 定义域包含闭区间：函数在 $[a, b]$ 上每一点均有定义；
- 极限等于函数值：对任意 $c in [a, b]$，有 $lim_{x to c} f(x) = f(c)$；
- 排除间断点：特别注意分段函数、分式函数、根式函数的定义域边界。
反例警示：间断点导致结论失效
f(x) = begin{cases}
-1, & x in [0, 0.5) \, & x in [0.5, 1]
end{cases}
quad text{在} [0,1] text{上} f(0) = -1 < 0, f(1) = 1 > 0，\
text{但} f(x) text{在} x=0.5 text{处跳跃间断，故无零点。}
第二步：计算端点函数值并判断符号异同
在确认连续性后，需明确计算 $f(a)$ 与 $f(b)$ 的符号关系。注意以下要点：
- 必须异号：$f(a) cdot f(b) < 0$ 是定理适用的充要条件；
- 零值不构成反例：若 $f(a)=0$ 或 $f(b)=0$，零点已显式存在；
- 同号也可能有零点：此时需结合其他工具（如导数分析）进一步判断。
第三步：应用定理得出存在性结论
在满足前两步条件后，直接引用定理可得：
标准结论模板
text{由零点定理知，存在 } c in (a, b)，text{ 使得 } f(c) = 0。
此结论仅保证存在性，不提供具体数值。若需近似求解，应结合二分法、牛顿迭代等数值方法。