二、积分上限的函数及其导数三、牛顿–莱布尼兹公式一、引例第二节机动目录上页下页返回结束微积分的基本公式第五章一、引例在变速直线运动中,已知位置函数与速度函数之间有关系:)()(tvts物体在时间间隔内经过的路程为)()(d)(1221TsTsttvTT这种积分与原函数的关系在一定条件下具有普遍性机动目录上页下页返回结束?!()d()()bafxxFbFa()()Fxfx其中!机动目录上页下页返回结束二、积分上限函数及其导数()xafxdx()xaftdt()().xaxftdt积分上限函数设函数在上连续,[,]ax上连续,因此()fx[,]ab[,]ab上任意一点,()fx则是存在。)(xfyxbaoyx记x设是(变上限函数))(xfyxbaoy)(xxhx二、积分上限函数及其导数则变上限函数xattfxd)()(证:,],[,bahxx则有hxhx)()(h1xahxattfttfd)(d)(hxxttfhd)(1)(f()xxhhxhxh)()(lim0)(lim0fh)(xf)(x机动目录上页下页返回结束定理1.若[,],xab设[,]ab在上可导,..,()()iexfx说明:1)定理1证明了连续函数的原函数是存在的.2)变限积分求导:)(d)(ddxattfx)()]([xxf同时为通过原函数计算定积分开辟了道路.机动目录上页下页返回结束)()(d)(ddxxttfx)()]([)()]([xxfxxf)()(d)(d)(ddxaaxttfttfx()()()ftxx如果连续,可导,可导,则(()d)'()xafttfx机动目录上页下页返回结束2sin1xxdtdtdx21sincos21xxxx2sin1?xxdxdxdxsin0()xdxftdtdxsin0()xxftdtsin0((sin))cosxftdtfxxx)sin(2cosxex例1.求解:原式0limx00x2e21说明目录上页下页返回结束例2.确定常数a,b,c的值,使解:.0b原式=c≠0,故.1a又由~,得.21cttftxfxd)()(0例3.证明在内为单调递增函数.证:20d)(ttfxttfxfxxd)()(020d)(ttfxttfxfxd)()(0)(tx0只要证0)(xF机动目录上页下页返回结束20d)(ttfxxfx)()()(xf)0(x机动目录上页下页返回结束证0()2()1,xFxxftdt()2()0,Fxfx()1,fx(0)10,F10(1)1()Fftdt10[1()]ftdt0,令设在上连续,且。证明()fx[0,1]()1fx例02()1xxftdt在上只有一个根。[0,1]()[0,1]Fx在上连续,单调增加。[0,1]所以原方程在上只有一个根。三、牛顿–莱布尼兹公式)()(d)(aFbFxxfba(牛顿-莱布尼兹公式)机动目录上页下页返回结束证:根据定理1,故CxxfxFxad)()(因此)()(d)(aFxFxxfxa得记作定理2.函数,则(微积分基本公式)人物更多简介参见P77(SCU)牛顿(IsaacNewton,1642-1727),英国数学家,物理学家,微积分的奠基人。牛顿关于微积分学的最早公开表述是在1687年出版的巨著《自然哲学之数学原理》中。莱布尼兹(GottfridWilhelmLeibniz,1646-1716),德国数学家,微积分的另一奠基人。牛顿-莱布尼兹公式最早出现在莱布尼兹1677年的一篇手稿中。例4.计算解:xxxarctan1d31213)1arctan(3arctan3127例5.计算正弦曲线的面积.解:0dsinxxAxcos01[]12)4(机动目录上页下页返回结束yoxxysin机动目录上页下页返回结束例求20(2cossin1).xxdx原式202sincosxxx3.2解机动目录上页下页返回结束例求222max{,}.xxdx解由图形可知2()max{,}fxxx222001,12xxxxxx01222201xdxxdxxdx原式11.2xyo2xyxy122第三节目录上页下页返回结束例4.求cossin,04sincos,42xxxxxx解:/2/4|sincos|xx20|sincos|xxdx/4/20/4(cossin)(sincos)xxdxxxdx(sincos)xx/40(cossin)xx2(21)例6.汽车以每小时36km的速度行驶,速停车,解:设开始刹车时刻为则此时刻汽车速度)(10sm)(sm3600100036刹车后汽车减速行驶,其速度为当汽车停住时,即得故在这段时间内汽车所走的距离为20d)(ttvs20d)510(tt22510tt(m)1002刹车,问从开始刹到某处需要减设汽车以等加速度机动目录上页下页返回结束车到停车走了多少距离?内容小结,)()(,],[)(xfxFbaCxf且设则有2.微积分基本公式xxfbad)(积分中值定理))((abF)()(aFbF微分中值定理))((abf牛顿–莱布尼兹公式1.变限积分求导公式公式目录上页下页返回结束()d()|()()bbaafxxFxFbFa作业第三节目录上页下页返回结束习题册补充题解:1.设求定积分为常数,,d)(10axxf设bxxf20d)(,则故应用积分法定此常数.机动目录上页下页返回结束2.求解:的递推公式(n为正整数).由于,dsin)1(2sin201xxxnIn因此1nnII20d)12cos(2xxn20dsinsin)12cos(2xxxxn12)1(21nn1nnII所以其中机动目录上页下页返回结束