微分中值定理的证明及其应用.pdfVIP

  （i ）在闭区间 a,b 上都连续；   （ii ）在开区间 a,b 上都可导； （iii ）f (x) 和g (x) 不同时为零； （iv ）g (a)  g (b) ， f ( ) f (b)  f (a) 则存在 (a,b) ，使得  . g ( ) g (b)  g (a) 柯西中值定理的几何意义：把f ，g 这两个函数写作以x 为参量的参数方程 u  g (x),v  f (x) 满足定理条件，由参数方程所确定的曲线上至少有一点，在这 一点处的切线平行于连接两个端点连线。 1.4 三大中值定理的联系 三大中值定理是层层递进的关系，罗尔中值定理是拉格朗日中值定理的特殊 形式，拉格朗日中值定理是柯西中值定理的特殊形式：在拉格朗日中值定理中增 加条件f (a)  f (b) ，即得到罗尔中值定理；在柯西中值定理中令g (x)  x ，即得 到拉格朗日中值定理。 三大中值定理的几何意义具有一个共同点，即符合中值定理条件的函数曲线 上至少存在一点，在这一点处的切线平行于曲线所处区间的两个区间端点的连 线。 综上所述，三大中值定理既是独立存在的，又是相互联系的。他们反映了导 数的局部性与函数的整体性之间的关系，是研究函数的有力工具，应用十分广泛， 其中罗尔中值定理是这一系列的基础内容，拉格朗日中值定理是这一系列的核心 内容，柯西中值定理是这一系列的推广应用。 2 微分中值定理的证明 对于微分中值定理的证明，通常来说都是运用费马引理证明出罗尔中值定 理，然后运用构造辅助函数的方法再去证明在证明拉格朗日中值定理和柯西中 定理，并且辅助函数的构造有很多种方法。因此本文将阐述这一通常证明方法， 并且还总结了一些微分中值定理的其他证明方法。 首先引入费马（Fermat ）引理：设是的一个极值点，且在处导数存在，则. 证明罗尔中值定理： 因为f 在[a,b] 上连续，所以有最大值和最小值，分别用M 和m 表示，现在 分为两种情况进行讨论： （1）若m  M ，则f 在[a,b] 上必为常数，从而结论显然成立。 （2 ）若m  M ，则因f (a)  f (b) ，使得最大 M 值和最小 m 值至少有一个在 (a,b) 上的某点 处取得，从而 是f 的极值点. 由条件（ii ），f 在点 处可导。 故由费马引理可知，f ( )  0 . 2.1 构造辅助函数 2.1.1 证明拉格朗日中值定理 f (b)  f (a) 作辅助函数F (x)  f (x)  f (a)  (x  a) ， b  a 显然，F (a)  F (b)  0 ，且F (x) 在[a,b] 上满足罗尔定理的另外两个条件. f (b)  f (a) F ( )  f ( )   0 故存在 (a,b) ，使得 b  a ，移项后即得 f (b)  f (a) f ( ) 