微积分基本定理是怎样推导出来的?

微积分基本定理推导过程：

原函数，导数和微分之间的关系：

从a到e是连续的，

F(x)是f(x)一个原函数，

从a到b增加了F'(x)*dx,从b到c增加了F'(x)*dx,

这时从a到c就增加了F'(x)*dx+F'(x)*dx，

以此类推，那么函数f(x)的积分就是原函数F(x)的

上限e对应的F(e)减去下限a对应的F(a)的线段长度

这个定理的推导比较复杂，牵扯到积分上限函数：Φ(x) = ∫f(t)dt（上限为自变量x，下限为常数a）。以下用∫f(x)dx<a,b>表示从a到b的定积分。
首先需要证明，若函数f(x)在[a,b]内可积分，则Φ(x)在此区间内为一连续函数。
证明：给x一任意增量Δx，当x+Δx在区间[a,b]内时，可以得到
Φ(x+Δx) = ∫f(t)dt<a,x+Δx> =