定积分第一节定积分的概念与性质abxyoA?曲边梯形由连续曲线yf(x)(f(x)0)、x轴与两条直线xa、xb所围成.实例1(求曲边梯形的面积)一、问题的提出yf(x)abxyxoabyo用矩形面积近似取代曲边梯形面积显然,小矩形越多,矩形总面积越接近曲边梯形面积.(四个小矩形)(九个小矩形)曲边梯形如图所示,在区间[a,b]内插入若干个分点,ax0x1x2xn1xnb,oaxi1ixixn1bxyx1把区间[a,b]分成n个小区间[xi1,xi],长度为xixixi1;在每个小区间[xi1,xi]上任取一点,i以[xi1,xi]为底,f(i)为高的小矩形面积为Aif(i)xinAf(i)xii1当分割无限加细,记小区间的最大长度或者(x)xmax{x1,x2,xn}趋近于零(x0或者0)时,曲边梯形面积的近似值为曲边梯形面积为Alimf(i)xin0i1实例2(求变速直线运动的路程)设某物体作直线运动,已知速度vv(t)是时间间隔[T1,T2]上t的一个连续函数,且v(t)0,求物体在这段时间内所经过的路程思路:把整段时间分割成若干小段,每小段上速度看作不变,求出各小段的路程再相加,便得到路程的近似值,最后通过对时间的无限细分过程求得路程的精确值.(1)分割T1t0t1t2tn1tnT2tititi1siv(i)ti部分路程值某时刻的速度(2)求和nsv(i)tii1max{t1,t2,,tn}(3)取极限slimv(i)tin0i1路程的精确值定义设函数f(x)在[a,b]上有界,在[a,b]中任意插入记xmax{x1,x2,,xn},如果不论对[a,b]若干个分点axxxxxb012n1n把区间[a,b]分成n个小区间,各小区间的长度依次为xixixi1,(i1,2,),在各小区间上任取一点i(ixi),作乘积f(i)xin并作和Sf(i)xi,i1(i1,2,)二、定积分的定义怎样的分法,也不论在小区间[xi1,xi]上a积分下限f(x)dxIlimf(i)xibn0i1被积函数被积表达式积分变量[a,b]积分区间点i怎样的取法,只要当x0时,和S总趋于确定的极限I,我们称这个极限I为函数f(x)在区间[a,b]上的定积分,记为积分上限积分和注意:(1)积分值仅与被积函数及积分区间有关,而与积分变量的字母无关.abbf(x)dxaf(t)dtaf(u)dub(2)定义中区间的分法和i的取法是任意的.(3)当函数f(x)在区间[a,b]上的定积分存在时,称f(x)在区间[a,b]上可积.当函数f(x)在区间[a,b]上连续时,称f(x)在区间[a,b]上可积.定理1定理2设函数f(x)在区间[a,b]上有界,且只有有限个第一类的间断点,则f(x)在区间[a,b]上可积.三、存在定理f(x)0,af(x)dxAb曲边梯形的面积f(x)0,af(x)dxA曲边梯形的面积的负值bA1A2A3A4A4A2A3f(x)dxA1ba四、定积分的几何意义几何意义:它是介于x轴、函数f(x)的图形及两条直线xa,xb之间的各部分面积的代数和在x轴上方的面积取正号;在x轴下方的面积取负号.例1利用定义计算定积分xdx.102解将[0,1]n等分,分点为xi,(i1,2,,n)ni小区间[xi1,xi]的长度xi取ixi,(i1,2,,n),(i1,2,,n)n1nf(i)xii1ixii1n2xx,i12iinni1n2i1ni2n3i1n161n(n1)(2n1)n31,12116nnx0nxdx102xiin0i1lim2nlim111211.nn63五、定积分的性质证a[f(x)g(x)]dxnblim[f(i)g(i)]xi0i1limf(i)xilimg(i)xinn0i10i1af(x)dxag(x)dx.(此性质可以推广到有限多个函数作和的情况)bbbbb性质1a[f(x)g(x)]dxaf(x)dxag(x)dx.akf(x)dxkaf(x)dxk(bb为常数).证akf(x)dxlimkf(i)xibn0i1limkf(i)xinni10klimf(i)xi0i1kaf(x)dx.b性质2abcbf(x)dxaf(x)dxcf(x)dx.补充:不论a,b,c的相对位置如何,上式总成立.例若a则abc,cf(x)dxaf(x)dxbf(x)dxcbabf(x)dxaf(x)dxbf(x)dxcccbaf(x)dxcf(x)dx.(定积分对于积分区间具有可加性)性质3假设acb性质41dxbadxba.ba则af(x)dx0.b(ab)证f(x)0,f(i)0,(i1,2,,n)xi0,nf(i)xi0,i1max{x1,x2,,xn}iin0i1f()xlimf(x)dx0.ba性质5如果在区间[a,b]上f(x)0,例1比较积分值edx和x20xdx的大小.20解令f(x)exx,x[2,0]f(x)0,(exx)dx0,02edxx20xdx,02于是edxx20xdx.20可以直接作出答案性质5的推论:(1)如果在区间[a,b]上f(x)g(x),证f(x)g(x),g(x)f(x)0,a[g(x)f(x)]dx0,ag(x)dxaf(x)dx0,bbb于是f(x)dxbbag(x)dx.a则f(x)dxg(x)dx.(ab)bbaaf(x)dxf(x)dx.(ab)baab证f(x)f(x)f(x),f(x)dx,f(x)dxf(x)dxbabbaa即f(x)dxf(x)dx.baab说明:|f(x)|在区间[a,b]上的可积性是显然的.性质5的推论:(2)设M及m分别是函数证amf(x)M,amdxaf(x)dxaMdx,bbbm(ba)f(x)dxM(ba).ba(此性质可用于估计积分值的大致范围)曲边梯形的面积夹在两个矩形之间则m(ba)f(x)dxM(ba).bf(x)在区间[a,b]上的最大值及最小值,性质6解f(x),sinxxx2x2f(x)xcosxsinxcosx(xtanx)0x[,]42f(x)在[,]上单调下降,42故x为极大点,x为极小点,42例2不计算定积分估计的大小dxxsinx242424Mf()22,mf()2,42ba,2442sinxdx22,4412sinxdx2.x2x证性质7(Th5.1定积分第一中值定理)如果函数f(x)在闭区间[a,b]上连续,则在积分区间[a,b]上至少存在一个点,f(x)dxMbamba1m(ba)f(x)dxM(ba)ba由闭区间上连续函数的介值定理知使af(x)dxf()(ba).(ab)积分中值公式b在区间[a,b]上至少存在一个点,使f(x)dx,1f()babaf(x)dxf()(ba).ba(ab)积分中值公式的几何解释:在区间[a,b]上至少存在一xoab个点,使得以区间[a,b]为即yf()以曲线yf(x)底边,为曲边的曲边梯形的面积等于同一底边而高为f()的一个矩形的面积。Th5.2(推广的积分第一中值定理)如果函数f(x),g(x)在闭区间[a,b]上连续,且g(x)在闭区间[a,b]上可积且不变号,则在积分区间[a,b]上至少存在一个点,使f(x)g(x)dxf()g(x)dx当g(x)1时,即为Th5.1bbaa六、积分上限函数及其导数设函数f(x)在区间[a,b]上连续,并且设x为[a,b]上的一点,考察定积分axxf(x)dxaf(t)dt记(x)af(t)dt.x积分上限函数如果上限x在区间[a,b]上任意变动,则对于每一个取定的x值,定积分有一个对应值,所以它在[a,b]上定义了一个函数,axxbxyf(t)dto定理1如果f(x)在[a,b]上连续,则积分上限的函数(x)f(t)dt在[a,b]上具有导数,且它的导xa数是f(t)dtf(x)(axb)(x)dxdxa证(xx)xxa(xx)(x)af(t)dtaf(t)dtxxx(x)x(x)af(t)dt.xxxxbf(t)dtf(t)dtf(t)dtxaxxxxaxf(t)dt,xx由积分中值定理得f()xx0,xf(),xlimlimf()x0x0x(x)f(x).o[x,xx],axy(x)计算下列导数t2etttcosxxxdtdxdxdedtdxdedtd111222(3)(2)(1)补充如果f(t)连续,a(x)、b(x)可导,则F(x)f(t)dt的导数F(x)为b(x)a(x)证F(x)f(t)dta(x)b(x)00f(t)dt0b(x)0f(t)dt,a(x)F(x)fb(x)b(x)fa(x)a(x)f(t)dtfb(x)b(x)fa(x)a(x)F(x)dxb(x)a(x)d例1求limx0.21cosx2xedtt解etd1cosx2dtdxdt,cosxt21edxd(cosx)cos2xe,sinxecos2xx21cosxlimx02dtet2x2sinxecosxlimx0.12e00分析:这是型不定式,应用洛必达法则.定理2(原函数存在定理)如果f(x)在[a,b]上连续,则积分上限的函数(x)原函数.f(t)dt就是f(x)在[a,b]上的一个xa定理的重要意义:(1)肯定了连续函数的原函数是存在的.(2)初步揭示了积分学中的定积分与原函数之间的联系.定理3(微积分基本公式)如果F(x)是连续函数f(x)在区间[a,b]上b的一个原函数,则f(x)dxF(b)F(a).a又(x)f(t)dt也是f(x)的一个原函数,xa已知F(x)是f(x)的一个原函数,F(x)(x)Cx[a,b]证七牛顿—莱布尼茨公式令xaF(a)(a)C,(a)af(t)dt0aF(a)C,f(t)dtF(x)F(a),xaF(x)f(t)dtC,xa令xbf(x)dxF(b)F(a).ba牛顿—莱布尼茨公式f(x)dxF(b)F(a)F(x)ba微积分基本公式表明:一个连续函数在区间[a,b]上的定积分等于它的任意一个原函数在区间[a,b]上的增量.求定积分问题转化为求原函数的问题.ba注意当ab时,f(x)dxF(b)F(a)仍成立.ba例4求2(2cosxsinx1)dx.0原式202sinxcosxx3.2f(x