微分中值定理证明和总结

微分中值定理

微分中值定理有：

• 罗尔中值定理
• 柯西中值定理
• 拉格朗日中值定理

定理内容及证明

铺垫内容：费马定理

设$x_0$是函数的一个极值点，如果$f^{\prime }(x_0)$存在，则$f^{\prime }(x_0)=0.$

证明：费马定理

罗尔中值定理

若函数$f(x)$满足

• 在闭区间$[a,b]$内连续
• 在开区间$(a,b)$内可导
• $f(a)=f(b)$

则存在$\xi \in (a,b)$，使得$f^{\prime }(\xi )=0$

证明

由于$f(x)$在$[a,b]$上连续，由介值定理，$f$在$[a,b]$上可以取得最大值$M$和最小值$m$.

如果$M=m=f(a)=f(b)$，则$f$在$[a,b]$上恒为常数，$\forall x\in (a,b)$，都有$f^{\prime }(x)=0.$

如果$M$和$m$至少有一个与$f(a)$不相等，不妨设$M>f(a)$，于是存在$\xi \in (a,b)$，使得$M=f(\xi )$.显然$\xi$是$f$的一个极大值点，由费马定理得$f^{\prime }(\xi )=0$.

柯西中值定理

若函数$f(x)$和$g(x)$满足

• 在闭区间$[a,b]$连续
• 在开区间$(a,b)$可导
• $g^{\prime }(x)\ne 0$

则存在$\xi \in (a,b)$，使得$\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}$

证明

由于当$x\in (a,b)$时，$g^{\prime }(x)\ne 0$，所以由罗尔定理可得$g(b)\ne g(a)$.作辅助函数
$$\phi =[f(x)-f(a)]-\frac{f(b)-f(a)}{g(b)-g(a)}[g(x)-g(a)]$$

此时$\phi$在$[a,b]$上连续，在$(a,b)$内可导，并且$\phi (a)=\phi (b)=0$，由罗尔定理得存在$\xi \in (a,b)$，使得
$${\phi }^{\prime }(\xi )=f^{\prime }(\xi )-\frac{f(b)-f(a)}{g(b)-g(a)}{g}^{\prime }(\xi )=0$$

即
$$\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}=\frac{f(b)-f(a)}{g(b)-g(a)}$$

拉格朗日中值定理

若函数$f(x)$满足

• 在闭区间$[a,b]$上连续
• 在开区间$(a,b)$内可导

则存在$\xi \in (a,b)$，使得$\frac{f(b)-f(a)}{b-a}=f^{\prime }(\xi )$

证明

令$g(x)=x$，因为$f$和$g$满足在$[a,b]$上连续，在$(a,b)$内可导，$g^{\prime }(x)\ne 0$，由柯西中值定理得存在$\xi \in (a,b)$，使得
$$\frac{f(b)-f(a)}{b-a}=f^{\prime }(\xi )$$

其实拉格朗日中值定理就是柯西中值定理的一种特殊情况。

总结

微分中值定理是导数在研究函数方面的应用，也是微分学的重要组成部分，要牢牢掌握，才能更好地学习接下来的内容。当然，也可以做以下习题加以巩固。

• 罗尔中值定理习题
• 柯西中值定理习题
• 拉格朗日中值定理习题