xa a
x
( x a) f ( x) f (t)dt
证 F ( x)
a
(x a)2
x
只要证明 ( x a) f ( x) f (t)dt 0 即可. a
令 g( x) ( x a) f ( x)
x
f (t)dt ,
a
则 g( x) f ( x) ( x a) f ( x) f ( x)
原函数.
该定理告诉我们, 连续函数一定有原函数.
6
变限积分函数的求导:
d x f (t)dt f ( x) ,
dx a
d
b
f (t)dt
d
x f (t)dt f ( x) ,
dx x
dx b
设(x) 在[a, b]上可导,则
d
(x)
f (t)dt f [( x)]( x) .
dx a
证 设 Φ( x) x f (t)dt ,则 (x) f (t)dt Φ[( x)],
a
a
所以
d
(x)
f (t)dt Φ[ ( x)] ( x) f [( x)]( x) .
dx a
7
更一般地,设 ( x) , ( x) 在[a, b] 上可导,则
d (x)
f (t)dt
dx ( x)
§6.3 微积分基本定理
用定义求定积分实际上是行不通 的,下面介绍计算定积分的方法
原函数存在定理 牛顿-莱布尼茨公式
1
原函数存在定理
定理6.3 设函数f ( x)在[a, b]上连续, 则变上限积分
x
Φ( x) a f (t)dt
在[a, b]上可导, 且
Φ( x) d
x