清华微积分高等数学第八讲微分中值定理ppt课件

1、 作业作业P88 习题习题4.1 5(1). 7. 8(2)(4). 9(1). 10(3).P122 综合题综合题: 4. 5.复习：复习：P8088预习：预习：P8995运用导数研讨函数性态运用导数研讨函数性态部分性态部分性态 未定型极限未定型极限 函数的部分近似函数的部分近似整体性态整体性态 在某个区间上在某个区间上 函数的单调性、函数的极值函数的单调性、函数的极值 函数的凸性、渐近性、图形函数的凸性、渐近性、图形微分中值定理，包括：微分中值定理，包括： 罗尔定理、拉格朗中值定理、罗尔定理、拉格朗中值定理、 柯西中值定理、泰勒中值定理柯西中值定理、泰勒中值定理 微分中值定理是微分学的实际

2、根底。是微分中值定理是微分学的实际根底。是利用导数研讨函数性质的实际根据。利用导数研讨函数性质的实际根据。 微分中值定理的共同特点是：微分中值定理的共同特点是： 在一定的条件下，可以断定在所给区间在一定的条件下，可以断定在所给区间内至少有一点，使所研讨的函数在该点具有内至少有一点，使所研讨的函数在该点具有某种微分性质。某种微分性质。第八讲第八讲 微分中值定理微分中值定理一、费尔马一、费尔马 ( Fermat )定理定理二、罗尔二、罗尔 ( Rolle )定理定理三、拉格朗日三、拉格朗日(Lagrange )定理定理四、柯西四、柯西 (Cauchy )定理定理).()()()()()(),(.)

