在区间上连续, , 考虑如下定积分

由于定积分与积分变量的记法无关, 但是积分上限却是被决定的定值,所以

这个定积分是一个关于的函数, 对于给定的, 定积分的值也是一个确切的数

这个积分上限函数的导数就是