罗尔定理的证明通常采用以下步骤，结合了极值存在定理和费马引理：

一、定理条件回顾

罗尔定理的三个条件为：

函数 $f（x）$ 在闭区间 $[a, b]$ 上连续；

函数 $f（x）$ 在开区间 $（a, b）$ 上可导；

$f（a） = f（b）$。

二、证明步骤

最大值与最小值的存在性

由于 $f（x）$ 在闭区间 $[a, b]$ 上连续，根据闭区间上连续函数的性质，$f（x）$ 在 $[a, b]$ 上必定存在最大值 $M$ 和最小值 $m$。

分类讨论

情况一：$M = m$

若最大值等于最小值，则 $f（x）$ 在 $[a, b]$ 上为常数函数，即 $f（x） = C$（$C$ 为常数）。对于常数函数，导数 $f'（x） = 0$，因此在 $（a, b）$ 内任意一点 $x_i$ 都满足 $f'（x_i） = 0$，结论成立。

情况二：$M neq m$

由于 $f（a） = f（b）$，最大值 $M$ 和最小值 $m$ 至少有一个在开区间 $（a, b）$ 内取得（否则 $f（x）$ 为常数函数，已讨论过）。

极值点的导数性质

设 $xi in （a, b）$ 是 $f（x）$ 的极值点（即 $M$ 或 $m$ 的取值点）。根据费马引理，若函数在 $xi$ 处可导且取得极值，则 $f'（xi） = 0$。

结论

综上，在满足罗尔定理的三个条件下，必存在至少一点 $xi in （a, b）$ 使得 $f'（xi） = 0$。

三、补充说明

反证法验证

若假设不存在 $xi in （a, b）$ 使得 $f'（xi） = 0$，则最大值和最小值只能在端点处取得，但这与 $f（a） = f（b）$ 矛盾（除非 $f（x）$ 为常数函数）。

注意事项

罗尔定理仅适用于满足条件的函数，例如 $f（x） = |x|$ 在 $[-1, 1]$ 上不满足可导性条件，因此不适用罗尔定理。

通过以上步骤，可以完整证明罗尔定理。