式，表明某函数的定积分可以用该函数的任意一个反导函数来计算。这一部分是微积分或数学分析中相当关键且应用很广的一个定理，因为它大大简化了定积分的计算。该定理的一个特殊形式，首先由詹姆斯·格里高利（1638-1675）证明和出版。定理的一般形式，则由艾萨克·巴罗完成证明。 对微积分基本定理比较直观的理解是：把函数在一段区间的「无穷小变化」全部「加起来」，会等于该函数的净变化，这里「无穷小变化」就是微分，「加起来」就是积分，净变化就是该函数在区间两端点的差。我们从一个例子开始。假设有一个物体在直线上运