介值性定理的证明方法主要有以下三种经典方法，结合了数学分析中的不同理论基础：

一、反证法（最直观的方法）

假设反例

假设存在一个连续函数 $f（x）$ 在闭区间 $[a, b]$ 上，对于任意介于 $f（a）$ 和 $f（b）$ 之间的实数 $y$，都不存在 $c in [a, b]$ 使得 $f（c） = y$。

构造矛盾

由于 $f（x）$ 连续，根据连续函数的定义，对于任意 $epsilon = frac{|f（b）f（a）|}{2}$，存在 $delta > 0$，当 $|x - c| < delta$ 时，有 $|f（x） - f（c）| < epsilon$。 选择 $y$ 介于 $f（a）$ 和 $f（b）$ 之间，且满足 $|y - f（a）| < epsilon$ 和 $|y - f（b）| < epsilon$，则存在 $c in [a, b]$ 使得 $|f（c） - y| < epsilon$，即 $f（c）$ 介于 $f（a）$ 和 $f（b）$ 之间，与假设矛盾。

结论

因此，介值性定理成立。

二、零点定理（特殊情形）

构造辅助函数

设 $F（x） = int{a}^{x} f（t） , dt$，则 $F（x）$ 在 $[a, b]$ 上连续且可导，且 $F（a） = 0$，$F（b） = int{a}^{b} f（t） , dt$。

应用零点定理

若 $f（a）f（b） < 0$，则根据零点定理，存在 $c in （a, b）$ 使得 $F'（c） = f（c） = 0$。若 $f（a）f（b） > 0$，则 $F（a）$ 和 $F（b）$ 同号，无法直接应用零点定理，需进一步构造函数（如 $G（x） = f（x） - frac{f（b）-f（a）}{b-a}（x-a）$）转化为零点问题。

三、区间套定理（极限形式）

构造区间序列

设 $a leq x_0 leq b$，且 $f（x_0） neq f（a）$，构造区间 $[a, x_0]$ 和 $[x_0, b]$，使得 $f（a） < f（x_0） < f（b）$ 和 $f（x_0） < f（a） < f（b）$。 由于 $f（x）$ 连续，根据闭区间上连续函数的性质，$[a, x_0]$ 和 $[x_0, b]$ 都满足介值性定理，存在 $c_1 in （a, x_0）$ 和 $c_2 in （x_0, b）$ 使得 $f（c_1） = frac{f（a） + f（x_0）}{2}$ 和 $f（c_2） = frac{f（x_0） + f（b）}{2}$。

压缩区间

重复上述过程，构造嵌套区间 $[a, c_1] subset [a, x_0] subset [a, b]$，$[c_1, b] subset [x0, b]$，并取交集 $bigcap{n=1}^{infty} [a, xn] = [a, c]$，$bigcap{n=1}^{infty] [c_1, b] = [c, b]$。 由介值性定理，存在 $c in [a, b]$ 使得 $f（c） = frac{f（a） + f（b）}{2}$。

总结

介值性定理的证明方法多样，反证法因其直观性常被优先使用，而零点定理和区间套定理则分别适用于特殊情形和需要严格逻辑推导的情况。不同方法体现了数学分析中从直观到严谨的证明思路。