ch3-1微分中值定理ppt课件

1、 31 微分中值定理 32 函数单调性与曲线的凹凸性3 33 3 函数的极值与最值函数的极值与最值 3 34 4 函数图形的描绘函数图形的描绘3 35 5 洛必达法则洛必达法则3 36 6 泰勒泰勒Taylor)Taylor)公式公式第一节第一节 微分中值定理微分中值定理0 洛尔定理洛尔定理0 拉格朗日中值定理拉格朗日中值定理0 柯西中值定理柯西中值定理; 0)()(, cxcfxfcx有有时时当当费马定理费马定理 设函数设函数 f (x)在在a , b上有定义，并且在点上有定义，并且在点c(a , b)取到最值，取到最值， f (x)在点在点c可导，那么可导，那么 f (c)=0。; 0)(

2、)(lim)( cxcfxfcfcx由由极极限限的的保保号号性性 证明：不失一般性。设证明：不失一般性。设 f (x)f (x)在点在点 x = c x = c 取到最大取到最大值，那么值，那么 f (x) f (x) f(c) f(c)，x x(a,b)(a,b)。; 0)()(, cxcfxfcx有有时时当当; 0)()(lim)( cxcfxfcfcx从而从而 f (c)=0。一、罗尔一、罗尔(Rolle)定理定理罗罗尔尔（R Ro ol ll le e）定定理理 如如果果函函数数)(xf在在闭闭区区间间 ,ba上上连连续续, ,在在开开区区间间),(ba内内可可导导, ,且且在在区区间

3、间端端点点的的函函数数值值相相等等，即即)()(bfaf , ,那那末末在在),(ba内内至至少少有有一一点点)(ba , ,使使得得函函数数)(xf在在该该点点的的导导数数等等于于零零， 即即0)( f)1()2()3(例如例如,32)(2 xxxf).1)(3( xx,3 , 1上连续上连续在在 ,)3 , 1(上上可可导导在在 , 0)3()1( ff且且,)3 , 1(1(, 1 取取. 0)( f),1(2)( xxf几何解释几何解释: :ab1 2 xyo)(xfy .,水平的水平的在该点处的切线是在该点处的切线是点点上至少有一上至少有一在曲线弧在曲线弧CABC证证.)1(mM 若

4、若,)(连连续续在在baxf.mM 和和最最小小值值必必有有最最大大值值.)(Mxf 则则. 0)( xf由此得由此得),(ba . 0)( f都有都有.)2(mM 若若),()(bfaf .取取得得最最值值不不可可能能同同时时在在端端点点),(afM 设设.)(),(Mfba 使使内内至至少少存存在在一一点点则则在在. 0)(: f由费马定理知由费马定理知罗尔定理的三个条件，缺一不可罗尔定理的三个条件，缺一不可.),)0(f)(2(不存在不存在不满足条件不满足条件 ,)2 , 2(内内找找不不到到一一点点在在 例如例如,2 , 2, xxy.2 , 2,132 xxy及及. 0)0(,1 ,

5、 0(,1 fxxy又例又例,注注: :. 0) x(f 使使罗尔定理结论均不成立罗尔定理结论均不成立.1 , 0 x, xy 不满足条件不满足条件(3), 不满足条件不满足条件(1);. 0)0(,1 , 0(,1 fxxy.1 , 0 x, xy 不满足条件不满足条件(3), 不满足条件不满足条件(1);. 0)0(,1 , 0(,1 fxxy例例1验证洛尔定理对函数验证洛尔定理对函数 f (x)=sinx在在0,上的正确性。上的正确性。解：解： f (x)在在0, 上连续，在上连续，在(0, )上可导，上可导， 且且 f(0) = f() 由洛尔定理知：由洛尔定理知： 在在(0, )内至

6、少有一点内至少有一点，使，使 f ()=0， 即即: cos =0, 故故=/2。例例2 2.10155的的正正实实根根有有且且仅仅有有一一个个小小于于证证明明方方程程 xx证证, 15)(5 xxxf设设, 1 , 0)(连连续续在在则则xf. 3)1(, 1)0( ff且且由零点定理由零点定理. 0)(),1 , 0(00 xfx使使即为方程的小于即为方程的小于1的正实根的正实根.,),1 , 0(011xxx 设另有设另有. 0)(1 xf使使,)(10件件之之间间满满足足罗罗尔尔定定理理的的条条在在xxxf使使得得之之间间在在至至少少存存在在一一个个),(10 xx . 0)( f)1

7、(5)(4 xxf但但)1 , 0( , 0 x矛盾矛盾,.只只有有唯唯一一实实根根至至少少有有一一个个根根。内内，在在求求证证例例)10(0234323 cbacxbxaxcbacxbxaxxF 234)(23分析：分析：),()0(cbaF cbacbacbaF 23234)1(cbacxbxaxxF 234)(23设设证证明明：xcbacxbxaxxF)()(234 , 0)1()0(10)(,1 , 0)( FFxFcxF）内内可可导导，在在（, 0)(),10( FRoll使使，定定理理，据据. 0234:23 cbacba即即有有几几个个实实根根。判判断断设设例例0)()3)(2)

8、(1()(4 xfxxxxxf0)3()2()1()0( ffff证证; 0)()10(10)(11 fRxf使使，定定理理的的条条件件，则则上上满满足足，在在; 0)()21(21 )(22 fRxf使使，定理条件，则定理条件，则上满足上满足，在在, 0)()32(32)(33 fRxf使使，定定理理条条件件，则则上上满满足足，在在个个实实根根。至至少少有有即即30)( xf有有三三个个零零点点。多多是是三三次次多多项项式式，所所以以至至又又)(xf 个实根。个实根。有有30)( xf二、拉格朗日二、拉格朗日(Lagrange)中值定理中值定理拉格朗日拉格朗日（LagrangeLagrang

9、e）中值定理）中值定理 如果函数如果函数 f(x)在在闭区间闭区间,ba上连续上连续, ,在开区间在开区间),(ba内可导内可导, ,那末在那末在),(ba内至少有一点内至少有一点)(ba ，使等式，使等式 )()()(abfafbf 成立成立. .)1()2().()(:bfaf 去去掉掉了了与与罗罗尔尔定定理理相相比比条条件件中中注注意意).()()( fabafbf结结论论亦亦可可写写成成作辅助函数作辅助函数).()()()()()(axabafbfafxfxF ,)(满满足足罗罗尔尔定定理理的的条条件件xF. 0)(,),( Fba使使得得内内至至少少存存在在一一点点则则在在0)()(

10、)( abafbff即即).)()()(abfafbf 或或拉格朗日中值公式拉格朗日中值公式证法二证法二)()()()(abxfxafbfxF 设设证证F(x)在闭区间在闭区间a,b上连续上连续,在开区间在开区间(a,b)内可导内可导, )()()()()()(abfbafabbfbafbfbF )()()()()()(abfbafabafaafbfaF ),()(bFaF 有有 由由R-定理知定理知:, 0)(),( Fba使使).)()()(abfafbf 即即注意注意: :拉氏公式精确地表达了函数在一个区间上的拉氏公式精确地表达了函数在一个区间上的增量与函数在这区间内某点处的导数之间的关

11、系增量与函数在这区间内某点处的导数之间的关系. .,),()(内内可可导导在在在在设设baxf).10()()()(000 xxxfxfxxf则则有有),(,00baxxx ).10()(0 xxxfy也也可可写写成成.的的精精确确表表达达式式增增量量 y 拉格朗日中值定理又称有限增量定理拉格朗日中值定理又称有限增量定理.微分中值定理微分中值定理拉格朗日中值公式的有限增量公式形式：拉格朗日中值公式的有限增量公式形式：证明：设证明：设x1,x2是是(a, b)内任意两点，由拉格朗日定理有内任意两点，由拉格朗日定理有0)()()(1212 xxfxfxf(在在x1,x2之间之间) )()(12xf

12、xf 由由x1, x2的任意性知的任意性知: f (x)=常数常数, x(a, b) . 定理得证定理得证设设 如果对任意的如果对任意的x(a, b)都有都有f (x)=0, 那么那么 f (x)在在(a, b)内恒为一常数内恒为一常数 .)(,)(上上是是一一个个常常数数在在区区间间那那末末上上的的导导数数恒恒为为零零在在区区间间如如果果函函数数IxfIxf推论推论0)(f 例例5 5).11(2arccosarcsin xxx证证明明证证 1 , 1x, xarccosxarcsin)x( f 设设)x11(x11)x(f22 . 0 )1 , 1(x,C)x( f 0arccos0arc

13、sin)0( f 20 ,2 .2C 即即2)1(f2)1(f ).1x1(2xarccosxarcsin 例例6 6.)1ln(1,0 xxxxx 时时证明当证明当证证),1ln()(xxf 设设, 0)(上上满满足足拉拉氏氏定定理理的的条条件件在在xxf)0(),0)()0()(xxffxf ,11)(, 0)0(xxff 由上式得由上式得,1)1ln( xxx 0又又x 111, 11111 x,11xxxx .)1ln(1xxxx 即即例例7 7xee,1x:x 时时当当证证明明三、柯西三、柯西(Cauchy)中值定理中值定理柯西柯西（CauchyCauchy）中值定理）中值定理 如果

14、函数如果函数)(xf及及)(xF在闭区间在闭区间,ba上连续上连续, ,在开区间在开区间),(ba内可导内可导, ,且且)(xF在在),(ba内每一点处均不为零，那末在内每一点处均不为零，那末在),(ba内至少内至少有一点有一点)(ba , ,使等式使等式 )()()()()()( FfbFaFbfaf成立成立. .几何解释几何解释:)(1 F)(2 Fxoy )()(xfYxFX)(aFA)(bFBCD)(xFNM.),(),(ABfFCAB弦弦该点处的切线平行于该点处的切线平行于在在一点一点上至少有上至少有在曲线弧在曲线弧 证证1作辅助函数作辅助函数).()()()()()()()()(a

15、FxFaFbFafbfafxfx ,)(满满足足罗罗尔尔定定理理的的条条件件x . 0)(,),( 使得使得内至少存在一点内至少存在一点则在则在ba, 0)()()()()()( FaFbFafbff即即.)()()()()()( FfaFbFafbf,)(xxF 当当, 1)(,)()( xFabaFbF)()()()()()( FfaFbFafbf).()()( fabafbf特别特别证证2柯西定理的几何意义柯西定理的几何意义: :( )( )( )( )( )( )f bf afg bg ag ( ):( ) , Xg xCYf xxa b d( )d( )yftxF t 注意注意: :

16、xyo弦的斜率弦的斜率切线斜率切线斜率( )g a( )g ( )g b( )f a( )f b( ( ),( ),.ABC gfAB在曲线弧上至少有在曲线弧上至少有一点在一点在该点处的切线平行于该点处的切线平行于弦弦maxd曲线上到弦曲线上到弦ABAB的距离的距离最远点处的切线平行最远点处的切线平行于于AB AB AB弦的方程：弦的方程：( )( )( )( ( )( )( )0f bf aXg ag bg aYf a 曲线上点曲线上点M(g(x),f (x)到到AB弦的距离为弦的距离为22( )( )( ( )( )( ( )( )( )( )( )( )( )( ( )( )f bf a

17、g xg ag bg af xf ad xf bf ag bg a 柯西定理证明分析( )0,( , ),( )( )gxxagbbag 曲线上到弦曲线上到弦AB的距离的距离最远点处的切线平行于最远点处的切线平行于AB xyo( )( )Xg xYf x ( ( ),( )A g af a( ( ),( )B g bf b( )d xM柯西定理证明作辅助函数作辅助函数2( )( )h xux ( )( ( )( )( ( )( )( ( )( )( ( )( )u xf bf ag xg ag bg af xf a ( ) , ,( ) ,( , ),h xC a bh xxa b ( )(

18、)0h ah b (1)( )0( )0h xh x 对任意对任意x 有有( )( ) ( ) ( )( )( )0f bf a gxg bg afx ； , (2) ( )0( , )( )max ( )0 xa bh xa bhh x 当当，由费马引理知，由费马引理知， ( )0h ，( )2 ( ) ( )0huu 即即，( )0u 即即( )( ) ( ) ( )( )( )0f bf a gg bg af 即即( )( )( )( )( )( )f bf afg bg ag 即即( , )a b 例例8 8)(g)b(g)a(f)(f)(g)(f),b, a(: 使使在在柯柯西西定定理理的的条条件件下下证证明明例例9 9).0( f)1( f 2)(f),1 , 0(:,)1 , 0(,1 , 0)x( f 使使至至少少存存在在一一点点证证明明内内可可导导在在上上连连续续在在设设函函数数证一证一结论可变形为结论可变形为 2)(01)0()1(fff.)()(2 xxxf,)(2xxg 设设,1 , 0)(),(条条件件上上满满足足柯柯西西中中