闭区间连续函数的零点定理：f(a)与f(b)异号则中间有根

零点定理是一条“存在性定理”。它只告诉你“某个东西一定存在”，但不告诉你它具体在哪。直观来说：一个连续函数在区间两端一个取负值、一个取正值，那么图像从负值区域爬到正值区域时，必定会穿过 x 轴。也就是说，中间至少有一个点，函数值等于 0。

1. 读懂定理

设函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，且 $f(a)$ 与 $f(b)$ 异号，即满足：

$$ f(a) \cdot f(b) < 0 $$

那么至少存在一个点 $c \in (a, b)$，使得：

$$ f(c) = 0 $$

这里的“连续”可以直观理解为：函数图像是一段没有断点的曲线。无论是直线、抛物线还是更复杂的曲线，只要不断开，从负值走到正值，就必然经过 0。

这个定理的价值在于：你不需要知道根在哪，只要验证两个条件——“函数连续”和“端点异号”，就能确定根一定存在于某个范围内。接下来就可以用数值方法把根找出来。

2. 用二分法找根

二分法是最直接利用零点定理的数值方法。每次把区间砍半，保留符号相反的半边，不断重复，直到区间小到满足你的精度要求。

操作步骤如下：

1. 验证 函数 $f(x)$ 在区间 $[a, b]$ 上连续，并且 $f(a)$ 与 $f(b)$ 异号。例如函数 $f(x) = x^3 - x - 1$，在区间 $[1, 2]$ 上，$f(1) = -1 < 0$，$f(2) = 5 > 0$，条件满足，所以根一定存在于 $(1, 2)$ 内。

2. 计算 中点 $m = \frac{a+b}{2}$。

3. 判断 函数值 $f(m)$：

   • 如果 $f(m) = 0$，则 $m$ 就是根，直接结束。
   • 如果 $f(a)$ 与 $f(m)$ 异号，则根落在 $[a, m]$，保持 $a$ 不变，把 $b$ 更新为 $m$。
   • 如果 $f(m)$ 与 $f(b)$ 异号，则根落在 $[m, b]$，把 $a$ 更新为 $m$，保持 $b$ 不变。

4. 重复 第 2 步和第 3 步，每次区间长度缩小一半，直到区间长度小于你设定的允许误差 $\varepsilon$，例如 $0.001$。

5. 输出 最终区间的中点 $\frac{a+b}{2}$ 作为满足精度的近似根。

举个例子：求 $\sqrt{2}$，也就是求 $f(x) = x^2 - 2$ 在 $[1, 2]$ 内的正根。

• $f(1) = -1$，$f(2) = 2$，异号，根存在。
• 取中点 $1.5$，$f(1.5) = 0.25 > 0$，所以根在 $[1, 1.5]$。
• 取中点 $1.25$，$f(1.25) = -0.4375 < 0$，所以根在 $[1.25, 1.5]$。
• 取中点 $1.375$，$f(1.375) < 0$，所以根在 $[1.375, 1.5]$。
• 取中点 $1.4375$，$f(1.4375) > 0$，所以根在 $[1.375, 1.4375]$。

继续重复，当区间长度小于 $\varepsilon$ 时，中点就是 $\sqrt{2}$ 的近似值。

3. 两个容易忽略的条件

零点定理有两个前提，缺一不可。

第一个前提：必须连续。 如果函数在区间内有断点，即使端点异号，也可能没有根。例如定义在 $[0, 2]$ 上的函数：

• 当 $0 \le x \le 1$ 时，$f(x) = -1$。
• 当 $1 < x \le 2$ 时，$f(x) = 1$。

这里 $f(0) = -1$，$f(2) = 1$，端点异号。但 $x=1$ 处函数值直接从 $-1$ 跳到 $1$，图像是断开的，根本没有经过 0，所以区间内不存在零点。

第二个前提：端点异号。 如果端点同号，定理不保证有根，但可能有根也可能没有根。例如 $f(x) = x^2$ 在 $[-1, 1]$ 上端点都是 $1$，但 $x=0$ 处有根。而 $f(x) = x^2 + 1$ 在 $[-1, 1]$ 上端点也都是 $1$，却没有任何根。所以“端点异号”是充分条件，不是必要条件。

4. 严谨的证明思路

如果你想在解答中写出完整证明，用闭区间套定理最简洁。

证明思路：

1. 构造 一个区间序列 $[a_n, b_n]$，其中 $a_0 = a$，$b_0 = b$，并始终保持 $f(a_n) \le 0 \le f(b_n)$。这里假设 $f(a) < 0$，$f(b) > 0$；如果方向相反，证明过程完全对称。

2. 取 中点 $m_n = \frac{a_n + b_n}{2}$。

3. 判断 $f(m_n)$ 的正负：

   • 如果 $f(m_n) = 0$，则已经找到根，证明到此结束。
   • 如果 $f(m_n) < 0$，则令 $a_{n+1} = m_n$，$b_{n+1} = b_n$。
   • 如果 $f(m_n) > 0$，则令 $a_{n+1} = a_n$，$b_{n+1} = m_n$。

4. 根据 闭区间套定理，存在唯一一个点 $c$ 属于所有 $[a_n, b_n]$，并且有：

$$ \lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = c $$

5. 利用 函数 $f$ 在 $c$ 处连续。因为每一步都保持 $f(a_n) \le 0 \le f(b_n)$，同时对两边取极限，得到：

$$ \lim_{n \to \infty} f(a_n) \le 0 \le \lim_{n \to \infty} f(b_n) $$

也就是：

$$ f(c) \le 0 \le f(c) $$

所以只能有 $f(c) = 0$。