罗尔定理的证明可以通过以下步骤进行：

连续性与极值

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

极值点的存在性

如果 （ M = m ），则 （ f（x） ） 在 （[a, b]） 上为常数函数，此时在 （（a, b）） 内任一点 （xi），都有 （ f'（xi） = 0 ）。

如果 （ M > m ），则最大值 （ M ） 和最小值 （ m ） 至少有一个在开区间 （（a, b）） 内的某点 （xi） 处取得。由于 （ f（x） ） 在 （（a, b）） 内可导，根据费马引理，在取得极值的点 （xi） 处，导数 （ f'（xi） ） 必须为 0。

反证法

假设不存在 （xi in （a, b）） 使得 （ f'（xi） = 0 ）。

如果 （ M > m ），则由于 （ f（a） = f（b） ），函数在 （[a, b]） 上不可能有极值，因为极值点处导数为 0，与假设矛盾。

如果 （ M = m ），则函数为常数函数，同样在 （（a, b）） 内任一点 （xi），导数 （ f'（xi） ） 都为 0，这也与假设矛盾。

结论

综上，在满足罗尔定理的三个条件（函数在闭区间上连续，在开区间上可导，且端点处函数值相等）下，必然存在至少一点 （xi in （a, b）） 使得 （ f'（xi） = 0 ）。

以上步骤展示了罗尔定理的证明过程。需要注意的是，证明中用到了闭区间上连续函数的极值性质以及费马引理，这些是微积分中的基础知识。