罗尔定理构造辅助函数微分方程法

构造辅助函数时(这种情况适用于所有一阶齐次微分方程的情况→即f(x)与f~(x)只差一阶导时)，先把方程写成一阶齐次微分方程的形式:f~(∮)+g(∮)f(∮)=0，再把∮改成x，最后两端同乘e~(∫g(x)dx)，即可得到辅助函数。

罗尔（Rolle）中值定理是微分学中一条重要的定理，是三大微分中值定理之一，其他两个分别为：拉格朗日（Lagrange）中值定理、柯西（Cauchy）中值定理。

罗尔定理描述如下：
如果 R 上的函数 f(x) 满足以下条件：
（1）在闭区间 [a,b] 上连续。

（2）在开区间 (a,b) 内可导。

（3）f(a)=f(b)，则至少存在一个ξ∈(a,b)，使得 f'(ξ)=0。

证明：
因为函数 f(x) 在闭区间[a,b] 上连续，所以存在最大值与最小值，分别用 M 和 m 表示，分两种情况讨论：
1. 若 M=m，则函数 f(x) 在闭区间 [a,b] 上必为常函数，结论显然成立。

2. 若 M>m，则因为 f(a)=f(b) 使得最大值 M 与最小值 m 至少有一个在 (a,b) 内某点ξ处取得，从而ξ是f(x)的极值点，又条件 f(x) 在开区间 (a,b) 内可导得，f(x) 在ξ处取得极值，由费马引理，可导的极值点一定是驻点，推知：f'(ξ)=0。

另证：若 M>m ，不妨设f(ξ)=M，ξ∈(a,b)，由可导条件知，f'(ξ+)<=0，f'(ξ-)>=0，又由极限存在定理知左右极限均为 0，得证。