3、()(0000000或或极极小小值值点点的的极极大大值值点点为为并并称称或或极极小小值值取取得得极极大大值值在在则则称称函函数数或或有有若若定定义义有有的的某某邻邻域域在在点点设设函函数数fxxfxfxfxfxfxNxxNxxf 一、费尔马一、费尔马 ( Fermat )定理定理一极值的定义：一极值的定义：0 x1xxyo)(xfy 极极大大值值)(0 xf极极小小值值)(1xf)(极大值点极大值点)(极极小小值值点点极值的研讨是微积分产生的主要动力之一极值的研讨是微积分产生的主要动力之一0)(,)(,)(000 xfxxfxxf则则必必有有可可导导在在点点并并且且取取得得极极值值在在点点设设

4、函函数数二费尔马定理二费尔马定理 (极值必要条件极值必要条件).0)(200驻驻点点这这种种点点称称为为的的一一个个极极值值点点函函数数不不一一定定是是的的点点满满足足注注意意fxxf .0)(10必必要要条条件件是是可可导导函函数数取取得得极极值值的的注注意意 xfxyo3xy 0)0(32 yxy不不是是极极值值点点0 x驻驻点点未未必必是是极极值值点点！证证)0)(0)(:(00 xfxf且且只只须须证证明明.)(0处处取取得得极极大大值值在在点点不不妨妨设设xxf)()(0 xfxf 有有内内的的邻邻域域在在点点即即,),(000 xxx000)()()(xxxfxfxxf 考考察察0

5、)()(000 xxxfxfxx0)()(000 xxxfxfxx并并且且有有都都存存在在和和所所以以存存在在因因为为,)()(,)(000 xfxfxf 0)()(lim)()(00000 xxxfxfxfxfxx0)()(lim)()(00000 xxxfxfxfxfxx0)(0 xf微分中值定理的引入微分中值定理的引入.,.,平平行行的的切切线线与与弦弦在在点点使使得得曲曲线线上上至至少少存存在在一一点点那那麽麽切切线线有有连连续续不不断断且且其其上上各各点点都都平平面面曲曲线线ABCABCABAB(AB切线平行于弦切线平行于弦CABxyC轴轴切切线线平平行行于于 xoab AB0)(

6、fxoAB切切线线平平行行于于弦弦CAB)()()( fabafbf yab xoAB切切线线平平行行于于弦弦CAB)()()()()()( gfagbgafbf y)(ag)(bg)( g)()()(btatfytgx :的的参参数数方方程程AB)(af)(bf)( f使使得得内内至至少少存存在在一一点点则则在在内内可可微微在在开开区区间间上上连连续续在在闭闭区区间间满满足足条条件件：设设函函数数,),(),()()3(;),()2(;,)1()( babfafbabaxf )(0)(baf 二、罗尔二、罗尔 ( Rolle )( Rolle )定理定理怎样证明罗尔定理怎样证明罗尔定理 ？先

7、利用笼统思想先利用笼统思想去找出一个去找出一个C点来！点来！想到利用闭区间上延续函数想到利用闭区间上延续函数的最大最小值定理！的最大最小值定理！CxyoabABC.,)(,)1(mMbaxf和和最最小小值值最最大大值值上上达达到到在在闭闭区区间间知知由由条条件件.,)(,)1(baxMxfmM 则则若若, 0)()(baxxfxf 常常数数有有内内任任取取一一点点作作为为可可在在因因此此,),(, ba0)( f,)2(mM 若若).(,)()(afmMbfaf不等于不等于至少有一个至少有一个和和知知由由 ).(afM 不不妨妨设设罗尔定理的证明：罗尔定理的证明：)()(baMf 即即处处达达

8、到到某某点点内内部部只只能能在在最最大大值值这这就就是是说说从从而而有有因因为为,),(,).(),()( baMbfMafbf 于于是是由由费费尔尔马马定定理理知知因因而而是是极极大大值值内内部部达达到到且且在在是是函函数数的的最最大大值值又又存存在在所所以以因因为为.,),(,)(.)(),(baffba )(0)(baf 使使得得内内至至少少存存在在一一点点则则在在内内可可微微在在开开区区间间上上连连续续在在闭闭区区间间满满足足条条件件：设设函函数数,),(,),()2(;,)1()( bababaxf)()()()(bafabafbf 三、拉格朗日三、拉格朗日(Lagrange )定理

9、定理怎样证明拉格朗日定理怎样证明拉格朗日定理 ？拉格朗日定理假设添加条件拉格朗日定理假设添加条件: )()(bfaf 那么收缩为罗尔定理；那么收缩为罗尔定理；罗尔定理假设放弃条件罗尔定理假设放弃条件: )()(bfaf 那么推行为拉格朗日定理。那么推行为拉格朗日定理。 知识扩张所遵照的规律之一就是将欲探知识扩张所遵照的规律之一就是将欲探索的新问题转化为已掌握的老问题。索的新问题转化为已掌握的老问题。因此想到利用罗尔定理！因此想到利用罗尔定理！xo0)(: kakxafyAB方方程程弦弦CABabafbfk )()(yab 满足罗尔定理条件满足罗尔定理条件弦线与弦线与f(x)在端点处相等在端点处

10、相等kakxafxf )()(设设函数函数)()()()()()(axabafbfafxfxF ).()(,),(,)(:bFaFbabaxF 且且可可导导内内在在上上连连续续在在容容易易验验证证拉格朗日定理的证明：拉格朗日定理的证明：构造辅助函数构造辅助函数使使得得内内至至少少存存在在一一点点在在由由罗罗尔尔定定理理知知,),(, ba0)()()()( abafbffF abafbff )()()( 拉格朗日中值公式拉格朗日中值公式abafbff )()()( 拉格朗日公式各种方式拉格朗日公式各种方式)()()()(abfafbf )()()()(1212xxfxfxf xfxfxxf )

11、()()(00 xxxfxfxxf )()()(000 ),(ba ),(ba ),(21xx ),(00 xxx )10( 有限增量公式有限增量公式思思考考题题：有有什什麽麽区区别别？限限增增量量公公式式比比较较微微小小增增量量公公式式与与有有)()()()(000 xxxfxfxxf xxxfxfxxf )()()(0000,xba上上任任意意取取定定一一点点在在)()()(00 xxfxfxf 条条件件满满足足拉拉格格朗朗日日中中值值定定理理上上或或在在,)(,00 xxxxxfbax .,)(上上恒恒为为常常数数在在则则上上恒恒为为零零在在若若bafbaxf 推论推论1：证证有有由由拉

12、拉格格朗朗日日中中值值定定理理,0)()(0 xfxf之之间间与与在在0 xx 0)( f已知已知常常数数 )()(0 xfxf)()()(,),()(,是是常常数数其其中中有有则则有有若若CCxgxfbaxxgxfbax 推论推论2：).(,),0)(0)(,单单调调减减少少上上单单调调增增加加在在则则有有若若bafxfxfbax 推论推论3：).(,),0)(0)(,严严格格单单调调减减上上严严格格单单调调增增在在则则有有若若bafxfxfbax 推论推论4：使使得得内内至至少少存存在在一一点点则则在在且且内内可可微微在在开开区区间间上上连连续续在在闭闭区区间间满满足足条条件件：设设函函数

13、数,),(. 0)(,),()2(;,)1()(),( baxgbabaxgxf )()()()()()()(bagfagbgafbf 四、柯西四、柯西 (Cauchy )定理定理. 0)()( agbg先先证证矛矛盾盾！这这与与假假设设条条件件使使得得存存在在一一点点由由罗罗尔尔定定理理知知0)(, 0)(),(, xgcgbac用用反反证证法法)()(, 0)()(agbgagbg 即即假假设设柯西中值定理的证明：柯西中值定理的证明：构造辅助函数构造辅助函数)()()()()()()()()(agxgagbgafbfafxfxF 即即使使得得故故存存在在满满足足罗罗尔尔定定理理条条件件,

14、0)(),(,)( FbaxF)()()()()()( gfagbgafbf 辑辑关关系系：四四个个定定理理之之间间有有如如下下逻逻费尔马定理费尔马定理罗尔定理罗尔定理拉格朗日定理拉格朗日定理柯西定理柯西定理?1根根讨讨论论下下列列方方程程有有几几个个实实例例1222 xxx零点问题零点问题图图形形发发现现三三个个交交点点而而且且大大体体上上能能确确定定位位置置以下证明恰好以下证明恰好有三个根有三个根-3-2-111234246810204060801001201222 xxyyx交交点点个个数数该方程实根个数该方程实根个数就是两条曲线就是两条曲线首先证明至少有三个根首先证明至少有三个根计算阐

15、明计算阐明0)10(,02)1(,023)1(,043)2( ffff根据介值定理根据介值定理122)(2 xxxfx令令)10, 1(, )1, 1( , )1, 2()(和和在在 xf各至少有一个零点各至少有一个零点因此方程至少有三个根因此方程至少有三个根然后证明方程最多有三个根然后证明方程最多有三个根用反证法用反证法 有有四四个个相相异异实实根根0122)(2 xxxfx假假定定方方程程至少有三个相异实根至少有三个相异实根02222ln)( xxfx根据洛尔定理根据洛尔定理至少有两个相异实根至少有两个相异实根022)2(ln)(2 xxf至至少少有有一一个个实实根根02)2(ln)(3

16、xxf矛盾！矛盾！综上所述，方程恰好有三个实根综上所述，方程恰好有三个实根) 0)(, 0)(;0)(, 0)( bfafbfaf或或者者直观察看可直观察看可以启发思绪以启发思绪)(),(bfaf在第一种情形在第一种情形, ,都不是最小值都不是最小值0)()( ,)( 2 bfafbaxf并并且且可可导导在在设设例例0)( ),( fba使使得得存存在在所以最小值一定在区间内部到达所以最小值一定在区间内部到达ba)(af)(bfyxab)(af)(bfyx. 0)(, 0)( bfaf不不妨妨设设. )( 0)( 不不是是区区间间上上的的最最小小值值也也又又可可以以推推出出利利用用条条件件bf

17、bf . ),( 达达到到内内部部某某个个点点于于是是最最小小值值在在 ba. 0)(),(: fba由由费费尔尔马马定定理理推推出出可可知知即即由由0)()(lim, 0)( axafxfafax)()(, afxfax 有有充充分分近近时时距距当当不不是是区区间间上上的的最最小小值值 )( af证证证明思绪直观分析证明思绪直观分析 例例330)(, ), 0(.0)(lim, 0)0(,), 0(), 0 fxfffCfx则存在则存在并且并且可导可导在在设设内内部部达达到到最最大大或或最最小小值值必必然然在在), 0()( xfxyo证证0)(), 0( xf如如果果在在结结论论自自然然成

18、成立立不不恒恒等等于于零零在在不不妨妨假假设设), 0()( xf0)(), 0(00 xfx使使得得0)(0 xf不不妨妨设设0)(lim xfx)()(,0101xfxfxxxx 根据延续函数的根据延续函数的最大最小值定理最大最小值定理使使得得存存在在, , 01x 0| )(max)(1xxxff 0 并且并且0| )(max)( xxff 是是驻驻点点所所以以内内部部在在由由于于 ,), 0( 0)( f证证明明恒恒等等式式例例4)1(2arccosarcsin xxx )1(01111)(22 xxxxf则则)1(arccosarcsin)( xxxxf令令知知理理的的推推论论于于是

19、是由由拉拉格格朗朗日日中中值值定定1)1()()( xccxf为为常常数数20arccos0arcsin)0( f又又证证时时有有当当又又1, x21arccos1arcsin)1( f于于是是得得到到)1(2arccosarcsin xxx )1(2arccosarcsin xxx 故故2)1arccos()1arcsin()1( f221arctanarctan1,05aababbabba 有有不不等等式式时时证证明明当当例例,arctan)(baxxxf 令令且且可可微微内内在在开开区区间间上上连连续续在在闭闭区区间间满满足足条条件件：显显然然,),()2(;,)1()(,babaxf2

20、11)(arctan)(xxxf 证证)()(11arctanarctan2baabab 有有理理于于是是由由拉拉格格朗朗日日中中值值定定,222111aababbab 因因为为所所以以有有221arctanarctan1aababbab .)(,)(,)(lim,)()(6lafaxflxfaaUaxfax 且且可可导导在在点点则则函函数数且且外外可可导导除除点点连连续续的的邻邻域域在在点点若若函函数数例例使使得得点点之之间间至至少少存存在在一一与与则则在在定定理理条条件件上上满满足足拉拉格格朗朗日日中中值值或或在在函函数数显显然然且且,)(,.),(cxaaxxaxfaxaUx )()()

