《罗尔中值定理的内容及证明方法.docx》由会员分享,可在线阅读,更多相关《罗尔中值定理的内容及证明方法.docx(7页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、罗尔中值定理的内容及证明方法罗尔中值定理的内容及证实方法一定理的证实证实:由于函数)(xf在闭区间ba,上连续,所以存在最大值与最小值,分别用M和m表示,如今分两种情况讨论:1.若mM=,则函数)(xf在闭区间ba,上必为常数,结论显然成立。2.若mM,则由于)()(bfaf=使得最大值M与最小值m至少有一个在()ba,内某点处获得,进而是)(xf的极值点,由条件)(xf在开区间()ba,内可导得,)(xf在处可导,故由费马定理推知:0)(=f。二罗尔中值定理类问题的证实罗尔中值定理在微分学解题中有着广泛的应用,下面我们就对罗尔中值定理的应用作深化的研究,归纳出证题技巧。1.形如“在()ba,
2、内至少存在一点,使kf=)(的命题的证法。(1)当0=k时,一般这种情况下,我们只需验证)(xf知足罗尔定理的条件,根据罗尔定理来证实命题。在证实经过中,我们要注意区间的选取,有时候所需验证的条件并不是显而易见的。例1设)(xf在闭区间1,0上连续,开区间()1,0内可导,?=132)(3)0(dxxff。证实:()1,0?,使0)(=f分析:由于所需验证的罗尔中值定理的条件并不是显而易见的,而且这个问题涉及到定积分,所以我们考虑运用积分中值定理的知识,尝试在()1,0中找到一个区间(),0,在(),0中运用罗尔中值定理去证实。证:由于?=-=?1,32,)()()321(3)(3)0(132
3、ffdxxff显然)(xf在闭区间,0上连续,在开区间(),0内可导根据罗尔定理,()1,0?,使0)(=f(2)当0k时,若所证实的等式中不出现端点值,则将结论化为:0)(=-kf的形式,构造辅助函数)(xF,我们就能够运用(1)中的方法证实命题。我们在构造辅助函数时,可用观察法、积分法、递推法,常数k法等等。例2设函数)(xf在闭区间ba,上连续,在开区间()ba,内可导,证实:在()ba,内至少存在一点,使)()()()(222fabafbf-=-证:要证实)()()()(222fabafbf-=-只需证0)()()()(222=-fabafbf故令)()()()()(222xfabaf
4、bfxxg-=,则)(xg在闭区间ba,上连续,在开区间()ba,内可导,且)()(bgag=故,()ba,?,使得0)()()()(2)(22=-=fabafbfg即:)()()()(222fabafbf-=-2.应用罗尔定理来讨论方程的根:解决这类问题首先要构造一个函数,使该函数的导数是结论中的函数。例3证实方程)(23423cbacxbxax+=+在()1,0内至少有一实根。分析:若令)(234)(23cbacxbxaxxf+-+=,则)0(f,)1(f的符号不易判别,所以不合适运用介值定理,因而我们采用罗尔中值定理来证实。证:令xcbacxbxaxxf)()(234+-+=,则)(xf
5、在1,0上连续,在()1,0内可导,且0)1()0(=ff。由罗尔中值定理可知:()1,0?,使0)(=f。即0)(23423=+-+cbacxbxax所以方程)(23423cbacxbxax+=+在()1,0内至少有一实根例4若)(xf可导,试证实在)(xf的两个零点之间,一定有0)()(=+xfxf的零点。分析:要证0)()(=+xfxf存在零点,我们需要构造一个辅助函数)(xF,使得)()()(xfxfxF+=,将问题转换为)(xF的零点存在问题。证:令)()(xfexFx=,设1x,2x为)(xf的两个零点,即0)(1=xf,0)(2=xf。则有0)()(21=xFxF。假设21xx形
6、式1:若函数)(xf在()+,a内可导,且)(lim)(limxfxfxax+=+,则在()+,a内至少存在一点c,使0)(=cf。证:若Axf)(,则结论显然成立。若Axf)(,不妨设),(0+ax,使Axf?,ax-,),(+aax时,有AxfAxf-)()(0,则)()(0xfxf。又)(xf在Xa,+上连续,故必存在最小值m,即Xac,+?,使mcf=)(。又当Xx,),(+aax时,都有)()()(0cfmxfxf=,则mcf=)(也是)(xf在()+-,上的最小值。故由费马定理知,0)(=cf例5设函数)(xf在区间)+,0上可导,且有xxxf+1)(0,证实0?,使222)1(1
7、)(+-=f。证:令21)()(xxxfxF+-=,由于xxxf+1)(0,所以0)(lim)0(0=xffx。又由于01lim=+xxx,所以0)(lim=+xfx。而0)1)(lim)(lim200=+-=+xxxfxFxx,0)1)(lim)(lim2=+-=+xxxfxFxx,所以)(lim)(lim0xFxFxx+=+,故)(xF在()+,0可导。由广义的罗尔中值定理,()+?,0,使0)(=xF,即222)1(1)(+-=f。形式2:若函数)(xf在()b,-内可导,且)(lim)(limxfxfbxx-=,则在()b,-内至少存在一点c,使0)(=cf。证实方法与形式1类似。例6
8、求证函数211)(xxxf+=在()1,-内至少存在一点c,使得0)(=cf。证:显然函数211)(xxxf+=在开区间()1,-内可导,且有0)(lim=-xfx,0)(lim1=-xfx。则由形式2可知,在()1,-内至少存在一点c,使0)(=cf。而3222111)(xxxxxxxf+-=?+=?+=,故0)2(=-f。形式3:若函数)(xf在()ba,内可导,且Axfxfbxax=-+)(lim)(lim(A为有限数或),则在),(ba内至少存在一点c,使0)(=cf。证:若A为有限数,当Axf)(,显然结论成立。若Axf)(,必()bax,0?,使Axf)(0。不妨设Axf)(0,R?,使得)(0xfA)(1,则有)()(10xfAxf)(2,则有)()(20xfAxf文档视界罗尔中值定理的内容及证实方法罗尔中值定理的内容及证实方法