如果
F是一个连续函数
[A.,B]然后
∫A.BF(x)Dx=F(B)−F(A.),
哪里
F是的反导数
F,即。
F′=F.
□
我们从微积分的第一个基本定理知道,如果
s(x)=∫A.xF(T)DT然后
s是的反导数
F或
s′(x)=F(x). 自从
F′(x)=F(x),
s′(x)=F′(x).
结合双方在
x,我们有
s(x)=∫A.xF(T)DT=F(x)+C,(1.)
哪里
C这是一个常数。
现在,插上电源
x=A.在这个等式中,我们有
s(A.)=∫A.A.F(T)DT=F(A.)+C.
根据定义,
s(A.)=∫A.A.F(T)DT=0,因此
F(A.)+C⇒C=0=−F(A.).
插入
C=−F(A.)回到等式中
(1.),我们有
s(x)=∫A.xF(T)DT=F(x)−F(A.).
最后,设置
x=B,我们有
s(B)=∫A.BF(T)DT⇒∫A.BF(x)Dx=F(B)−F(A.)=F(B)−F(A.).□
我们也可以用黎曼和的概念来证明上述定理。
我们从微积分的第一个基本定理知道,如果
s(x)=∫A.xF(T)DT然后
s是的反导数
F或
s′(x)=F(x). 所以我们知道
F(x)=F′(x). 考虑分区
P={A.=x0<x1.<x2.<⋯<xN=B}. 有了这个分区作为参考,我们可以编写
F(B)−F(A.)=我=0∑N−1.[F(x我+1.)−F(x我)].
这是证据中更简洁的部分。
∀我=0,1.,2.,…,N−1.∃T我∈(x我,x我+1.)以致
F(x我+1.)−F(x我)=F′(T我)(x我+1.−x我)=F(T我)(x我+1.−x我)这是中值定理的直接含义,现在我们得到的是
F(B)−F(A.)=我=0∑N−1.F(T我)(x我+1.−x我);T我∈(x我,x我+1.).
表达式的右边是黎曼和,它最终会收敛为定积分作为划分
P变得越来越精细:
F(B)−F(A.)=∫A.BF(T)DT.□
这个定理把通过求和的极限来求定积分的困难问题转化为求反导数的简单问题。例如,如果我们被要求计算积分
∫A.BF(x)Dx,我们找到了
F(x)计算它们在积分的每个端点的值,最后将它们相互减去。
估计
∫01.x2.Dx.
根据微积分的基本定理,我们有
∫01.x2.Dx=F(1.)−F(0),
哪里
F(x)是的反导数
x2..不定积分
x2.给予
∫x2.Dx=3.1.x3.+C,
哪里
C是积分的常数。
因此,我们有
F(1.)−F(0)=(3.1.×1.3.+C)−(3.1.×0+C)=3.1..□
观察积分常数
C可以忽略,因为无论其值如何,都要将其消除。
找到曲线下的区域
Y=x3.+1.从…起
x=−1.到
x=1..
自从
x3.+1.≥0间隔时间
[−1.,1.],曲线下的面积
Y=x3.+1.从…起
x=−1.到
x=1.等于
∫−1.1.(x3.+1.)Dx.自从
4.1.x4.+x是的反导数
x3.+1.,曲线下的面积为
∫−1.1.(x3.+1.)Dx=[4.1.x4.+x]−1.1.=(4.1.⋅1.4.+1.)−(4.1.⋅(−1.)4.+(−1.))=4.5.−(−4.3.)=2..□
估计
∫−3.2.(2.x2.−3.x+4.)Dx.
自从
∫(2.x2.−3.x+4.)Dx=3.2.x3.−2.3.x2.+4.x+C,我们有
∫−3.2.(2.x2.−3.x+4.)Dx=[3.2.x3.−2.3.x2.+4.x]−3.2.=(3.2.⋅2.3.−2.3.⋅2.2.+4.⋅2.)−(3.2.⋅(−3.)3.−2.3.⋅(−3.)2.+4.⋅(−3.))=6.3.05..□
估计
∫4.9x
Dx.
我们有
∫4.9x
Dx=∫4.9x2.1.Dx=[3.2.x2.3.]4.9=3.2.⋅92.3.−3.2.⋅4.2.3.=3.3.8..□
伊姆古尔
上图中阴影区域的面积是多少?
我们需要找到曲线下的面积
Y=x1.从…起
x=2.1.到
x=2.5..自从
∫x1.Dx=自然对数x+C,曲线下的面积等于
∫2.1.2.5.x1.Dx=[自然对数x]2.1.2.5.=自然对数2.5.−自然对数2.1.=自然对数5..□
估计
∫−4.π0秒x棕褐色的xDx.
我们知道
DxD秒x=秒x棕褐色的x.
因此,积分是
∫−4.π0秒x棕褐色的xDx=[秒x]−4.π0=秒0−秒(4.−π)=1.−2.
.□
估计
∫−2.π6.5.π罪xDx.
我们有
∫−2.π6.5.π罪xDx=[−余弦x]−2.π6.5.π=2.3.
.□
找到曲线下的区域
Y=2.x−x2.从…起
x=1.到
x=2..
自从
2.x−x2.≥0间隔时间
[1.,2.],曲线下的面积
Y=2.x−x2.从…起
x=1.到
x=2.等于
∫1.2.(2.x−x2.)Dx.自从
x2.−3.1.x3.是的反导数
2.x−x2.,
∫1.2.(2.x−x2.)Dx=[x2.−3.1.x3.]1.2.=(2.2.−3.1.⋅2.3.)−(1.2.−3.1.⋅1.3.)=3.2..□