21、(cfaxafxf 证证从从而而有有时时因因为为当当.,acax)(lim)(lim)()(limcfcfaxafxfacaxax 即即有有由由已已知知条条件件,)(lim,lcfac lcfaxafxfacax )(lim)()(lim.)(,)(,lafaxf 且且可可导导在在点点函函数数由由导导数数定定义义知知注注意意)()(lim,)(,)(lim,)(,000000 xfxfxxfxfxxxxfxxxx 且且必必可可导导在在则则函函数数存存在在且且处处可可导导在在连连续续附附近近在在点点只只要要此此例例说说明明.,;,或或是是有有第第二二类类间间断断是是连连续续它它或或在在每每一一点

22、点处处不不能能有有第第一一类类间间断断则则导导函函数数若若函函数数在在某某区区间间内内可可导导有有不不等等式式时时证证明明：当当例例,17 xxxxx )1ln(1等等号号成成立立时时当当,0 xxxxxf 1)1ln()(令令2)1()(xxxf 则则证证.)0()(,上上严严格格增增加加在在从从而而 xf0)0(1)1ln()( fxxxxf0)(,0 xfx有有时时当当0)0(1)1ln()( fxxxxf)1ln(1xxx 即即xxxxxg )1ln()1ln()(同同理理可可证证令令0)(,01 xfx有有时时当当.)0,1()(,上上严严格格减减少少在在从从而而 xf)1ln(1x

23、xx 即即.)(,)0()(801110实实根根也也仅仅有有证证明明的的根根全全是是实实根根设设实实系系数数多多项项式式例例xPaaxaxaxaxPnnnnnn 故故设设的的根根全全是是实实根根因因为为,)(xPnmkmkknxxxxxxaxP)()()()(21210 nkkkxxxmm 2121,其其中中证证)()()()()()(1211201xfxxxxxxaxxxPkkmkknm .0)(,)(111 xfkxPxn所所以以重重根根的的是是因因为为)()()()()()()()()(11111111111xfxxxfkxxxfxxxfxxkxPkkkn 0)()()()(1111111 xfkxfxxxfk又又.)1()(11重