罗尔定理

维库，知识与思想的自由文库

微积分学
微积分基础函数初等函数极限数列夹挤定理连续间断点一元微积分导数与微分高阶导数介值定理中值定理罗尔定理拉格朗日定理柯西定理泰勒公式洛必达法则导数的函数应用极值凹凸性曲率积分不定积分积分表三角函数积分表反函数积分表反双曲函数积分表对数函数积分表指数函数积分表无理函数积分表有理函数积分表定积分牛顿-莱布尼茨公式广义积分判别法柯西判别法阿贝尔判别法狄里克雷判别法主值柯西主值 β函数 Γ函数多元微积分多元函数微分多元函数偏导数隐函数全微分方向导数梯度泰勒公式多元函数积分重积分二重-三重-多重广义重积分曲线积分曲面积分格林公式高斯公式斯托克斯公式散度和旋度微分方程常微分方程差分方程拉普拉斯变换法微积分的应用微积分的几何应用平面图形的面积平面曲线的切线和弧长旋转体的体积旋转曲面的面积曲面的切平面和法线空间曲线的切线和法平面微积分的物理应用运动的位移、加速度力所做的功物质的质量静力矩、惯性矩和重心微积分的经济应用边际弹性、交叉弹性收益流的现值和将来值成本分析、净资产分析

[编辑] 内容

如果函数 $f (x)$ 满足

在闭区间 $[a, b]$ 上连续；
在开区间 $(a, b)$ 内可导；
在区间端点处的函数值相等，即 $f (a) = f (b)$ ，

那么在 $(a, b)$ 内至少有一点 $ξ(a < ξ < b)$ ，使得 $f^\prime(\xi)=0$ 。

[编辑] 证明

首先，因为 $f$ 在闭区间 $[a, b]$ 上连续， $f$ 在 $[a, b]$ 上有最大值和最小值。如果最大值和最小值都在端点 $a$ 或 $b$ 处取得，由于 $f (a) = f (b)$ ， $f$ 显然是一个常数函数。那么对于任一点 $\xi \in (a,b)$ ，我们都有 $f^\prime(\xi)=0$ 。

现在假设 $f$ 在 $\xi\in (a,b)$ 处取得最大值。我们只需证明 $f$ 在该点导数为零。

取 $x\in (a,\xi)$ ，由最大值定义 $f(\xi)\geq f(x)$ ，那么 $\frac{f(x)-f(\xi)}{x-\xi}\geq 0$ 。令 $x\rightarrow \xi^-$ ，则 $\lim_{x\rightarrow \xi^-} \frac{f(x)-f(\xi)}{x-\xi}\geq 0$ 。因为 $f$ 在 $ξ$ 处可导，所以到们有 $f'(\xi)\geq 0$ 。

取 $x\in (\xi,b)$ ，那么 $\frac{f(x)-f(\xi)}{x-\xi}\leq 0$ 。这时令 $x\rightarrow \xi^+$ ，则有 $\lim_{x\rightarrow \xi^+} \frac{f(x)-f(\xi)}{x-\xi}\leq 0$ ，所以 $f'(\xi)\leq 0$ 。