同济大学微积分第三版课件第章第六节.ppt

由此得到公式⑷. ? 则, 易证函数 满足罗尔定理的条件, 从而至少存在一 点 使得 即 注1 柯西中值定理可简单地表示为 注2 容易看出, 拉格朗日中值定理是柯西中值定理当 的特殊情况. 例7 对函数 上验证柯西中值定理的正确性. 证 函数 在区间 上连续, 可导, 且 即满足定理的条 件, 现求 使得 在区间 * 第六节 微分中值定理 本节要点 本节主要讨论在微分学中起着重要作用的几个中值定 一、费马引理 二、罗尔定理 三、拉格朗日中值定理 四、柯西中值定理 理: 一、费马引理 首先, 让我们来观察这样一个几何事实. 如图所示: 我们看到在曲线弧的最高点 或最低点处 的横坐标为 则有 连续曲线弧 是函数 的图形, 如果 曲线有水平切线. 若记点 进一步观察, 当 时, 又看到在曲线弧 上, 至少有一点 弧 在该点处的切线 平行于弦 由此启发我们考虑这样一个 又切线 的斜率是 以 记 的横坐 标, 则有 理论上的问题: 设 是否存在 使等式 成立？下面我们从理论上对这个问题进行讨论. 为讨论 方便, 先引入费马引理, 该引理本身在微分学中也很重 要. 则: 或 证: 不妨设 时, 有 引理（费马引理） 设函数 在点 的某邻域 内有定义并在 处可导, 若对任意的 有 故当 有 当 时, 当 时, 由函数 在点 处的可导性及极限的保号性, 得 由此得到 ? 注 通常称导数为零的点为函数的驻点. 该引理说明: 可导函数的极值点为驻点. 二、罗尔定理 罗尔定理 设函数 且 证 因 故 必在 上取到最大值 与 最小值 若 有 若 那么 与 中至少有一个不等于 不妨设 则存在 使得 注1 罗尔定理的几何意义 ? 因 故 由此存在 注2 罗尔定理的简单表达式 使得 因 存在, 由费马引理 得 例1 对函数 在区间 上验证罗 尔定理的正确性. 证 在区间 上, 函数 为初等函 数因而连续, 可导. 又 条件满足. 因 故定理的结论成立. 故定理 从而对函数 及区间 罗尔定理是正确的. ? 例2 设实数 满足方程 证明方程 在区间 中可解. 证 令 则 且 ? 所以由罗尔定理, 在区间 中存在 使得 又: 故方程在所给区间中可解. 三、拉格朗日中值定理 证 为引用罗尔定理, 构造函数 ⑴ 拉格朗日中值定理 设函数 那么至少存在一点 使