高中数学选修系列2选修22《微积分学基本定理定积分计算》教案

§5 微积分学基本定理•定积分计算（续）

教学目的：熟练掌握微积分学基本定理及定积分的换元与分部积分法。 重点难点：重点为微积分基本定理,难点为泰勒公式的积分型余项。 教学方法：讲练结合。

本节要在定积分形式下证明连续函数必定存在原函数. 一 变限积分与原函数的存在性

设f 在[]b a ,上可积，根据定积分的性质4，对任何[]b a x ,∈，f 在[]x a ,上也可积.于是，由 ()(),dt t f x x

a

⎰=

Φ[]b a x ,∈ （1）

定义了一个以积分上限为自变量的函数，称为变上限的定积分.类似可定义变下限的定积分： ()(),dt t f x b

x

⎰=

ψ[]b a x ,∈. （2）

Φ与ψ统称为变限积分.注意，在变限积分（1）与（2）中，不可再把积分变量x 写成

()dx x f x

a

⎰，以免与积分上、下限的x 相混淆.

变限积分所定义的函数有着重要的性质．由于()(),dt t f dt t f b

x

b

x

⎰⎰

-=因此下面只讨论变

上限积分的情形．

定理9．9 若f 在[]b a ,上可积，则由(1)式所定义的函数Φ在[]b a ,上连续． 证 对[]b a ,上任一确定的点x ，只要[]b a x x ,∈∆+，按定义式(1)有

()()().dt t f dt t f dt t f x

x x

x a

x

x a

⎰

⎰⎰

∆+∆+=-=∆Φ

因f 在[]b a ,上有界，可设()[]b a t M t f ,,∈≤．于是，当0>∆x 时有

()();x M dt t f dt t f x

x x

x

x x

∆≤≤=

∆Φ⎰

⎰

∆+∆+

当0<∆x 时则有x M ∆≤∆Φ．由此得到

,0lim 0

=∆Φ→∆x

即证得Φ在点x 连续．由x 的任意性，Φ在[]b a ,上处处连续． 口

定理9．10 (原函数存在定理) 若f 在[]b a ,上连续，则由(1)式所定义的函数Φ在[]

b a ,上处处可导，且()()()[].,,b a x x f dt t f dx d x x

a

∈==

Φ'⎰ （3） 证 对[]b a ,上任一确定的x ，当0≠∆x 且[]b a x x ,∈∆+时，按定义式（1）和积分第一中值定理，有

()().

10,1≤≤∆+=∆=∆∆Φ⎰∆+θθx x f dt t f x

x x

x x 由于f 在点x 连续，故有

()()().lim lim

0x f x x f x x x x =∆+=∆∆Φ

=Φ'→∆→∆θ

由x 在[]b a ,上的任意性，证得Φ是f 在[]b a ,上的一个原函数． 口

本定理沟通了导数和定积分这两个从表面看去似不相干的概念之间的内在联系；同时也证明了“连续函数必有原函数”这一基本结论，并以积分形式给出了f 的一个原函数．正因为定理9．10的重要作用而被誉为微积分学基本定理．

此外，又因f 的任意两个原函数只能相差一个常数，所以当f 为连续函数时，它的任一原函数F 必满足 ()().C dt t f x F x

a

+=

⎰

若在此式中令a x =，得到()a F C =，从而有

()).()(a F x F dt t f x

a

-=⎰再令b x =,有

()).()(a F x F dt t f b

a

-=⎰

这是牛顿-莱布尼茨公式的又一证明.

定理9．11(积分第二中值定理) 设函数f 在[]b a ,上可积. (ⅰ)若函数g 在[]b a ,上减,且()0≥x g ,则存在[]b a ,∈ξ,使

()()()()dx x f a g dx x g x f a

b a

⎰⎰=ξ

(ⅱ)若函数g 在[]b a ,上增,且()0≥x g ,则存在[]b a ,∈η,使

()()()()dx x f b g dx x g x f b

b

a

⎰⎰

=η

推论设函数f 在[]b a ,上可积,若函数g 为单调函数,则存在[]b a ,∈ξ,使

()()=⎰

dx x g x f b

a

()()()()dx x f b g x f a g b

a

⎰⎰+ξ

ξ

积分第二中值定理以及它的推论是今后建立反常积分收敛判别法的工具．

二 换元积分法与分部积分法

定理9．12 (定积分换元积分法) 若函数f 在[]b a ,上连续，ϕ在[]βα,上连续可微，且满足 ()()()[]βαϕϕϕ,,,,∈≤≤==t b t a b b a a ，

则有定积分换元公式：

()()()()dt t t f dx x f b a

ϕϕβ

α'=⎰⎰ （9）

证 由于(9)式两边的被积函数都是连续函数，因此它们的原函数都存在．设F 是f 在

[]b a ,上的一个原函数，由复合函数微分法

()()()()()()()()t t f t t F t F dt

d

ϕϕϕϕϕ'=''= 可见()()t F ϕ是()()()t t f ϕϕ'的一个原函数．根据牛顿一莱布尼茨公式，证得

()()()()()()()a F F dt t t f ϕβϕϕϕβ

α-='⎰

()()()dx x f a F b F b

a ⎰=-=

从以上证明看到，在用换元法计算定积分时，一旦得到了用新变量表示的原函数后，不必作变量还原，而只要用新的积分限代人并求其差值就可以了．这就是定积分换元积分法与不定积分换元积分法的区别，这一区别的原因在于不定积分所求的是被积函数的原函数，理应保留与原来相同的自变量；而定积分的计算结果是一个确定的数，如果(9)式一边的定积分计算出来了，那么另一边的定积分自然也求得了.

注 如果在定理9．12的条件中只假定f 为可积函数，但还要求ϕ是单调的，那么（9）式仍然成立.（本节习题第14题）

例 计算

.11

2dx x ⎰

-

解 令t x sin =，当t 由0变到

2π时，x 由0增到1，故取[].2,0,⎥⎦

⎤

⎢⎣⎡=πβα应用公式(9)，并注意到在第一象限中0cos ≥t ，则有

tdt tdt t dx x ⎰⎰⎰

=-=-20

220

2

1

2

cos cos sin 11π

π

()2

0202sin 21212cos 121π

π

⎪⎭⎫ ⎝⎛+=+=⎰t t dt t .4

π

=

例2 计算

⎰

2

2.cos sin π

tdt t

解 逆向使用公式(9)，令,sin ,cos tdt dx t x -==当t 由0变到2

π

时，x 由1减到0，则有

.3

1

cos sin 10220

0122⎰⎰

⎰==-=dx x dx x tdt t π