关于微分中值定理的调查报告.docVIP

太原理工大学现代科技学院 本科实验报告 课程名称： 大学计算机基础 实验项目： Office综合实验 实验地点： 学校 专业班级： 水工12--5班 学号： 2012102658 学生姓名： 高杰 指导教师： 刘喆 2012年 12 月 12 关于微分中值定理与导数的调查报告 第一节 微分中值定理 一、罗尔定理 介绍罗尔定理之前，我们首先证明一个引理。 SKIPIF 1 0 引理1.1（费马引理） 设函数 SKIPIF 1 0 在点 SKIPIF 1 0 的某一邻域 SKIPIF 1 0 内有定义，并且在点 SKIPIF 1 0 去的最大值或最小值，又若 SKIPIF 1 0 再点 SKIPIF 1 0 处可导，则 SKIPIF 1 0 . 费马引理的几何意义是明显的.若曲线上最高点与最低点处有切线，则该切线必为水平直线. 证明 不妨设 SKIPIF 1 0 在点x= SKIPIF 1 0 处去的最大值.于是，对任意的 SKIPIF 1 0 ，有 SKIPIF 1 0 ，从而当 SKIPIF 1 0 SKIPIF 1 0 时，有 SKIPIF 1 0 ， 当 SKIPIF 1 0 时，有 SKIPIF 1 0 . 由函数极限的包好型及 SKIPIF 1 0 在点 SKIPIF 1 0 可导，得 SKIPIF 1 0 SKIPIF 1 0 且 SKIPIF 1 0 ，所以 SKIPIF 1 0 . 定理1.1（罗尔定理） 如果函数在闭区间 SKIPIF 1 0 上连续，在开区间 SKIPIF 1 0 内可导，且在去端点处的函数值相等，即 SKIPIF 1 0 ，那么 SKIPIF 1 0 在内至少有一点 SKIPIF 1 0 ，使得 SKIPIF 1 0 . 证明 由于 SKIPIF 1 0 在 SKIPIF 1 0 上连续，根据闭区间上连续函数的性质知， SKIPIF 1 0 在上必取得它的最大值M和最小值m，分两种情形讨论： M=m.这时 SKIPIF 1 0 在 SKIPIF 1 0 上为常数.故对 SKIPIF 1 0 ，有 SKIPIF 1 0 .这样，任取 SKIPIF 1 0 ，均有 SKIPIF 1 0 . M SKIPIF 1 0 .因为 SKIPIF 1 0 ，所以M和m中至少有一个不等于 SKIPIF 1 0 (或 SKIPIF 1 0 ).不防设M≠ SKIPIF 1 0 ，则在 SKIPIF 1 0 内至少有一点 SKIPIF 1 0 ，使 SKIPIF 1 0 .又 SKIPIF 1 0 在 SKIPIF 1 0 内可导，由费马引理知 SKIPIF 1 0 .， SKIPIF 1 0 . 罗尔定理的几何意义指出：若连续曲线弧 SKIPIF 1 0 SKIPIF 1 0 的两端点A，B处的纵坐标相等，且在曲线