费马定理

定理及其证明费马定理：设)(fx在c的某邻域）（cc,内有定义，而且在这个领域上有)()(cfxf（其中)c(f为局部最大值）或者)()(cfxf（其中)c(f为局部最小值），当)(fx在c处可导时，则有0)c('f．证明：因为假设)c('f存在，由定义可得左导数)('-xf和右导数)(f'c均存在且满足：)(f)()('''-ccfcf当cx时，0)()(cxcfxf，所以0)(f)(lim)(f'cxcxfccx当cx时，0)()(cxcfxf，所以0)(f)(lim)(f'cxcxfccx所以0)c('f以上是对于)()(cfxf这种情况进行的证明，同理也可证明)()(cfxf这种情形罗尔定理：设)(fx在b,a上连续，在b,a上可导，若)()a(bff，则必有一点ba,c使得0)c('f．证明：分两种情况，若)(fx为常值，结论显然成立．若)(fx不为常值，根据最大、最小值定理（有界闭区间b,a上的连续函数)(fx具有最大值和最小值）可知，)(fx必在b,a内某一点c处达到最大值或最小值，再有费马定理可得，0)c('f．拉格朗日中值定理：设)(fx在b,a上连续，在b,a上可导，则一定有一点b,a使abaf)(f)b()(f'．证明：分两种情况，若)(fx恒为常数，则0)x('f在b,a上处处成立，则定理结论明显成立．若)(fx在b,a不恒为常数时，由于)(fx在b,a上连续，由闭区间连续函数的性质，)(fx必在b,a上达到其最大值M和最小值m，有一种特殊情况)()a(bff时，定理成立，这就是上面所证明过的罗尔定理．考虑一般情形，)()a(bff．做辅助函数x)(f)b()(f)x(abafx．由连续函数的性质及导数运算法则，可得)x(在b,a上连续，在b,a上可导，且aabbabf)(f)a()b(，这就是说)x(满足刚刚的特殊情况，因此在b,a内至少有一点，使得0)(f)b(f)(''abaf．即abaf)(f)b(f'．定理得证．柯西中值定理：若)(fx和)(gx在b,a上连续，在b,a上可导，且0)x(g'，则一定存在b,a使''g)(f)b(gfagbaf．证明：首先能肯定)()a(gbg，因为如果)()a(gbg，那么由拉格朗日中值定理，)x(g'在b,a内存在零点，因此与假设矛盾．还是做辅助函数agagbafxFxgg)(f)b()(f)x(．由bFFa，再由拉格朗日中值定理，可以证明定理成立．泰勒中值定理：若)(fx在0x点的某个邻域内有直到1n阶连续导数，那么在此邻域内有xRxnfxfffxnnn!0...!20x00f2'''．其中11nx!1nnnfxR．是介于0与x之间的某个值．证明：做辅助函数nntxntftxtftxtftfxf!...!2t2'''．由假设容易看出t在x,0或0,x上连续，且xRn0，0x，11n2'''''2''''''''!1!...!2...f-!2-fnnntxntftxntftxtftxtftxttxtftftxtftt化简后有n1n'!-txntft．在引进一个辅助函数1tntx．对函数t和t利用柯西中值定理得到''00xx，是介于0与x之间的某个值，此时有xRn0，0x，nxnf!-1n'，1nx0，0x，nx1n-'，代入上式，即得11nx!1nnnfxR．定理证明完毕．这是函数xf在0x点的泰勒公式，同理推导可得xf在0xx点附近的泰勒公式xRxxnxfxxxfxxxfxfxnnon0200''00'0!...!2f．其中101n!1nnxxnfxR．是介于0x与x之间的某个值．定理间关系：罗尔定理，拉格朗日定理，柯西定理以及泰勒公式是微分学的基本定理。这些定理都具有中值性，所以统称微分学中值定理.应用（判别函数单调性、求不定式极限、证明不等式和等式、证明终止点的存在性、证明方程根的存在性与唯一性、利用泰勒公式求近似值）证明方程根的存在性把要证明的方程转化为0xf的形式.对方程0xf用下述方法：（1）根的存在定理若函数xf在区间ba,上连续，且0bfaf，则至少存在一点ba,，0f.（2）若函数xf的原函数xF在ba,上满足罗尔定理的条件，则xf在ba,内至少有一个零值点.（3）若函数xf的原函数xF在0x处导数也存在，由费马定理知00'xF即00xf.（4）若xf在区间ba,上连续且严格单调，则xf在ba,内至多有一个零值点.若函数在两端点的函数（或极限）值同号，则xf无零值点，若函数在两端点的函数（或极限）值异号，则xf有一个零值点.（5）用泰勒公式证明根的存在性.（6）反证法.（7）在证明方程根的存在性的过程中，经常用到拉格朗日定理，积分中值定理，有时也用到柯西中值定理来证明满足方程的存在性所需的条件，然后利用上的方法来证明方程根的存在性.例1若xf在ba,上连续，在ba,内可导0a，证明：在ba,内方程xfabafbfx'222至少存在一个根.证明：令xfabxafbfxF222显然xF在ba,上连续，在ba,内可导，而且bFafbabfaF22根据罗尔定理，至少存在一个，使xfabafbf'222至少存在一个根.证明不等式不等式是数学中的重要内容和工具。在微分学中,微分中值定理在证明不等式中起着很大的作用.(1)拉格朗日定理适用于已知函数导数的条件，证明涉及函数（值）的不等式(2)泰勒公式适用于已知函数的高阶导数的条件，证明涉及函数（值）或低阶导函数（值）的不等式.例2求证xx1ln1x分析：根据不等式两边的代数式选取不同的xF,应用拉格朗日中值定理得出一个等式后,对这个等式根据x取值范围的不同进行讨论,得到不等式.证明：当0x时，显然01lnxx设0x对ttfln在以1与x1为端点的闭区间上用拉格朗日中值定理，有介于1与x1之间的，使1111'xffxf,即xx1ln当0x时，10，11，但此时注意1lnx与x均为负值，所以仍有xx1ln，即对1x不等式恒成立.当0x时，0，110，所以有xx1ln.注：学会把隐藏的条件找出来，即01ln，然后就可以利用定理，这个结果以后可以作为结论用.例3证明当eab时，abba证法一分析：要证abba成立，只要证abbalnlnbaablnlnbbaalnln0lnlnbbaa证明：设xxxflnbax,由xf在ba,上连续，在ba,内可导,0ln1ln122'xxxxxxxf，知xf在ba,上严格递减，由bfaaf，即bbaalnln成立，知baablnln成立，即abbalnln成立，所以abba成立.证法二证明：要证abba，只要证bbaalnln成立(1)设xxxflnbax,，由xf在ba,上连续，在ba,内可导,且0'xf于是0lnln'abfafbfbbaa，即bbaalnln故原式成立.注：证明某些不等式时，可转化为区间两端点函数值大小的比较或化为右边为0的不等式，转化为区间内任意一点函数值与端点函数值或与趋于端点极限值的比较，然后利用单调性证明.能用单调性定理证明的不等式，都可用拉格朗日中值定理证明，因为单调性定理就是拉格朗日中值定理证明的.相同的一道题可以有多种解法.讨论函数的单调性,并利用函数的单调性求极值利用拉格朗日中值定理能够很方便的判断出函数的单调性,其方法是:若函数xf在ba,上连续,在ba,内可导,则有:如果在ba,内0'xf,则xf在ba,上单调增加;如果在ba,内0'xf,则xf在ba,上单调减少.另外,xf在ba,内除有个别点外,仍有0'xf(或0'xf),则xf在ba,上仍然是单调增加(或减少)的,即连续函数在个别点处无导数并不影响函数的单调性.再利用函数的单调性及函数图像上峰值点与各值点的性质,便可以很方便地求出函数的极值。其方法为:确定函数的定义域,并求出xf',然后求出定义域内的所有驻点,并找出xf连续但xf'不存在的所有点,讨论所有驻点和不可导点左右两侧附近xf'的符号变化情况,从而确定函数的极值点,并求出相应的极大值或极小值.例4求证0x时,21ln2xxx证明：令21ln2xxxxf因为xf在,0上连续,在,0内可导,且xf'=xxxx11112当0x时,012'xxxf,所以当0x时,xf是单调增加的.故当0x时,00fxf,即00f,从而21ln2xxx例5求xxyln的极值.解：函数的定义域为,11,0.而xxy2'ln1ln,令0'y,即0ln1ln2xx,解得驻点ex,且该函数在定义域内没有导数不存在的点.而当ex时,0'y;当ex时,0'y.所以,ex是函数xf的极小值点,其极小值为eef.利用函数的单调性可证明某些不等式注：在求极值时，若极值的怀疑有导数不存在的点时，只能用列表法.求极限对于有些求极限的题，如果使用洛必达法则,则求导数的计算量很大.微分中值定理为求这样一些较难的极限提供了一种简单而有效的方法.其方法是对极限题中的某些部分构造辅助函数,使用微分中值定理,然后求出极.例6求1112limnnnaan,其中0a.解：对xaxf应用拉格朗日中值定理,有1112limnnnaan=111lim;2nnanxxn=1lnlim2nnaann=aln其中nn1,11泰勒公式泰勒公式事实上就是含有高阶导数的微分中值定理.它不仅在理论分析中具有很重要的作用,下面的例子说明它的应用.例7求xln在2x处的泰勒公式.解由于xln=22lnx=221ln2lnx，因此2222212212lnlnxxx+nnnnxxn2222111求近似值微分中值定理为我们提供了一种计算近似值的方法,只要构造出一个适当的函数,应用微分中值定理就可以得出其近似值.例8求97.0的近似值.解：97.0是函数xxf