微分中值定理及其应用12102.docVIP

§2-4 微分中值定理及其应用 读者知道，常数(作为区间上的常值函数)的导数恒等于零，那么相反的结论也是正确的吗？又当函数 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.微分中值定理 为了证明微分中值定理，通常都是先证明罗尔定理作为引理. 罗尔定理 若函数 SKIPIF 1 0 在闭区间 SKIPIF 1 0 上连续，在开区间 SKIPIF 1 0 内有导数，且 SKIPIF 1 0 ，则至少有一点 SKIPIF 1 0 ，使 SKIPIF 1 0 (图2-14)（*） 罗尔一生从未接受微积分.他是一个代数学家.他可能是在研究代数方程的根时得出类似的结论.后来人们习惯上称它为罗尔定理（他的结论不可能是这种形式）.. （*） 罗尔一生从未接受微积分.他是一个代数学家.他可能是在研究代数方程的根时得出类似的结论.后来人们习惯上称它为罗尔定理（他的结论不可能是这种形式）. 证 因为函数 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 取到最大值或最小值（即不可能同时在两个端点上取到最大值和最小值）.根据定理2-1，有 SKIPIF 1 0 . b b m y O a c M SKIPIF 1 0 图2-14 x 图2-15 b SKIPIF 1 0 m a c O M x y 【注】下面的结论有时也称为罗尔定理： 设函数 SKIPIF 1 0 在闭区间 SKIPIF 1 0 上连续且 SKIPIF 1 0 .若 SKIPIF 1 0 在开区间 SKIPIF 1 0 内有导数，则至少有一点 SKIPIF 1 0 ，使 SKIPIF 1 0 .(图2-15) 只要作辅助函数 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 （2-6） 特别，当 SKIPIF 1 0 时，它就是罗尔定理（见罗尔定理后的注）.因此，微分中值定理是罗尔定理的推广. [分析] 如图2-16，曲线 SKIPIF 1 0 上必有一点 SKIPIF 1 0 ，它在该点处切线的斜率等于弦 SKIPIF 1 0 的斜率(切线与弦平行)，即式(2-6). A A 图2-17 C O 切线 SKIPIF 1 0 x y c B 切线 A C B 图2-16 O a c b y x 证 考虑函数(曲线与弦的差) SKIPIF 1 0 （图2-17） 显然，函数 SKIPIF 1 0 在闭区间 SKIPIF 1 0 上连续，在开区间 SKIPIF 1 0 内有导数，且 SKIPIF 1 0 (在区间两端等于零).根据罗尔定理，必有点 SKIPIF 1 0 ，使 SKIPIF 1 0 ，即 SKIPIF 1 0 【注】微分中值定理的上述证明方法的优点是直观, 而下面的证明方法容易推广（用于证明§2-9中的泰勒公式）.设待定常数 SKIPIF 1 0