定理及其证明

1、定理及其证明费马定理：设在的某邻域内有定义，而且在这个领域上有（其中为局部最大值）或者（其中为局部最小值），当在处可导时，则有证明：因为假设存在，由定义可得左导数和右导数均存在且满足：当时，所以当时，所以所以以上是对于这种情况进行的证明，同理也可证明这种情形罗尔定理：设在上连续，在上可导，若，则必有一点使得证明：分两种情况，若为常值，结论显然成立若不为常值，根据最大、最小值定理（有界闭区间上的连续函数具有最大值和最小值）可知，必在内某一点处达到最大值或最小值，再有费马定理可得，拉格朗日中值定理：设在上连续，在上可导，则一定有一点使证明：分两种情况，若恒为常数，则在上处处成立，则定理结论明显成立

2、若在不恒为常数时，由于在上连续，由闭区间连续函数的性质，必在上达到其最大值和最小值，有一种特殊情况时，定理成立，这就是上面所证明过的罗尔定理考虑一般情形，做辅助函数由连续函数的性质及导数运算法则，可得在上连续，在上可导，且，这就是说满足刚刚的特殊情况，因此在内至少有一点，使得即定理得证柯西中值定理：若和在上连续，在上可导，且，则一定存在使证明：首先能肯定，因为如果，那么由拉格朗日中值定理，在内存在零点，因此与假设矛盾还是做辅助函数由，再由拉格朗日中值定理，可以证明定理成立泰勒中值定理：若在点的某个邻域内有直到阶连续导数，那么在此邻域内有其中是介于与之间的某个值证明：做辅助函数由假设容易看出在或

3、上连续，且，化简后有在引进一个辅助函数对函数和利用柯西中值定理得到，是介于与之间的某个值，此时有，代入上式，即得定理证明完毕这是函数在点的泰勒公式，同理推导可得在点附近的泰勒公式其中是介于与之间的某个值定理间关系：罗尔定理，拉格朗日定理，柯西定理以及泰勒公式是微分学的基本定理。这些定理都具有中值性，所以统称微分学中值定理.应用（判别函数单调性、求不定式极限、证明不等式和等式、证明终止点的存在性、证明方程根的存在性与唯一性、利用泰勒公式求近似值）证明方程根的存在性把要证明的方程转化为的形式.对方程用下述方法：（1） 根的存在定理若函数在区间上连续，且，则至少存在一点，.（2） 若函数的原函数在上

4、满足罗尔定理的条件，则在内至少有一个零值点.（3） 若函数的原函数在处导数也存在，由费马定理知即.（4） 若在区间上连续且严格单调，则在内至多有一个零值点.若函数在两端点的函数（或极限）值同号，则无零值点，若函数在两端点的函数（或极限）值异号，则有一个零值点.（5） 用泰勒公式证明根的存在性.（6） 反证法.（7） 在证明方程根的存在性的过程中，经常用到拉格朗日定理，积分中值定理，有时也用到柯西中值定理来证明满足方程的存在性所需的条件，然后利用上的方法来证明方程根的存在性.例1 若在上连续，在内可导，证明：在内方程至少存在一个根. 证明：令显然在上连续，在内可导，而且根据罗尔定理，至少存在一个

5、，使至少存在一个根.证明不等式不等式是数学中的重要内容和工具。在微分学中,微分中值定理在证明不等式中起着很大的作用.(1) 拉格朗日定理适用于已知函数导数的条件，证明涉及函数（值）的不等式(2) 泰勒公式适用于已知函数的高阶导数的条件，证明涉及函数（值）或低阶导函数（值）的不等式.例2 求证分析：根据不等式两边的代数式选取不同的,应用拉格朗日中值定理得出一个等式后,对这个等式根据取值范围的不同进行讨论,得到不等式.证明：当时，显然设对在以1与为端点的闭区间上用拉格朗日中值定理，有介于1与之间的，使,即当时，但此时注意与均为负值，所以仍有，即对不等式恒成立.当时，所以有.注：学会把隐藏的条件找出

6、来，即，然后就可以利用定理，这个结果以后可以作为结论用.例3 证明当时，证法一 分析：要证成立，只要证 成立，只要证成立，只要证成立，只要证成立，证明：设 由在上连续，在内可导,且，知在上严格递减，由，即成立，知成立，即成立，所以成立.证法二 证明：要证，只要证 成立 (1)设 ，由在上连续，在内可导,且于是，即 故原式成立.注：证明某些不等式时，可转化为区间两端点函数值大小的比较或化为右边为0的不等式，转化为区间内任意一点函数值与端点函数值或与趋于端点极限值的比较，然后利用单调性证明.能用单调性定理证明的不等式，都可用拉格朗日中值定理证明，因为单调性定理就是拉格朗日中值定理证明的.相同的一道

7、题可以有多种解法.讨论函数的单调性,并利用函数的单调性求极值利用拉格朗日中值定理能够很方便的判断出函数的单调性, 其方法是:若函数在上连续, 在内可导, 则有:如果在 内,则在上单调增加;如果在 内, 则 在上单调减少. 另外, 在内除有个别点外,仍有 (或) ,则在上仍然是单调增加(或减少) 的,即连续函数在个别点处无导数并不影响函数的单调性.再利用函数的单调性及函数图像上峰值点与各值点的性质, 便可以很方便地求出函数的极值。其方法为:确定函数的定义域,并求出 ,然后求出定义域内的所有驻点,并找出 连续但不存在的所有点,讨论所有驻点和不可导点左右两侧附近 的符号变化情况,从而确定函数的极值点

8、,并求出相应的极大值或极小值.例4 求证时,证明：令因为在上连续, 在内可导,且=当时, 所以当时,是单调增加的.故当 时,即,从而例5 求的极值.解：函数的定义域为.而,令,即,解得驻点,且该函数在定义域内没有导数不存在的点.而当时,;当时,.所以,是函数的极小值点, 其极小值为.利用函数的单调性可证明某些不等式注：在求极值时，若极值的怀疑有导数不存在的点时，只能用列表法.求极限对于有些求极限的题， 如果使用洛必达法则,则求导数的计算量很大.微分中值定理为求这样一些较难的极限提供了一种简单而有效的方法.其方法是对极限题中的某些部分构造辅助函数,使用微分中值定理,然后求出极.例6 求,其中.解

9、：对应用拉格朗日中值定理,有= 其中泰勒公式泰勒公式事实上就是含有高阶导数的微分中值定理. 它不仅在理论分析中具有很重要的作用,下面的例子说明它的应用.例7 求在处的泰勒公式.解 由于=，因此 +求近似值微分中值定理为我们提供了一种计算近似值的方法,只要构造出一个适当的函数,应用微分中值定理就可以得出其近似值.例8 求的近似值.解：是函数在处的值.令,即.由微分中值定理得=.用来证明函数恒为常数导数是研究函数性态的重要工具, 但用导数研究函数性态的着眼点在局部范围. 而在整体上或比较大的范围运用导数这一工具来研究函数性态, 主要工具还是微分中值定理,它是应用导数研究整体性问题的重要工具. 证明函数恒为常数这是函数的整体性质,在这个应用中微分中值定理很实用.例9 设在上连续, ,且在内恒有. 其中为小于1 的常数,试证:为常数函数.证明：,不妨设,则,而,所以有=, 其中.同理 , , 其中所以 ,其中.又在上连续, 从而有界. 故.即(当时同样成立) , 从而, ， .故在上为常数函数.1欧阳光中,朱学炎，陈传璋. 数学分析M.上海:高等教育出版社.20062侯谦民.中值定理的推广J.武汉职业技