高等数学同济中值定理分析报告.ppt

第三章 一、罗尔( Rolle )定理 罗尔（ Rolle ）定理 若 M m , 则 M 和 m 中至少有一个与端点值不等, 例1. 证明方程 二、拉格朗日中值定理 例2. 证明等式 例3. 证明不等式 三、柯西(Cauchy)中值定理 证: 作辅助函数 柯西定理的几何意义: 例5. 设 小结 思考与练习 费马(1601 – 1665) * 微分中值定理 与导数的应用 第一节 中值定理 费马(fermat)引理 且 存在 证: 设 则 证毕 由保号性 满足: (1) 在区间 [a , b] 上连续 (2) 在区间 (a , b) 内可导 (3) f ( a ) = f ( b ) 使 在( a , b ) 内至少存在一点 不妨设 则至少存在一点 使 则由费马引理得 证: 故在[ a , b ]上取得最大值 M 和最小值 m . 若 M = m , 则 因此 几何解释: 注意: 1) 定理条件条件不全具备, 结论不一定成立. 例如, 有且仅有一个小于1 的 正实根 . 证: 1) 存在性 . 则 在 [0 , 1 ] 连续 , 且 由介值定理知存在 使 即方程有小于 1 的正根 2) 唯一性 . 假设另有 为端点的区间满足罗尔定理条件 , 至少存在一点 但 矛盾, 故假设不真! 设 (1) 在区间 [ a , b ] 上连续 满足: (2) 在区间 ( a , b ) 内可导 至少存在一点 使 几何解释: 设: ------连接两端点弦的斜率 A B 思路: 利用逆向思维找出一个满足罗尔定理条件的函数 作辅助函数 显然 , 在 [ a , b ] 上连续 , 在 ( a , b ) 内可导, 且 证: 问题转化为证 由罗尔定理知至少存在一点 即定理结论成立 . 即要证: 拉格朗日中值定理的其它形式: (1) 比如: (2)令 则 (3) 介于 之间. 介于 之间, 必有 , 使 拉格朗日中值定理的有限增量公式形式: 推论: (1)若函数 在区间 I 上满足 则 在 I 上必为常数. 证: 在 I 上任取两点 日中值公式 , 得 由 的任意性知, 在 I 上为常数 . (2)若 ,则 证: 令 而 所以 即 (3)若 ,则 证: 设 由推论可知 (常数) 令 x = 0 , 得 又 故所证等式在定义域 上成立. 经验: 欲证 时 只需证在 I 上 证: 设 中值定理条件, 即 因为 故 因此应有 及 (1) 在闭区间 [ a , b ] 上连续 (2) 在开区间 ( a , b ) 内可导 (3)在开区间 ( a , b ) 内 至少存在一点 使 满足 : 思考: 柯西定理的下述证法对吗 ? 两个 ? 不 一定相同 错! 上面两式相比即得结论. 要证 令 即证 即 且 使 即 由罗尔定理知, 至少存在一点 即 注意: 弦的斜率 切线斜率 至少存在一点 使 证: 结论可变形为 设 则 在 [0, 1] 上满足柯西中值 定理条件, 因此在 ( 0 , 1 ) 内至少存在一点 ? , 使 即 证明 1. 填空题 1) 函数 在区间 [1, 2] 上满足拉格朗日定理 条件, 则中值 2) 设 有 个根 , 它们分别在区间 上. 方程 提示: 题13. 题15. Fermat’s Last Theory: 费马大定理的终结者-------安德鲁·怀尔斯 1953年出生在英国剑桥 , 现任普林斯顿大学教授. 1993年6月23日, 宣布费马大定理被证明. 怀尔斯说: “我的心归于平静!”