中值定理
罗尔、拉格朗日与柯西中值定理给出函数增量与导数的联系,是泰勒展开与不等式证明的源泉。
所属主题:数学分析 ↗阅读路径
参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。
01定义
中值定理族把函数增量与导数值挂钩:拉格朗日定理断言存在某点使瞬时变化率恰等于平均变化率。它是泰勒展开的源头、不等式证明的利器、微分学通向积分学的桥梁。
02核心要点
01
三定理阶梯
罗尔(两端等值则某点水平) 拉格朗日(平移化为罗尔) 柯西(双函数版本)——逐级推广,一脉相承。
02
不等式引擎
:导数界控制函数变化——利普希茨估计、压缩映射、误差分析的标准出发点。
03
通往泰勒与洛必达
泰勒公式是「高阶中值定理」的展开形式;洛必达法则由柯西中值定理一步证出——中值定理是工具的工具。
03关键公式
04历史沿革
罗尔 1691 年为证明方程根定理提出雏形;拉格朗日 1797 年给出一般形式并以此构建「无无穷小的微积分」;柯西补入双函数版本。
05应用与延伸
数值分析误差界(插值余项)、单调性与凸性判定的严格证明、ODE 唯一性估计(格朗沃尔不等式的引理)都以它为起点。
06交互演示
中值定理:割线斜率 = 某点切线斜率拖动区间端点:存在 c 使切线平行于割线