从实例看微分与积分的联系
到目前为止,我们已详细介绍了微分与积分(这里专指定积分)
的基本概念,但还不曾涉及微分与积分之间的任何联系。事实上,揭示微分与积分之间的内在联系是需要许多预备知识的。现在这些预备知识已经基本具备,可以为这两个重要的概念建立桥梁了。
§ 3 微积分基本定理先来看一个颇具启发性的例子。在引入 定积分定义时我们已经知道,以速度 vt()作变速运动的物体,在时间段 [,]TT
12
中所走过的路程 S 可以表示为定积分
2
1
0
1
lim ( ) ( )d
n
T
ii
T
i
Svtvt
λ
ξ
→
=
=Δ=
∑
∫
,
但是这个和式的极限一般来说是很难求的。
让我们换一个角度考虑问题:设物体在时间段 [,]0 t 所走过的路程为 St(),那么它在时间段 [,]TT
12
所走过的路程可以表示为
SST ST=?() ()
21
,
于是就有
2
1
()d
T
T
vt t
∫
=?ST ST() ()
21
。
注意到 vt S t() ()= ′,或者说 St()是 vt()的一个原函数,于是上式说明了,
vt()在区间 [,]TT
12
上的积分值可以用它的一个原函数在区间的两个端点处的函数值之差来表示。
微积分基本定理 ── Newton-Leibniz 公式
设 fx()在区间 [,]ab上可积,由定积分的区间可加性,可知对任意
xab∈[,],积分 ()d
x
a
f tt
∫
存在。当 x在 [,]ab中变化时,()d
x
a
f tt
∫
的值也随之而变化,所以它是定义在 [,]ab上的关于 x的函数。这个函数具有如下的重要性质,
定理 7.3.1 设 fx()在 [,]ab上可积,作函数
() ()d,[,]
x
a
F x f ttx ab=∈
∫
,
则
⑴ Fx()是 [,]ab上的连续函数 ;
⑵ 若 fx()在 [,]ab上连续,则 Fx()在 [,]ab上可微,且有
′ =Fx fx() ()。
微积分基本定理 ── Newton-Leibniz 公式
设 fx()在区间 [,]ab上可积,由定积分的区间可加性,可知对任意
xab∈[,],积分 ()d
x
a
f tt
∫
存在。当 x在 [,]ab中变化时,()d
x
a
f tt
∫
的值也随之而变化,所以它是定义在 [,]ab上的关于 x的函数。这个函数具有如下的重要性质,
证 由定积分的区间可加性,
( ) ( ) ()d ()d ()d
xx x xx
aax
F x x Fx ft t ft t ft t
+Δ +Δ
+Δ? =? =
∫∫∫
。
记 m,M 分别为 fx()在 [,]ab上的最小值和最大值,由积分第一中值定理,得到
Fx x Fx()()+?Δ
Δ+Δ?
∈Δ?
=
。上连续在若之间与在
,上可积在若
],[)(),()(
],[)(),],[(
baxfxxxxf
baxfMmx
ξξ
ηη
显然,不管在哪一种情况下,当 Δx → 0时都有 Fx x Fx()()+? →Δ 0,
即 Fx()在 [,]ab上连续。
若 fx()在 [,]ab连续,当 Δx → 0时有 xξ →,因而 () ()f fxξ →,于是
00
()()
() lim lim () ()
xx
Fx x Fx
F xf
x
ξ
Δ→ Δ→
+Δ?
′
===
Δ
。
注 定理7.3.1具有非常重要的意义。
首先,它扩展了函数的形式。 ()d
x
a
f tt
∫
与我们所熟悉的初等函数 形式迥异,但它确实是一种函数的表示形式,它使我们对函数的认识冲出了初等函数的束缚,不再囿于这狭窄的范围。
其次,它说明了当 fx()在 [,]ab上连续时,()d
x
a
f tt
∫
正是 fx()在 [,]ab
上的一个原函数,这就是我们在第六章§ 3 所断言的:任何连续函 数必存在原函数。如
sin
d
x
a
t
t
t
∫
是
sin x
x
的一个原函数,
2
ed
x
t
a
t
∫
是 e
x
2
的 一个原函数,等等。
另外它还给出了对 ()d
x
a
f tt
∫
这种形式的函数求导(通常称为“对 积分上限求导,)的一个法则:
( )
()d ( )
x
a
f tt fx
′
=
∫
。
例 7.3.1 计算
2
0
() sin d
x
F xtt=
∫
的导数。
解 记 ux=
2
,则
0
() () sin d
u
F xGu tt==
∫
,
由复合函数求导法则,
2
0
dd
() () () sin d 2 2sin
u
ux
F xGuux tt xxx
uu
=
′′
=?=?=
∫
。
例 7.3.2 求极限
2
0
3
0
sin d
lim
x
x
tt
x
→
∫
。
解 由于 ()d 0
a
a
fx x=
∫
,因此这个极限是
0
0
待定型。 由 L'Hospital 法则,
2
0
3
0
sin d
lim
x
x
tt
x
→
∫
2
0
3
0
sin d
lim
()
x
x
tt
x
→
′
=
′
∫
=
→
lim
sin
x
xx
x
0
2
2
3
=
2
3
。
例 7.3.1 计算
2
0
() sin d
x
F xtt=
∫
的导数。
解 记 ux=
2
,则
0
() () sin d
u
F xGu tt==
∫
,
由复合函数求导法则,
2
0
dd
() () () sin d 2 2sin
u
ux
F xGuux tt xxx
uu
=
′′
=?=?=
∫
。
定理 7.3.1 最重要的应用就是可以导出微积分学中最为重要的结论——微积分基本定理。
定理7.3.2 (微积分基本定理) 设 fx()在 [,]ab上连续,Fx()是 fx()
在 [,]ab上的一个原函数,则成立
()d () ()
b
a
f xxFb Fa=?
∫
。
证 设 Fx()是 fx()在 [,]ab上的任一个原函数,而由定理 7.3.1,
()d
x
a
f tt
∫
也是 fx()在 [,]ab上的一个原函数,因而两者至多相差一个常数。
记
()d ( )
x
a
f ttFxC= +
∫
,
令 x a=,即得到 CFa=? (),所以
()d ( ) ( )
x
a
f ttFx Fa=?
∫
。
再令 x b=,便得到
()d ()d () ()
bb
aa
f xx fttFbFa==?
∫∫
。
定理 7.3.1 最重要的应用就是可以导出微积分学中最为重要的结论——微积分基本定理。
定理7.3.2 (微积分基本定理) 设 fx()在 [,]ab上连续,Fx()是 fx()
在 [,]ab上的一个原函数,则成立
()d () ()
b
a
f xxFb Fa=?
∫
。
定理的结论被称为“Newton-Leibniz 公式”,公式中的 Fb Fa() ()?
一般记为
b
a
xF )(,也就是
()d ()
b
b
a
a
f xxFx=
∫
。
Newton-Leibniz 公式将“求曲线的切线斜率”和“求曲线所围面积”这两件看上去风马牛不相及的事和谐地统一起来,是高等数学乃至整个数学领域中最优美的结论之一。它以非常简单的形式,深刻地揭示了微分与积分的联系,同时还“指点迷津”,给出了利用原函数
(即不定积分)便捷地计算定积分的途径。
例 7.3.3 计算
1
2
0
dx x
∫
。
解 由
23
1
d
3
x xxC= +
∫
,取 Fx()为
1
3
3
x,由 Newton-Leibniz 公式,
1
2
0
dx x
∫
3
1
0
3
1
3
1
1
0
3
=?== x 。
这正是我们在本章§1 中用无限求和的办法求出的那个曲边三角形的面积。
例 7.3.4 求
π
0
sin dx x
∫
。
解 因为- cos x是 sin x的一个原函数,所以,
π
0
sin dx x
∫
π
0
(cos) cosπ cos 0 2x=?=?+=。
例7.3.4说明 yx= sin 的一拱的面积恰为整数 2,可算是一个出人意料的有趣结果。
例 7.3.3 计算
1
2
0
dx x
∫
。
解 由
23
1
d
3
x xxC= +
∫
,取 Fx()为
1
3
3
x,由 Newton-Leibniz 公式,
1
2
0
dx x
∫
3
1
0
3
1
3
1
1
0
3
=?== x 。
这正是我们在本章§1 中用无限求和的办法求出的那个曲边三角形的面积。
例 7.3.5 计算极限
++
+
+
+
∞→
nnn
n
2
1
2
1
1
1
lim " 。
解 将和式改写成
1
1
1
2
1
2nn n+
+
+
++ "
+
++
+
+
+
=
n
n
nn
n 1
1
1
1
1
11
21
到目前为止,我们已详细介绍了微分与积分(这里专指定积分)
的基本概念,但还不曾涉及微分与积分之间的任何联系。事实上,揭示微分与积分之间的内在联系是需要许多预备知识的。现在这些预备知识已经基本具备,可以为这两个重要的概念建立桥梁了。
§ 3 微积分基本定理先来看一个颇具启发性的例子。在引入 定积分定义时我们已经知道,以速度 vt()作变速运动的物体,在时间段 [,]TT
12
中所走过的路程 S 可以表示为定积分
2
1
0
1
lim ( ) ( )d
n
T
ii
T
i
Svtvt
λ
ξ
→
=
=Δ=
∑
∫
,
但是这个和式的极限一般来说是很难求的。
让我们换一个角度考虑问题:设物体在时间段 [,]0 t 所走过的路程为 St(),那么它在时间段 [,]TT
12
所走过的路程可以表示为
SST ST=?() ()
21
,
于是就有
2
1
()d
T
T
vt t
∫
=?ST ST() ()
21
。
注意到 vt S t() ()= ′,或者说 St()是 vt()的一个原函数,于是上式说明了,
vt()在区间 [,]TT
12
上的积分值可以用它的一个原函数在区间的两个端点处的函数值之差来表示。
微积分基本定理 ── Newton-Leibniz 公式
设 fx()在区间 [,]ab上可积,由定积分的区间可加性,可知对任意
xab∈[,],积分 ()d
x
a
f tt
∫
存在。当 x在 [,]ab中变化时,()d
x
a
f tt
∫
的值也随之而变化,所以它是定义在 [,]ab上的关于 x的函数。这个函数具有如下的重要性质,
定理 7.3.1 设 fx()在 [,]ab上可积,作函数
() ()d,[,]
x
a
F x f ttx ab=∈
∫
,
则
⑴ Fx()是 [,]ab上的连续函数 ;
⑵ 若 fx()在 [,]ab上连续,则 Fx()在 [,]ab上可微,且有
′ =Fx fx() ()。
微积分基本定理 ── Newton-Leibniz 公式
设 fx()在区间 [,]ab上可积,由定积分的区间可加性,可知对任意
xab∈[,],积分 ()d
x
a
f tt
∫
存在。当 x在 [,]ab中变化时,()d
x
a
f tt
∫
的值也随之而变化,所以它是定义在 [,]ab上的关于 x的函数。这个函数具有如下的重要性质,
证 由定积分的区间可加性,
( ) ( ) ()d ()d ()d
xx x xx
aax
F x x Fx ft t ft t ft t
+Δ +Δ
+Δ? =? =
∫∫∫
。
记 m,M 分别为 fx()在 [,]ab上的最小值和最大值,由积分第一中值定理,得到
Fx x Fx()()+?Δ
Δ+Δ?
∈Δ?
=
。上连续在若之间与在
,上可积在若
],[)(),()(
],[)(),],[(
baxfxxxxf
baxfMmx
ξξ
ηη
显然,不管在哪一种情况下,当 Δx → 0时都有 Fx x Fx()()+? →Δ 0,
即 Fx()在 [,]ab上连续。
若 fx()在 [,]ab连续,当 Δx → 0时有 xξ →,因而 () ()f fxξ →,于是
00
()()
() lim lim () ()
xx
Fx x Fx
F xf
x
ξ
Δ→ Δ→
+Δ?
′
===
Δ
。
注 定理7.3.1具有非常重要的意义。
首先,它扩展了函数的形式。 ()d
x
a
f tt
∫
与我们所熟悉的初等函数 形式迥异,但它确实是一种函数的表示形式,它使我们对函数的认识冲出了初等函数的束缚,不再囿于这狭窄的范围。
其次,它说明了当 fx()在 [,]ab上连续时,()d
x
a
f tt
∫
正是 fx()在 [,]ab
上的一个原函数,这就是我们在第六章§ 3 所断言的:任何连续函 数必存在原函数。如
sin
d
x
a
t
t
t
∫
是
sin x
x
的一个原函数,
2
ed
x
t
a
t
∫
是 e
x
2
的 一个原函数,等等。
另外它还给出了对 ()d
x
a
f tt
∫
这种形式的函数求导(通常称为“对 积分上限求导,)的一个法则:
( )
()d ( )
x
a
f tt fx
′
=
∫
。
例 7.3.1 计算
2
0
() sin d
x
F xtt=
∫
的导数。
解 记 ux=
2
,则
0
() () sin d
u
F xGu tt==
∫
,
由复合函数求导法则,
2
0
dd
() () () sin d 2 2sin
u
ux
F xGuux tt xxx
uu
=
′′
=?=?=
∫
。
例 7.3.2 求极限
2
0
3
0
sin d
lim
x
x
tt
x
→
∫
。
解 由于 ()d 0
a
a
fx x=
∫
,因此这个极限是
0
0
待定型。 由 L'Hospital 法则,
2
0
3
0
sin d
lim
x
x
tt
x
→
∫
2
0
3
0
sin d
lim
()
x
x
tt
x
→
′
=
′
∫
=
→
lim
sin
x
xx
x
0
2
2
3
=
2
3
。
例 7.3.1 计算
2
0
() sin d
x
F xtt=
∫
的导数。
解 记 ux=
2
,则
0
() () sin d
u
F xGu tt==
∫
,
由复合函数求导法则,
2
0
dd
() () () sin d 2 2sin
u
ux
F xGuux tt xxx
uu
=
′′
=?=?=
∫
。
定理 7.3.1 最重要的应用就是可以导出微积分学中最为重要的结论——微积分基本定理。
定理7.3.2 (微积分基本定理) 设 fx()在 [,]ab上连续,Fx()是 fx()
在 [,]ab上的一个原函数,则成立
()d () ()
b
a
f xxFb Fa=?
∫
。
证 设 Fx()是 fx()在 [,]ab上的任一个原函数,而由定理 7.3.1,
()d
x
a
f tt
∫
也是 fx()在 [,]ab上的一个原函数,因而两者至多相差一个常数。
记
()d ( )
x
a
f ttFxC= +
∫
,
令 x a=,即得到 CFa=? (),所以
()d ( ) ( )
x
a
f ttFx Fa=?
∫
。
再令 x b=,便得到
()d ()d () ()
bb
aa
f xx fttFbFa==?
∫∫
。
定理 7.3.1 最重要的应用就是可以导出微积分学中最为重要的结论——微积分基本定理。
定理7.3.2 (微积分基本定理) 设 fx()在 [,]ab上连续,Fx()是 fx()
在 [,]ab上的一个原函数,则成立
()d () ()
b
a
f xxFb Fa=?
∫
。
定理的结论被称为“Newton-Leibniz 公式”,公式中的 Fb Fa() ()?
一般记为
b
a
xF )(,也就是
()d ()
b
b
a
a
f xxFx=
∫
。
Newton-Leibniz 公式将“求曲线的切线斜率”和“求曲线所围面积”这两件看上去风马牛不相及的事和谐地统一起来,是高等数学乃至整个数学领域中最优美的结论之一。它以非常简单的形式,深刻地揭示了微分与积分的联系,同时还“指点迷津”,给出了利用原函数
(即不定积分)便捷地计算定积分的途径。
例 7.3.3 计算
1
2
0
dx x
∫
。
解 由
23
1
d
3
x xxC= +
∫
,取 Fx()为
1
3
3
x,由 Newton-Leibniz 公式,
1
2
0
dx x
∫
3
1
0
3
1
3
1
1
0
3
=?== x 。
这正是我们在本章§1 中用无限求和的办法求出的那个曲边三角形的面积。
例 7.3.4 求
π
0
sin dx x
∫
。
解 因为- cos x是 sin x的一个原函数,所以,
π
0
sin dx x
∫
π
0
(cos) cosπ cos 0 2x=?=?+=。
例7.3.4说明 yx= sin 的一拱的面积恰为整数 2,可算是一个出人意料的有趣结果。
例 7.3.3 计算
1
2
0
dx x
∫
。
解 由
23
1
d
3
x xxC= +
∫
,取 Fx()为
1
3
3
x,由 Newton-Leibniz 公式,
1
2
0
dx x
∫
3
1
0
3
1
3
1
1
0
3
=?== x 。
这正是我们在本章§1 中用无限求和的办法求出的那个曲边三角形的面积。
例 7.3.5 计算极限
++
+
+
+
∞→
nnn
n
2
1
2
1
1
1
lim " 。
解 将和式改写成
1
1
1
2
1
2nn n+
+
+
++ "
+
++
+
+
+
=
n
n
nn
n 1
1
1
1
1
11
21