最常见的是变上限函数的积分,即∫f(t)dt(积分限a到x),根据映射的观点,每给一个x就积分出一个实数,因此这是关于x的一元函数,记为g(x)=∫f(t)dt(积分限a到x),注意积分变量用什么符号都不影响积分值,改用t是为了不与上限x混淆。
现在用导数定义求g'(x),根据定义,g'(x)=lim[∫f(t)dt-∫f(t)dt]/h(h趋于0,积分限前者为a到x+h,后者为a到x)=lim∫f(t)dt/h(积分限x到x+h,根据的是积分的区间可加性),根据积分中值定理,存在ξ属于(x,x+h),使得∫f(t)dt/h=f(ξ)h,又因为h趋于0时ξ是趋于x的,故极限=limf(ξ)h/h=f(x),至此证明了g'(x)=f(x)。