高等数学 李扉-平时课件34.pptVIP

分析 且 内可导 在 上连续 在 设 , ) , ( , ] , [ ) ( b a b a x f 证 即 微分中值定理 且 内可导 在 上连续 在 设 , ) , ( , ] , [ ) ( b a b a x f ). , ( , 0 ) ( , 0 ) ( ) ( b a x x f b f a f ? 1 = = 定理 由 Rolle 四、小结 微分中值定理 常利用逆向思维,构造辅助函数 注意利用拉格朗日中值定理证明不等式的步骤. 三个微分中值定理成立的条件; 各微分中值定理的关系; 证明存在某点,使得函数在该点的导数满足一个方程. 运用罗尔定理. 拉格朗日中值定理的各种形式,其关系; 第三章 微分中值定理与导数的应用 中值定理(mean value theorem) 中值定理与导数的应用 罗尔定理 拉格朗日中值定理 小结 思考题 作业 柯西中值定理 第一节 微分中值定理 第三章 微分中值定理与导数的应用 推广 泰勒公式(第三节) 本节的几个定理都来源于下面的明显的 在一条光滑的平面曲线段AB上, ⌒ 至少有 与连接此曲线两端点的弦 平行. 几何事实: 微分中值定理 一点处的切线 连续的曲线弧、除端点外处处有不垂直于x轴的切线 . 有水平的切线 罗尔定理 (1) (2) (3) 罗尔 Rolle,(法)1652-1719 使得 如, 一、罗尔(Rolle)定理 微分中值定理 费马引理 费马 Fermat,(法) 1601-1665 有定义, 如果对 有 那么 证 对于 有 内 的某邻域 在点 设函数 ) ( ) ( 0 0 x U x x f , ) ( 0 存在 且 x f ￠ 费马引理 有定义, 如果对 有 那么 由极限的保号性 函数的 驻点(Stationary point), 稳定点, 临界点(Critical point). 内 的某邻域 在点 设函数 ) ( ) ( 0 0 x U x x f , ) ( 0 存在 且 x f ￠ 微分中值定理 证 罗尔定理 (1) (2) (3) 使得 所以最值不可能同时在端点取得. 使 有 由费马引理, 费马引理 有定义, 如果对 有 那么 内 的某邻域 在点 设函数 ) ( ) ( 0 0 x U x x f , ) ( 0 存在 且 x f ￠ 定理条件不全具备, 注 微分中值定理 结论不一定成立. ] 1 , 0 [ , ) ( ? = x x x f (1) 定理条件只是充分的，不是必要的。 在闭区间[-1，1]上不连续 (在区间端点处不连续） 但 例 证 (1) (2) 定理的假设条件满足 结论正确 微分中值定理 验证罗尔定理的正确性. 罗尔定理肯定了 的存在性, 一般没必要知道 究竟等于什么数, 只要知道 存在即可. , ) 2 , 1 ( 内可导 在 - 例 证 零点定理 即为方程的小于1的正实根. (1) 存在性 微分中值定理 (2) 唯一性 对可导函数 f(x), f (x)=0的两实根之间, 在方程 的一个实根. 罗尔定理还指出, 至少存在方程 满足罗尔定理的条件. 微分中值定理 矛盾, 故假设不真! 例 试证方程 分析 注意到: 微分中值定理 证 设 且 罗尔定理 即 试证方程 微分中值定理 二、拉格朗日(Lagrange)中值定理 微分中值定理 拉格朗日中值定理 (1) (2) 使得 拉格朗日 Lagrange (法) 1736-1813 ; ] , [ 上连续 在闭区间 b a ; ) , ( 内可导 在开区间 b a 证 作辅助函数 由此得 拉格朗日中值公式 且 易知 微分中值定理 微分中值定理 例 证 记 利用微分中值定理, 得 微分中值定理 Lagrange公式可以写成下面的各种形式: 注 微分中值定理 拉格朗日中值定理又称 拉格朗日中值公式又称 有限增量公式. 有限增量定理. 推论 证 有 由条件, 即在区间I中任意两 点的函数值都相等, 所以, 微分中值定理 拉格朗日中值定理 (1) (2) 使得 ; ] , [ 上连续 在闭区间 b a ; ) , ( 内可导 在开区间 b a 例 证 由推论 微分中值定理 自证 说明 欲证 只需证在 上 且 使 , ) ( 0 C x f = , 0 ) ( o ￠ x f 例 证 由上式得 设 由 关键 微分中值定理 满足拉氏定理的条件, 弦的斜率 切线斜率 注意 柯西中值定理 (1) (2) 使得 微分中值定理 三、柯西(Cauchy)中值定理 柯西 Cauchy (法) 1789- 1859 = 广义微分 中值定理 这两个 错 !