3–1微分中值理论2011–11–14.pptVIP

目录 上页 下页 返回 结束 高等数学 目录 上页 下页 返回 结束 高等数学 第三章 山东交通学院高等数学教研室 第一节 微分中值定理 一、罗尔定理 二、拉格朗日中值定理 三、柯西中值定理 则称 上，如果 定义在区间 使对 有 成立， 为 在 上的最大值（最小值）， 最大（小）值点。 如图， 处分别取得最大值和最小值。 观察在这些点处图像的特点， 曲线在这些点处有水平切线 局部范围内取得最大值或者最小值 1. 最值定义 一、罗尔定理 费马（Fermat）引理 有 满足 证明： 有 设 时， 则 时， 时， 导数等于零的点称为函数的驻点（或稳定点、临界点） 即 在 存在 内有定义，且 则 2. 费马引理 3.罗尔（ Rolle ）定理 满足： (1) 在区间 [a , b] 上连续 (2) 在区间 (a , b) 内可导 (3) f ( a ) = f ( b ) 证: 使 至少存在一点 在 连续， 必可取得最大值M 和最小值 m . 则 有 (1) 则 (2) 和 中至少有一个 不在端点处取, 则必 使 则 有 不妨设 例1 验证罗尔定理对 上的正确性。 在 上连续， 且 由罗尔定理，至少存在 使 解： 在 内可导， 在 例2 证明 并指出其存在的区间。 有三个实根， 在 上连续，且在任意点都可导 又 由罗尔定理，至少存在 使 即 至少有三个实根， 最多有三个实根 而 所以 有三个实根，分别在 上。 解： 注 (1)几何解释: 在该点处的切线是水平的。 在曲线弧 上至少有一点C AB (2)定理条件只是充分条件，如果不满足结论也可能成立 罗尔定理中第三个条件不满足，但 (3)用途： 利用闭区间上连续函数的性质，若有可导条件，则用 中值定理 若题中只有连续条件， 关键是构造辅助函数 在某区间有解。 证明 例3 在 上连续，在 内可导，且 证明：至少存在一点 使 分析： 即 使 要证结论成立，即证至少存在一 关键是构造函数 变形为 所以函数为 证其满足罗尔定理即可。 注： 可推广至 所以构造的辅助函数为 例4 在 上连续，在 内可导， 证明：至少存在一点 使 若结论可变形为 则可构造辅助函数为 分析： 所以构造辅助函数为 例5 在 上连续，在 内可导， 存在一点 使 分析： 所以构造辅助函数为 证明：至少 例6 证明方程 有且仅有一个小于1的正实根. 证: 1) 存在性 . 且 由零点定理知至少存在 使 即方程有小于 1 的正根 2) 唯一性 . 为端点的区间满足罗尔定理条件 , 但 矛盾, 故假设不真! 设 则 在 连续 , 所以在 之间 至少存在一点 使 假设另有 使 在以 1.拉格朗日中值定理 (1) 在区间 [ a , b ] 上连续 满足： (2) 在区间 ( a , b ) 内可导 注：与罗尔定理相比条件中没有第三个条件 结论也可写成 使 至少存在一点 二、拉格朗日中值定理 即 构造函数 证明： 问题转化为证明 则 在 上连续， 在 内可导， 且 使 由罗尔定理知，至少存在一点 即 结论成立。 注： (1) 几何意义： 在曲线弧 上至少有一点 AB , C 在该点处的切线平行于弦 . AB (2) 也可构造函数 (3) 当 时也成立。 拉格朗日中值公式 (4) 公式变形： ⅰ ⅱ 上， 或 (5) 应用：证明等式或不等式成立，证明之前需确定函数和区间。 例7 在 上连续，在 内可导， 存在一点 使 证明： 上满足拉格朗日中值定理 证明：至少 在 的条件， 则至少存在一点 使 例8 证明： 分析： 显然，区间取 函数取 上满足拉格朗日中值定理的条件， 则至少存在一点 使 而 上式代入即可。 证明： 在 即证 例9 证明： 时， 分析： 显然，区间取 函数取