§3.1 微分中值定理

一、费马引理 (Fermat’s Lemma)

费马引理: 设 的某邻域 内有定义,且在 处可导。若对任意 ,有 (或 ),则

即可导的极值点处导数为零。

驻点: 导数等于零的点称为函数的驻点。

极值点与最值点的关系

  • 最值不一定是极值,极值也不一定是最值
  • 最值是整体定义,极值是局部定义

极值: 设函数在 的某邻域内有定义,若存在某邻域使 ,则 为极大值。

最值: 对于在区间 上有定义的函数 ,若存在 使得对一切 都有 (或 ),则称 为最值。

二、罗尔定理 (Rolle’s Theorem)

罗尔定理: 设 满足:

  1. 在闭区间 上连续
  2. 在开区间 内可导

则在 内至少存在一点 ,使

注1: 定理条件不全具备,结论不一定成立(反例:不连续、不可导、端点值不等)。

注2: 罗尔定理常用于证明导函数零点的存在性。

辅助函数构造法(罗尔定理应用关键)

若结论中含某导函数形式,常构造辅助函数 使其导数含所需部分:

结论含构造
$F(x) = \ln

高阶导函数零点问题

定义(n重零点): 若 阶可导,且 则称 重根( 重零点)。

性质: 若 重零点,则 重零点,为 重零点……

即高阶导函数的零点可从原函数的重零点去寻求。

零点个数性质

性质: 若 上有 个零点(多重零点以重数记),且在 阶可导,则

  • 上至少有 个零点
  • 上至少有 个零点
  • ……
  • 上至少有 个零点

罗尔定理推广形式

推广1: 设 满足:

  1. 内可导

则在 内至少存在一点 ,使

推广2: 设 满足:

  1. 上可导

则在 内至少存在一点 ,使

三、拉格朗日中值定理 (Lagrange MVT)

拉格朗日中值定理: 设 满足:

  1. 上连续
  2. 内可导

则在 内至少存在一点 ,使得

也记作:

,其中

又名: 有限增量定理

应用: 涉及函数差时常用该定理。

推论: 若 在区间 上可导,则 上为常值函数的充要条件是

应用一:证明恒等式

三步法:

  1. 恒等变形(函数移到左边,常数移到右边)
  2. 求导,验证导函数为 0
  3. 代特殊点求值

例题: 证明

应用二:证明不等式

典型结论:

,得:

四、柯西中值定理 (Cauchy MVT)

柯西中值定理: 设 满足:

  1. 上连续
  2. 内可导

则在 内至少存在一点 ,使得

拉格朗日中值定理是柯西中值定理当 时的特殊情况。

⚠️ 常见错误: 不能分别对 用拉格朗日定理然后相比——两个 不一定相同!

高阶推广

阶可导且满足一定条件,则存在 使得:

五、导函数的间断点

结论: 导函数在开区间内只有第二类间断点,没有第一类间断点。

(端点处可能是第一类间断点)

关键公式汇总

定理公式条件
费马引理 为可导极值点
罗尔定理 连续, 可导,
拉格朗日 连续, 可导
柯西 连续, 可导,