3.1 微分中值定理
NOTE
本节所有证明过程要求掌握。
费马引理
对于函数
证 不妨设
因此有
证毕。
通常称导数为零的点为函数的驻点(或稳定点、临界点
罗尔定理
如果函数
- 在闭区间
上连续 - 在开区间
内可导 - 在区间端点处的函数值相等,即
那么
证
①
②
不妨假设
取
证毕。
三个条件的解读:
- 若闭区间上不连续,则取不出
。可能出现趋于无穷的地方; - 若开区间内不可导,则费马引理无法应用;
- 若端点函数值不相等,则无法保证
时 必有一个不在端点上。
罗尔定理的几何意义是:如果连续曲线
例 1
设
TIP
先构造一个二次函数
解得
解:
设
对
对
则有
证毕。
拉格朗日中值定理
如果函数
- 在闭区间
上连续 - 在开区间
内可导
则
证 取
记
则有
那么有
拉格朗日中值定理是罗尔定理的推广。
在拉格朗日中值定理的基础上加入
拉格朗日中值定理的几何意义是:如果连续曲线
例 2
证明区间内导数为
证 取
证毕。
所以我们有
此结论可以直接使用。
例 3
证 记
故有
证毕。
例 4
证明当
设
由于
又有
即
柯西中值定理
如果函数
- 在闭区间
上连续 - 在开区间
内可导
则
欲证
即证
即证
即证
考虑使用罗尔定理。设
在闭区间
上连续 在开区间
内可导 在区间端点处的函数值相等,即
因此
柯西中值定理是拉格朗日中值定理的推广。取
通往泰勒的一道例题
例 5
设
因此,
证毕。