零点定理的证明可以通过多种方法，以下是使用闭区间套定理和构造辅助函数的方法进行证明：

零点定理证明

定理：设函数 （ f（x） ） 在闭区间 （[a, b]） 上连续，且 （ f（a） ） 与 （ f（b） ） 异号（即 （ f（a） times f（b） < 0） ），那么在开区间 （（a, b）） 内至少存在一点 （xi），使得 （ f（xi） = 0）。

证明：

1. 构造辅助函数 （ g（x） = f（x） - k ），其中 （ k ） 是 （f（a）） 和 （f（b）） 之间的一个实数，即 （ f（a） < k < f（b） ）。

2. 由于 （ f（x） ） 在 （ [a, b] ） 上连续，根据连续函数的性质，（ g（x） ） 也在 （ [a, b] ） 上连续。

3. 考虑集合 （ E = { x mid f（x） leq k, x in [a, b] } ）。由于 （ f（a） < k ） 和 （ f（b） > k ），集合 （ E ） 非空，且 （ sup E in [a, b] ）。

4. 假设 （ sup E = xi ），我们需要证明 （ f（xi） = 0 ）。

5. 如果 （ f（xi） > 0 ），则由函数连续的局部保号性知，存在 （ delta > 0 ），对 （ x_1 in （xi, xi + delta） ）：（ f（x_1） > 0 ）。这与 （ xi ） 是 （ E ） 的上界矛盾。

6. 如果 （ f（xi） < 0 ），则由函数连续的局部保号性知，存在 （ delta > 0 ），对 （ x_1 in （xi - delta, xi） ）：（ f（x_1） < 0 ）。这意味着存在 （ x_1 ） 为 （ E ） 的一个上界，且 （ x_1 in [a, b] ），这与 （ xi ） 是 （ E ） 的最小上界矛盾。

7. 综合以上两种情况，我们得出 （ f（xi） = 0 ）。

结论

通过上述证明，我们证明了在闭区间 （ [a, b] ） 上连续的函数 （ f（x） ），如果两端点的函数值异号，则在开区间 （ （a, b） ） 内至少存在一点 （ xi ） 使得 （ f（xi） = 0 ）。

---

以上证明使用了闭区间套定理和构造辅助函数的方法，通过构造一个辅助函数 （ g（x） ） 并利用其连续性和集合 （ E ） 的性质来证明零点的存在性。