§3.1 微分中值定理
一、费马引理 (Fermat’s Lemma)
费马引理: 设 在 的某邻域 内有定义,且在 处可导。若对任意 ,有 (或 ),则 。
即可导的极值点处导数为零。
驻点: 导数等于零的点称为函数的驻点。
极值点与最值点的关系
- 最值不一定是极值,极值也不一定是最值
- 最值是整体定义,极值是局部定义
极值: 设函数在 的某邻域内有定义,若存在某邻域使 ,则 为极大值。
最值: 对于在区间 上有定义的函数 ,若存在 使得对一切 都有 (或 ),则称 为最值。
二、罗尔定理 (Rolle’s Theorem)
罗尔定理: 设 满足:
- 在闭区间 上连续
- 在开区间 内可导
则在 内至少存在一点 ,使 。
注1: 定理条件不全具备,结论不一定成立(反例:不连续、不可导、端点值不等)。
注2: 罗尔定理常用于证明导函数零点的存在性。
辅助函数构造法(罗尔定理应用关键)
若结论中含某导函数形式,常构造辅助函数 使其导数含所需部分:
| 结论含 | 构造 |
|---|---|
| $F(x) = \ln |
高阶导函数零点问题
定义(n重零点): 若 在 处 阶可导,且 则称 为 的 重根( 重零点)。
性质: 若 为 的 重零点,则 为 的 重零点,为 的 重零点……
即高阶导函数的零点可从原函数的重零点去寻求。
零点个数性质
性质: 若 在 上有 个零点(多重零点以重数记),且在 上 阶可导,则
- 在 上至少有 个零点
- 在 上至少有 个零点
- ……
- 在 上至少有 个零点
罗尔定理推广形式
推广1: 设 满足:
- 在 内可导
则在 内至少存在一点 ,使 。
推广2: 设 满足:
- 在 上可导
则在 内至少存在一点 ,使 。
三、拉格朗日中值定理 (Lagrange MVT)
拉格朗日中值定理: 设 满足:
- 在 上连续
- 在 内可导
则在 内至少存在一点 ,使得
也记作:
或 ,其中 。
又名: 有限增量定理
应用: 涉及函数差时常用该定理。
推论: 若 在区间 上可导,则 在 上为常值函数的充要条件是 。
应用一:证明恒等式
三步法:
- 恒等变形(函数移到左边,常数移到右边)
- 求导,验证导函数为 0
- 代特殊点求值
例题: 证明
应用二:证明不等式
典型结论:
取 ,得:
四、柯西中值定理 (Cauchy MVT)
柯西中值定理: 设 满足:
- 在 上连续
- 在 内可导
- 在 内
则在 内至少存在一点 ,使得
拉格朗日中值定理是柯西中值定理当 时的特殊情况。
⚠️ 常见错误: 不能分别对 和 用拉格朗日定理然后相比——两个 不一定相同!
高阶推广
若 均 阶可导且满足一定条件,则存在 使得:
五、导函数的间断点
结论: 导函数在开区间内只有第二类间断点,没有第一类间断点。
(端点处可能是第一类间断点)
关键公式汇总
| 定理 | 公式 | 条件 |
|---|---|---|
| 费马引理 | 为可导极值点 | |
| 罗尔定理 | 在 连续, 可导, | |
| 拉格朗日 | 在 连续, 可导 | |
| 柯西 | 在 连续, 可导, |