柯西中值定理地证明及应用.doc

第 PAGE 5 页 共 NUMPAGES 15 页 柯西中值定理的证明及应用 马玉莲 （西北师范大学数学与信息科学学院，甘肃，兰州，730070） 摘要：本文多角度介绍了柯西中值定理的证明方法和应用, 其中证明方法有: 构造辅助函数利用罗尔定理证明，利用反函数及拉格朗日中值定理证明, 利用闭区间套定理证明, 利用达布定理证明, 利用坐标变换证明. 其应用方面有：求极限、证明不等式、证明等式、证明单调性、证明函数有界、证明一致连续性、研究定点问题、作为函数与导数的关系、推导中值公式. 关键词：柯西中值定理; 证明; 应用 1.引言 微分中值定理是微分学中的重要定理，它包括罗尔定理、拉格朗日定理、柯西中值定理，而柯西中值定理较前两者更具有一般性、代表性，其叙述如下： 柯西中值定理：设函数f(x),g(x)满足 在上都连续; 在内都可导; 和不同时为零; , 则存在，使得 . （1） 本文从不同思路出发，展现了该定理的多种证明方法及若干应用，以便其更好的被认识、运用. 2.柯西中值定理的证明 2.1构造辅助函数利用罗尔定理证明柯西中值定理 罗尔定理 设函数在闭区间上连续，在开区间上可导，且则至少存在一点, , 使得 . 证明 构造辅助函数 ， 易见在上满足罗尔定理条件，故存在，使得 , （2） 因为（若为0则同时为0, 不符条件）故可将（2）式改写为(1)式. 便得所证. 2.2利用反函数及拉格朗日中值定理证明柯西中值定理 讨论 显然，当时， 式即为拉格朗日公式， 所以拉格朗日中值定理是柯西中值定理的特殊情况. 但若换一个角度，将和看成平面上某条曲线的参数方程，即可以表示为： 易知在（或） 上连续, 在（或）上可导， 由拉格朗日中值定理的几何意义，存在曲线上一点 过该点的斜率等于曲线两端连线的 斜率（如图1所示）. 设对应于 图1 ， 则由参数形式函数的求导公式，有 . 所以，柯西中值定理也可以看成是拉格朗日中值定理的参数表达形式. 证明 由闭区间上连续函数的性质，以及在上连续，在上可导，且导数恒不为零，且不难证明，在上严格单调，不妨设严格单调增加.下证严格单调，只证在上严格单调递增. 取，规定由的连续性知那么 , 对上式求极限 , 又 , 得到，由的任意性知故在上严格单调递增. 同理可得在上严格单调递减, 故单调性得证. 记，，由反函数存在定理和反函数导数存在定理，在上存在的反函数，在上连续，在可导，其导数 ， 并且在上也是严格单调增加的. 考虑上的复合函数，由定理条件和以上讨论，即知在上满足拉格朗日中值定理条件，于是，存在，使得 . 由和的关系，在中一定存在一点，满足，于是 代入上式就得到了定理结论. 2.3利用闭区间套定理证明柯西中值定理 定义 如果一列闭区间满足条件 （1） ; （2） , 则称这列区间形成一个闭区间套. 闭区间套定理 如果形成一个区间套，则存在惟一的实数属于所有的闭区间，且 . 引理1 设函数在上有定义，且在处可导，又为一闭区间套，且，则 . 引理2 设函数在上连续，则存在且 ，使得 . 现在把引理2推广为： 引理3 设函数，在上连续，且是单射，则存在，且 ，使 . 下面证明柯西中值定理： 证明 首先证明，当且时，有. 反设，由引理2，存在，且，使, 从而. 在上再次应用引理2有，存在，且，使 ， 从而又有. 反复利用引理2，最终可得一个闭区间套，满足，且，由闭区间套定理，存在，使 , 根据引理1得： , 这与条件相矛盾. 再根据引理3，存在，且，使 , 反复利用引理3，类似与前面的证明，可得闭区间套，满足且 . 由闭区间套定理存在，使。再由引理1有: . 即柯西中值定理成立. 2.4利用达布定理证明柯西中值定理 达布定理 在上连续且可导， （1）若，，则有，使得. （2）设，，则对介于与间的数有点介于与之间，且. 根据拉格朗日中值定理，我们易知有下列命题成立： 命题 设函数在上可导，对，有，则在上严格单调增加（减少）. 下面证明柯西中值定理： 证明 构造辅助函数 , 显然在上连续，在内可导，且. 现要证明存在，使. 假设对一切，则由达布定理易知，要么，要么，当时则由命题易知在内严格单调，从而在上严格单调增（因在上连续）. 从而与定理中的条件矛盾，当时同样可推出矛盾故有，即成立. 2.5利用坐标变换证明柯西中值定理 微分中值定理证明的难点在于构造辅