微分中值定理

00:00
14 min Intermediate 2026/6/14

Rolle定理、Lagrange中值定理、Cauchy中值定理、Taylor公式、LHospital法则、函数单调性与极值、曲线凹凸与拐点。

1. Rolle 定理

1.1 定理内容

满足:

  1. 上连续
  2. 内可导

则存在 ,使得

1.2 证明思路

由闭区间上连续函数的最大值最小值定理, 上取得最大值 和最小值

  • ,则 为常数, 对任意 成立。
  • ,由于 ,最大值或最小值必在 内某点 取得,由 Fermat 引理得

1.3 应用

:证明方程 内至少有一个根。

,则 。由 Rolle 定理,存在 使 ,即

2. Lagrange 中值定理

2.1 定理内容

满足:

  1. 上连续
  2. 内可导

则存在 ,使得

或等价地:

2.2 证明

构造辅助函数:

验证 ,由 Rolle 定理,存在 使 ,即得结论。

2.3 重要推论

推论1:若 对一切 成立,则 上为常数。

推论2:若 对一切 成立,则

2.4 应用

:证明 )。

,在 上用 Lagrange 中值定理: ,其中 。 由于 ,所以

3. Cauchy 中值定理

3.1 定理内容

满足:

  1. 上连续
  2. 内可导
  3. 对一切

则存在 ,使得

3.2 证明

构造辅助函数:

由 Rolle 定理即可得证。

:Lagrange 中值定理是 Cauchy 中值定理 的特例。

4. Taylor 公式

4.1 带 Lagrange 余项的 Taylor 公式

在含 的开区间内具有 导数,则

其中 Lagrange 余项

介于 之间。

4.2 带 Peano 余项的 Taylor 公式

处有 导数,则

4.3 Maclaurin 公式(

4.4 Taylor 公式的应用

:求

5. L’Hôpital 法则

5.1

,且 存在或为 ,则

5.2

,且 存在或为 ,则

5.3 其他不定式

型,先化为 型再使用 L’Hôpital 法则。

:求

型,化为 型:

:求

型,取数: 用 Taylor 展开极限 ,故原式

6. 函数单调性与极值

6.1 单调性判定

连续,在 内可导:

  • 一切 成立,则 调递增
  • 一切 成立,则 调递减

6.2 极值的必要条件

Fermat 引理:若 处可导且取得极,则

使 称为。极点一定是驻或不可导

6.3 极值的第一充分条件

连续,在 的某去心邻内可导:

  • 经过 由正变负,则 为极大
  • 经过 由负变正,则 为极小
  • 不变号,则 不是极

6.4 极值的第二充分条件

存在

  • ,则 为极大
  • ,则 为极小

:求 的极

,驻 ,故 为极大点,,故 为极小点,

7. 曲线凹凸与拐点

7.1 凹凸性定义

在区间 连续

  • 函数(下凸)任意
  • 函数(上凸):不等号反向

7.2 凹凸性判定

内二阶可导:

  • :曲线是凹的
  • :曲线是凸的

7.3 拐点

连续曲线上凹凸性改变的称为

的必要条件:若 为拐 存在,则

的充分条件:若 两侧变号,则 为拐

:讨论 的凹凸性与拐

(凹);(凸);(凹)。 拐

7.4 渐近线

  • 水平渐近线:若 ,则 为水平渐近线
  • 垂直渐近线:若 ,则 为垂直渐近线
  • 斜渐近线:若 ,则 为斜渐近线

知识检测

学习进度

-- 已学文档
--% 知识覆盖率

学习推荐

专注模式