牛顿-莱布尼茨公式是根据变限积分推出来的，当然了如果按照牛顿-莱布尼茨公式来证明变限积分是很容易的事情
如果函数f(x)在区间[a，b]上连续，则积分上限的函数
在[a,b]上可导，则它的导数为
下面给出推论及证明（下面的dΦ(x)都改成dx）
