9.5微积分学基本定理定积分的计算（续）.docVIP

§5 微积分学基本定理 定积分的计算（续） 一 变限积分与原函数的存在性 设在上可积，则对，在上也可积，于是，由 ， 定义了一个以积分上限为自变量的函数，称为变上限的定积分。（也叫做面积函数）类似地，可定义变下限的定积分： ， 和统称为变限积分。 说明：由于 ，因此，只要讨论变上限积分即可。 定理9.9 若在上可积，则在上连续。 证明： 利用连续函数的定义及定积分的性质即可证得。 定理9.10 （原函数存在定理） 若函数在上连续，则在上处处可导，且，。 证明：利用导数的定义及定积分的性质即可得。 说明：此定理即：当时, 面积函数可导且在点的导数恰为被积函数在上限的值. 亦即 是的一个原函数 . 此定理沟通了导数与定积分之间的关系；同时也证明了连续函数必有原函数这一结论，并以积分的形式给出了的一个原函数。因此，该定理也称之为微积分学基本定理。且得用它可以给出牛顿-莱布尼茨公式的另一证明。 推论 连续函数必有原函数. 补例1 设 但. 证明0. ( 与§4 例2证法对照.) 证明分析: 证明 . 设, 只要证明.为此证明: ⅰ ↗ ( 只要),ⅱ 但不是常值函数 (只要), ⅲ 又. 补例2 证明 ( 利用[0,1]上的不等式 ) 注：关于变限积分与原函数的存在性问题在习题课进一步讨论. 定理9.11 （积分第二