1第二节微积分基本定理用定义求定积分实际上是行不通的,下面介绍计算定积分的新方法.定理1设函数)(xf在],[ba上连续,则变上限积分xattfxΦd)()(],[bax在],[ba上可导,且,)(d)(dd)(xfttfxxΦxa一、原函数存在定理2证,),(baxxxΦxxΦxΦx)()(lim)(0.)(d)(dd)(xfttfxxΦxaxttfttfxaxxaxd)(d)(lim0,d)(lim0xttfxxxxxttfttfttfxaxxxxaxd)(d)(d)(lim0,),(,baxxx使得取3abxyoxx)(xx,d)(lim)(0xttfxΦxxxx由积分中值定理得之间与在xxx,时0x,)(lim0fx.)()(xfxΦ,)(lim)(0xxfxΦx而)(xf在],[ba上连续,,x4,),(bax证.)()(xfxΦ,ax若,),(,0baxxa取同上可证;)()(afaΦ,bx若,),(,0baxxb取同上可证.)()(bfbΦ证毕。)(d)(dd)(xfttfxxΦxa5原函数存在定理如果)(xf在],[ba上连续,则变上限积分函数该定理告诉我们,连续函数一定有原函数.)(d)(dd)(xfttfxxΦxattfxΦxad)()(就是)(xf在],[ba上的一个原函数.6,)(d)(ddxfttfxxabxttfxd)(dd)(d)(ddxattfx.)()]([xxf变限积分函数的求导:xbttfxd)(dd,)(xf设)(x在],[ba上可导,则,设xattfxΦd)()(证,则)]([d)(xΦttfxa)(d)(ddxattfx所以)()]([xxΦ.)()]([xxf7更一般地,设)(x,)(x在],[ba上可导,则)()(d)(ddxxttfx.)()]([)()]([xxfxxf由)()(d)(xxttf)()(d)(d)(xaxattfttf即可得结论。82d)(ddxattfx.2)(2xxf例1求下列变限积分函数的导数.,dsin)(1xttxf;sin)(xxf,d1)(22xttxf;1)(2xxf32d)(ddxxttfx.2)(3)(223xxfxxf,de)(sin12xttxf;cose)(2sinxxfx9设)(xf为连续函数,,d)()(ln1xxttfxF则)(xF.)1(1)(ln12xfxxfx例2)(lnxf)1(x)1(xf)1(2x10例3求下列极限.2021d)(arctanlim)1(xttxx分析:这是型未定式,应用洛必达法则.221)(arctanlimxxxx原式.42解11例3求下列极限.xxttxxsindcoslim)2(202000分析:这是型未定式,20202dcoslimxttxx原式.1解等价无穷小替换xxxx2cos2lim4040coslimxx12例3求下列极限.21cos0delim)3(2xtxtx...