数学分析解析章节稿跟作业703-704-中科大数学系资料.docVIP

PAGE PAGE 136 §7.3 微积分的基本定理 定理7.6若函数在有限闭区间上可积,则定义在上的函数(通常称为的变上限的积分)必满足Lipschitz条件,因而是连续函数. 证: 记.,有 , 故 .□ 定理7.7 若函数在有限闭区间上可积,在处连续,则定义在上的函数在处可导,并且. 证明: ,使得当时成立,故当时成立 , 即 .□ 定理7.8(微积分的基本定理) 若函数在区间上连续,固定,则定义在上的函数是的原函数. 证: 由定理7.7.□ 定理7.9(微积分基本定理的另一形式) 若是区间上的可导函数,并且的变上限的积分存在,固定,则都成立 . 证: 由定理7.1的推广.□ 注记 通常也将Newton-Leibniz公式称为微积分的基本定理.微积分的基本定理表明: 一、区间上的连续函数一定有原函数,并且原函数之一就是变上限的积分；二、区间上的可导函数可以通过其导函数的变上限的积分来表示(假定导函数的变上限的积分存在). 命题 若是区间上的连续函数,是区间上的可导函数,满足,则定义在上的函数是可导函数,并且 . 证: 固定,记,则 , 故 .□ 例 设函数在上连续可导(意思是),,并且.求证: . 证: 令,则 .再令,则 .注意到,便知.再注意到,便知,因