《数学分析》第六章微分中值定理及其应用

  • 格式:doc
  • 大小:488.01 KB
  • 文档页数:15

43 第六章 微分中值定理及其应用(计划课时: 8时 )

§ 1中值定理 ( 3时 )

一 思路: 在建立了导数的概念并讨论了其计算后,应考虑导数在研究函数方面的一些作用。基于这一目的,需要建立导数与函数之间的某种联系。还是从导数的定义出发:

00)()(lim0xxxfxfxx=)(0xf.若能去掉导数定义中的极限符号,即00)()(xxxfxf?)(0xf,则目的就可达到.这样从几何上说就是要考虑曲线的割线与切线之间的平行关系. 一方面要考虑给定割线, 找平行于该割线的切线; 另一方面要考虑给定切线, 找平行于该切线的割线. (1)若给定的割线是水平的、斜的或曲线的方程以参数方程的形式给出,则分别可找出相应的切线平行于该割线,再分析所需要的条件,就可建立起Rolle定理、Lagrange定理、Cauchy定理. 这三个微分中值定理用一句话概括:对于处处连续、处处有切线曲线的每一条割线都可以找到平行于该割线的切线. (2)若给定切线, 找平行于该切线的割线, 则不一定能实现.

二 微分中值定理:

1. Rolle中值定理: 叙述为Th1. ( 证 ) 定理条件的充分但不必要性.

2. Lagrange中值定理: 叙述为Th2. ( 证 ) 图解 .

用分析方法引进辅助函数, 证明定理.

Lagrange中值定理的各种形式. 关于中值点的位置.

系1 函数)(xf在区间I上可导且)( ,0)(xfxf为I上的常值函数. (证)

系2 函数)(xf和)(xg在区间I上可导且,)()( ),()(cxgxfxgxf.Ix

系3 设函数)(xf在点0x的某右邻域)(0x上连续,在)(0x内可导.若)0()(lim00xfxfxx存在 , 则右导数)(0xf也存在, 且有).0()(00xfxf(证)

但是, )0(0xf不存在时, 却未必有)(0xf不存在. 例如对函数

.0 ,0,0 ,1sin)(2xxxxxf

虽然)00(f不存在,但)(xf却在点0x可导(可用定义求得0)0(f).

Th3 (导数极限定理) 设函数)(xf在点0x的某邻域 )(0x内连续, 在)(0x内可导. 若极限)(lim0xfxx存在, 则)(0xf也存在, 且).(lim)(00xfxfxx ( 证 )

由该定理可见, 若函数)(xf在区间I上可导,则区间I上的每一点,要么是导函数)(xf的连续点,要么是)(xf的第二类间断点.这就是说,当函数)(xf在区间I上点点可导时, 导函数)(xf在区间I上不可能有第二类间断点.

3. Cauchy中值定理:

Th 4 设函数f和g在闭区间],[ba上连续, 在开区间),(ba内可导, f和g在),(ba内不同时为零, 又).()(bgag 则在),(ba内至少存在一点, 使得 44 )()()()()()(agbgafbfgf.

证 分析引出辅助函数 )()(xfxF)()()()(agbgafbf)(xg. 验证)(xF在],[ba上满足Rolle定理的条件,  ),,( ba

)()(fF)()()()(agbgafbf.0)(g

必有0)(g, 因为否则就有0)(f.这与条件“f和g在),(ba内不同时为零”

矛盾.  

Cauchy中值定理的几何意义.

Ex [1]P163 1—4;

三 中值定理的简单应用: ( 讲1时 )

1. 证明中值点的存在性:

例1 设函数f在区间],[ba上连续, 在),(ba内可导, 则),(ba, 使得

)()(afbf)(lnfab.

证 在Cauchy中值定理中取xxgln)(.

例2 设函数f在区间],[ba上连续, 在),(ba内可导, 且有0)()(bfaf.试证明:

0)()( ),,(ffba.

2. 证明恒等式: 原理.

例3 证明: 对Rx, 有 2arcctgxarctgx.

例4 设函数f和g可导且 ,0)(xf又 .0gfgf 则 )()(xcfxg.(证明

0) (fg. )

例5 设对R , hx,有 2 |)()(|Mhxfhxf,其中M是正常数.则函数)(xf是常值函数. (证明 0f ).

3. 证明不等式: 原理.

例6 证明不等式: 0h时, harctghhh21.

例7 证明不等式: 对n,有nnn1) 11 ln(11.

4. 证明方程根的存在性:

例8 证明方程 0cossinxxx在),0(内有实根.

例9 证明方程 cbacxbxax23423在) 1 , 0 (内有实根. 45 四 单调函数 (结合几何直观建立)

1 可导函数单调的充要条件

Th 5设函数)(xf在区间),(ba内可导. 则在),(ba内)(xf↗(或↘) 在),(ba内

0)(xf ( 或0 ).

例10 设13)(3xxxf.试讨论函数)(xf的单调区间.

解:⑴确定定义域. 函数)(xf的定义域为),(.

⑵求导数并分解因式.)1)(1(333)(2xxxxf

⑶确定导数为0的点和不存在的点.令0)(xf,得1,1xx

⑷将导数为0的点和不存在的点作为分点插入函数的定义域,列表讨论各个区间上的单调性.列表

x )1,( 1 (-1,1) 1 ),1(

)(xf  0 - 0 

)(xf

2 可导函数严格单调的充要条件

Th6设函数)(xf在区间),(ba内可导. 则在),(ba内)(xf↗↗( 或↘↘) ⅰ> 对),,(bax 有0)(xf ( 或)0; ⅱ> 在),(ba内任子区间上.0)(xf

3 可导函数严格单调的充分条件

推论 见P124

例11 证明不等式 .0,1xxex

Ex [1]P124—125 1—7.

§2 不定式的极限 ( 2时 )

一. 00 型:

Th 1 (LHospital法则 ) ( 证 ) 应用技巧.

例1 .coscos1lim2xxtgxx

例2 )1ln()21(lim2210xxexx.

例3 xxex1lim0. ( 作代换xt 或利用等价无穷小代换直接计算. )

例4 xxxxsin1sinlim20. ( LHospital法则失效的例 ) 46 二  型:

Th 2 (LHospital法则 ) ( 证略 )

例5 ) 0 ( ,lnlimxxx.

例6 3limxexx.

注: 关于xxexln,,当x时的阶.

例7 xxxxsinlim. ( LHospital法则失效的例 )

三. 其他待定型:  , ,0 ,1 ,000.前四个是幂指型的.

例8.lnlim0xxx

例9)(seclim2tgxxx.

例10xxx0lim.

例11xxx11lim0.

例12210coslimxxx.

例13nnn211lim.

例14设.0 ,0,0 ,)()(xxxxgxf 且 .3)0( ,0)0()0(ggg 求).0(f

解 200)(lim0)(lim)0()(lim)0(xxgxxxgxfxffxxx

23)0(21)0()(lim212)(lim0000gxgxgxxgxx.

Ex [1]P132—133 1—5.

§3 Taylor公式 ( 3时 )

一. 问题和任务:

用多项式逼近函数的可能性; 对已知的函数, 希望找一个多项式逼近到要求的精度.

二. Taylor( 1685—1731 )多项式:

分析前述任务,引出用来逼近的多项式应具有的形式 47 定义 (Taylor 多项式 )(xPn及Maclaurin多项式)

例1 求函数24)(23xxxf在点20x的Taylor 多项式.

三. Taylor公式和误差估计:

称 )()()(xPxfxRnn为余项. 称给出)(xRn的定量或定性描述的式

)()()(xRxPxfnn为函数)(xf的Taylor公式.

1. 误差的定量刻画( 整体性质 ) —— Taylor中值定理:

Th 1 设函数f满足条件:

ⅰ> 在闭区间],[ba上f有直到n阶连续导数;

ⅱ> 在开区间),(ba内f有1n阶导数.

则对),,( ),,(babax 使

nnaxnafaxafaxafafxf)(!)()(!2)())(()()()(2

1)1()()!1()(nnaxnfnkkkaxkaf0)()(!)(1)1()()!1()(nnaxnf.

证 [1]P138—139.

称这种形式的余项)(xRn为Lagrange型余项. 并称带有这种形式余项的Taylor公

式为具Lagrange型余项的Taylor公式. Lagrange型余项还可写为

,)()!1())(()(1)1(nnnaxnaxafxR ) 1 , 0(.

0a时, 称上述Taylor公式为Maclaurin公式, 此时余项常写为

,)()!1(1)(1)1(nnnxxfnxR 10.

2. 误差的定性描述( 局部性质 ) —— Peano型余项:

Th 2 若函数f在点a的某邻域)(a内具有1n阶导数, 且)()(afn存在, 则

nnaxnafaxafaxafafxf)(!)()(!2)())(()()()(2nax)(,

)(ax.