微积分基本公式1

1、定积分的计算二、积分上限函数及其导数一、问题的提出三、牛顿莱布尼茨公式主讲人：李源变速直线运动中位置函数与速度函数的联系变速直线运动中位置函数与速度函数的联系变速直线运动中路程为变速直线运动中路程为 21)(ttdttv 设某物体作直线运动，已知速度设某物体作直线运动，已知速度)(tvv 是时是时间间隔间间隔,21tt上上t的一个连续函数，且的一个连续函数，且0)( tv，求物体在这段时间内所经过的路程求物体在这段时间内所经过的路程.另一方面这段路程可表示为另一方面这段路程可表示为)()(12tsts 一、问题的提出).()()(1221tstsdttvtt ).()(tvts 其中其中 设函

2、数设函数)(xf在区间在区间,ba上连续，并且设上连续，并且设x为为,ba上的一点，上的一点， xadxxf)(考察定积分考察定积分 xadttf)(记记.)()( xadttfx积分上限函数积分上限函数 如如果果上上限限x在在区区间间,ba上上任任意意变变动动，则则对对于于每每一一个个取取定定的的x值值，定定积积分分有有一一个个对对应应值值，所所以以它它在在,ba上上定定义义了了一一个个函函数数，二、积分上限函数及其导数abxyo定定理理 如如果果)(xf在在,ba上上连连续续，则则积积分分上上限限的的函函数数dttfxxa )()(在在,ba上上具具有有导导数数，且且它它的的导导数数是是)

3、()()(xfdttfdxdxxa )(bxa 积分上限函数的性质积分上限函数的性质xx 证证dttfxxxxa )()()()(xxx dttfdttfxaxxa )()()(x x dttfdttfdttfxaxxxxa )()()(,)( xxxdttf由积分中值定理得由积分中值定理得xf )( ,xxx xx , 0),( fx )(limlim00 fxxx ).()(xfx abxyoxx )( x x 如如果果)(tf连连续续，)(xa、)(xb可可导导，则则dttfxfxbxa )()()()(的的导导数数)(xf 为为补充补充 )()()()(xaxafxbxbf 证证 dt

4、tfxfxaxb)()(0)()(0 dttfxb )(0)(,)()(0dttfxa )()()()()(xaxafxbxbfxf )()()()(xbxadttfdxdxf例例1 1 求求.lim21cos02xdtextx 解解 1cos2xtdtedxd,cos12 xtdtedxd)(cos2cos xex,sin2cos xex 21cos02limxdtextx xexxx2sinlim2cos0 .21e 00分析：分析：这是这是 型不定式，应用洛必达法则型不定式，应用洛必达法则.例例 2 2 设设)(xf在在),(内连续，且内连续，且0)( xf.证明函数证明函数 xxdtt

5、fdtttfxf00)()()(在在), 0( 内为单调增内为单调增加函数加函数.证证 xdtttfdxd0)(),(xxf xdttfdxd0)(),(xf 2000)()()()()()( xxxdttfdtttfxfdttfxxfxf ,)()()()()(200 xxdttfdttftxxfxf)0(, 0)( xxf, 0)(0 xdttf, 0)()( tftx, 0)()(0 xdttftx).0(0)( xxf故故)(xf在在), 0( 内内为为单单调调增增加加函函数数.例例 3 3 设设)(xf在在1 , 0上上连连续续，且且1)( xf.证证明明 1)(20 dttfxx在

6、在1 , 0上上只只有有一一个个解解.证证, 1)(2)(0 dttfxxfx, 0)(2)( xfxf, 1)( xf)(xf在在1 , 0上上为为单单调调增增加加函函数数., 01)0( f 10)(1)1(dttff 10)(1dttf, 0 所以所以0)( xf即原方程在即原方程在1 , 0上只有一个解上只有一个解.令令定理定理2 2（原函数存在定理）（原函数存在定理） 如果如果)(xf在在,ba上连续，则积分上限的函上连续，则积分上限的函数数dttfxxa )()(就是就是)(xf在在,ba上的一个上的一个原函数原函数. .定理的重要意义：定理的重要意义：（1）肯定了连续函数的原函数

7、是存在的）肯定了连续函数的原函数是存在的.（2）初步揭示了积分学中的定积分与原函数之）初步揭示了积分学中的定积分与原函数之间的联系间的联系.定理定理 3 3（微积分基本公式）（微积分基本公式）如如果果)(xf是是连连续续函函数数)(xf在在区区间间,ba上上的的一一个个原原函函数数，则则)()()(afbfdxxfba . .又又 dttfxxa )()(也也是是)(xf的的一一个个原原函函数数, 已知已知)(xf是是)(xf的一个原函数，的一个原函数，cxxf )()(,bax 证证三、牛顿莱布尼茨公式令令ax ,)()(caaf 0)()( dttfaaa,)(caf ),()()(afx

8、fdttfxa ,)()(cdttfxfxa 令令 bx).()()(afbfdxxfba 牛顿牛顿莱布尼茨公式莱布尼茨公式)()()(afbfdxxfba 微积分基本公式表明：微积分基本公式表明： baxf)( 一个连续函数在区间一个连续函数在区间,ba上的定积分等于上的定积分等于它的任意一个原函数在区间它的任意一个原函数在区间,ba上的增量上的增量.注意注意当当ba 时，时，)()()(afbfdxxfba 仍成立仍成立.求定积分问题转化为求原函数的问题求定积分问题转化为求原函数的问题.例例4 4 求求 .)1sincos2(20 dxxx原式原式 20cossin2 xxx .23 例例

9、5 5 设设 , 求求 . 215102)(xxxxf 20)(dxxf解解解解 102120)()()(dxxfdxxfdxxf在在2 , 1上上规规定定当当1 x时时，5)( xf, 102152dxxdx原式原式. 6 xyo12例例6 6 求求 .,max222 dxxx解解由图形可知由图形可知,max)(2xxxf ,21100222 xxxxxx 21210022dxxxdxdxx原式原式.211 xyo2xy xy 122 例例7 7 求求 解解.112dxx 当当0 x时时，x1的的一一个个原原函函数数是是|ln x,dxx 121 12|ln x. 2ln2ln1ln 例例 8 8 计计算算曲曲线线xysin 在在, 0 上上与与x轴轴所所围围 成成的的平平面面图图形形的的面面积积.解解 面积面积xyo 0sin xdxa 0