∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
概念

中值定理

罗尔、拉格朗日与柯西中值定理给出函数增量与导数的联系,是泰勒展开与不等式证明的源泉。

所属主题:数学分析 ↗
阅读路径

参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。

01定义

中值定理族把函数增量与导数值挂钩:拉格朗日定理断言存在某点使瞬时变化率恰等于平均变化率。它是泰勒展开的源头、不等式证明的利器、微分学通向积分学的桥梁。
切线 ∥ 割线 a b 存在 ξ:f′(ξ) = (f(b)−f(a))/(b−a)
拉格朗日中值定理:某点切线平行于两端割线

02核心要点

01

三定理阶梯

罗尔(两端等值则某点水平)⇒\Rightarrow 拉格朗日(平移化为罗尔)⇒\Rightarrow 柯西(双函数版本)——逐级推广,一脉相承。

02

不等式引擎

∣f(b)−f(a)∣≤sup⁡∣f′∣⋅∣b−a∣|f(b)-f(a)|\leq\sup|f'|\cdot|b-a|:导数界控制函数变化——利普希茨估计、压缩映射、误差分析的标准出发点。

03

通往泰勒与洛必达

泰勒公式是「高阶中值定理」的展开形式;洛必达法则由柯西中值定理一步证出——中值定理是工具的工具。

03关键公式

f(b)−f(a)=f′(ξ)(b−a),ξ∈(a,b)f(b)-f(a)=f'(\xi)(b-a),\quad\xi\in(a,b)

04历史沿革

罗尔 1691 年为证明方程根定理提出雏形;拉格朗日 1797 年给出一般形式并以此构建「无无穷小的微积分」;柯西补入双函数版本。

05应用与延伸

数值分析误差界(插值余项)、单调性与凸性判定的严格证明、ODE 唯一性估计(格朗沃尔不等式的引理)都以它为起点。

06交互演示

中值定理:割线斜率 = 某点切线斜率拖动区间端点:存在 c 使切线平行于割线

07相关概念