零点存在定理的证明可以通过多种方法进行，以下是使用区间套定理的一种证明方法：

零点存在定理证明

证明

设函数 （ f（x） ） 在闭区间 （[a, b]） 上连续，并且满足 （ f（a） cdot f（b） < 0 ）。我们需要证明在开区间 （（a, b）） 内至少存在一点 （ c ），使得 （ f（c） = 0 ）。

构造序列

定义一个序列 （{ x_n } ），其中 （ x_n in [a, b] ），并且 （ x_n rightarrow a ） 当 （ n rightarrow infty ）。

应用介值定理

由于 （ f（x） ） 在 （[a, b]） 上连续，根据介值定理，对于任意的 （epsilon > 0），存在 （delta > 0），使得当 （ |x - a| < delta ） 时，有 （ |f（x） - f（a）| < epsilon ）。

构造区间套

对于每个 （ n ），选择 （delta_n = frac{epsilon}{2} ），则存在 （ x_n' in [a, b] ），使得 （ |x_n' - a| < delta_n ）。由于 （ f（a） cdot f（b） < 0 ），不妨设 （ f（a） > 0 ） 和 （ f（b） < 0 ）。

如果 （ f（x_n'） > 0 ），则存在 （ x_n'' in [x_n', b] ），使得 （ f（x_n''） < 0 ）。

如果 （ f（x_n'） < 0 ），则存在 （ x_n'' in [a, x_n'] ），使得 （ f（x_n''） > 0 ）。

应用介值定理

对于 （ x_n'' ），由于 （ f（x） ） 在 （[a, b]） 上连续，根据介值定理，存在 （ c_n in [x_n', x_n''] ） 使得 （ f（c_n） = 0 ）。

证明序列收敛

由于 （{ x_n } rightarrow a ），我们可以假设 （{ c_n } rightarrow a）。

得出结论

由于 （{ c_n } rightarrow a），存在 （ N ），当 （ n > N ） 时，（ c_n in [x_n', x_n''] subseteq [a, b] ）。因此，对于所有 （ n > N ），存在 （ c_n in [a, b] ） 使得 （ f（c_n） = 0 ）。

结论

根据上述证明，我们可以得出结论：如果函数 （ f（x） ） 在闭区间 （[a, b]） 上连续，并且 （ f（a） cdot f（b） < 0 ），则在开区间 （（a, b）） 内至少存在一点 （ c ），使得 （ f（c） = 0 ）。

注意事项

这个证明使用了介值定理，它是零点存在定理的一个直接推论。

证明中的序列 （{ x_n } ） 和 （{ c_n } ） 是构造性的，用于说明在连续函数的条件下，零点的存在性。

零点存在定理是数学分析中的一个基本定理，它在理解函数的性质和解决实际问题中非常重要。