变限积分的导数计算

牛顿-莱布尼茨公式是根据变限积分推出来的，当然了如果按照牛顿-莱布尼茨公式来证明变限积分是很容易的事情

如果函数f(x)在区间[a，b]上连续，则积分上限的函数

在[a,b]上可导，则它的导数为

下面给出推论及证明（下面的dΦ(x)都改成dx）