3.1 微分中值定理.pptVIP

目录 上页 下页 返回 结束 目录 上页 下页 返回 结束 费马(fermat)引理 一 罗尔( Rolle )定理 且 存在 证: 设 则 费马 证毕 罗尔（ Rolle ）定理 满足: (1) 在区间 [a , b] 上连续 (2) 在区间 (a , b) 内可导 (3) f ( a ) = f ( b ) 使 证: 故在[ a , b ]上取得最大值 M 和最小值 m . 若 M = m , 则 因此 在( a , b ) 内至少存在一点 若 M > m , 则 M 和 m 中至少有一个与端点值不等, 不妨设 则至少存在一点 使 注意: 定理中条件不全具备, 结论不一定 成立. 则由费马引理得 例如, 二、拉格朗日中值定理 (1) 在区间 [ a , b ] 上连续 满足: (2) 在区间 ( a , b ) 内可导 至少存在一点 使 思路: 利用逆向思维找出一个满足罗尔定理条件的函数 作辅助函数 显然 , 在[a, b] 上连续, 在(a, b)内可导, 且 证: 问题转化为证 由罗尔定理知至少存在一点 即定理结论成立 . 拉氏 证毕 例1. 证明等式 证: 设 由推论可知 (常数) 令 x = 0 , 得 又 故所证等式在定义域 上成立. 注: 欲证 时 只需证在 I 上 例2. 证明不等式 证: 设 中值定理条件, 即 因为 故 因此应有 练习: 三、柯西(Cauchy)中值定理 及 (1) 在闭区间 [ a , b ] 上连续 (2) 在开区间 ( a , b ) 内可导 (3)在开区间 ( a , b ) 内 至少存在一点 使 满足 : 柯西 例3. 设 至少存在一点 使 证: 问题转化为证 设 则 在 [0, 1] 上满足柯西中值 定理条件, 因此在 ( 0 , 1 ) 内至少存在一点 ? , 使 即 证明 例4 设 且在 内可导, 证明至少存 在一点 使 提示: 由结论可知, 只需证 即 验证 在 上满足罗尔定理条件. 设 公式 ① 称为 的 n 阶泰勒公式 . 公式 ② 称为n 阶泰勒公式的拉格朗日余项 . 四 泰勒(Taylor)中值定理 : 阶的导数 , 时, 有 ① 其中 ② 则当 泰勒 公式 ③ 称为n 阶泰勒公式的佩亚诺(Peano) 余项 . 在不需要余项的精确表达式时 , 泰勒公式可写为 注意到 ③ ④ * 可以证明: ④ 式成立 称为麦克劳林( Maclaurin )公式 . 则有 在泰勒公式中若取 则有误差估计式 若在公式成立的区间上 麦克劳林 由此得近似公式 五、几个初等函数的麦克劳林公式 其中 麦克劳林公式 其中 麦克劳林公式 麦克劳林公式 类似可得 其中 其中 麦克劳林公式 已知 其中 因此可得 麦克劳林公式 思考与练习 计算 解: 原式 第四节 * 运行时, 点击 “费马引理” 或“费马”按钮, 或相片, 可显示费马简介, 并自动返回 * * 运行时, 点击“二. 拉格朗日中值定理”, 或“拉氏”按钮，或相片可显示.拉格朗日的简介，运行结束可自行返回。 * 运行时,点击标题“三、柯西----” 或 “柯西”按钮, 或相片, 可显示柯西简介, 并自动返回. * 运行时, 点击按钮“泰勒”, 或相片 , 可显示泰勒简介,演示结束自动返回. * * 证明见江泽坚“数学分析”（上册） * 运行时, 点击按钮“麦克劳林” , 或 相片 , 可显示麦克劳林简介, 演示结束自动返回. 目录 上页 下页 返回 结束 目录 上页 下页 返回 结束 * 运行时, 点击 “费马引理” 或“费马”按钮, 或相片, 可显示费马简介, 并自动返回 * * 运行时, 点击“二. 拉格朗日中值定理”, 或“拉氏”按钮，或相片可显示.拉格朗日的简介，运行结束可自行返回。 * 运行时,点击标题“三、柯西----” 或 “柯西”按钮, 或相片, 可显示柯西简介, 并自动返回. * 运行时, 点击按钮“泰勒”, 或相片 , 可显示泰勒简介,演示结束自动返回. * * 证明见江泽坚“数学分析”（上册） * 运行时, 点击按钮“麦克劳林” , 或 相片 , 可显示麦克劳林简介, 演示结束自动返回.