定理内容
Zero Point Theorem
如果函数 y = f(x) 在闭区间 [a, b] 上连续不断，
并且在区间端点处满足 f(a) · f(b) < 0（即端点值一正一负），
那么在开区间 (a, b) 内至少存在一个点 c，使得 f(c) = 0。
并且在区间端点处满足 f(a) · f(b) < 0（即端点值一正一负），
那么在开区间 (a, b) 内至少存在一个点 c，使得 f(c) = 0。
f(a) · f(b) < 0 且 f 连续 ⇒ ∃ c ∈ (a, b), f(c) = 0
这个定理告诉我们零点一定存在，但不能确定零点的个数和具体位置。
交互演示
函数x³ - 2x - 5
区间左端 a2.00
区间右端 b3.00
f(a)-1.000
f(b)16.000
f(a) · f(b)-16.000
符号变号✓ 是
条件检查
- f 在 [a,b] 上连续
- f(a) 与 f(b) 异号
- 零点存在！
示例函数
近似零点
-
二分法求解过程
多零点函数示例
常见误区与注意
✗ 误区一
认为 f(a)·f(b) < 0 是零点存在的必要条件。
正确：这只是一个充分条件。即使 f(a)·f(b) > 0，区间内仍可能有零点（如二次函数在 [−1, 1] 内有两个零点）。
✗ 误区二
忘记检查函数的连续性条件。
正确：如果函数在区间内有间断点，即使端点值异号，零点也可能不存在。
✓ 要点
零点定理只能保证零点存在，不能确定零点的个数。区间内可能有一个或多个零点。
✓ 要点
零点定理常与二分法结合使用来求方程的近似解，是数值计算的基础方法。
相关公式与推论
零点定理
f(a)·f(b) < 0 ⇒ ∃c∈(a,b), f(c)=0
推论：根存在
f(x)=0 有解 ⟺ 图像穿过 x 轴
介值定理
f 连续 ⇒ f 取遍 [f(a), f(b)]
二分法
误差 ≤ (b−a) / 2ⁿ
严格单调
f 严格单调 ⇒ 零点唯一
罗尔定理
f(a)=f(b)=0 ⇒ ∃ξ, f'(ξ)=0