微积分基本定理描述了微积分的两个主要运算──微分和积分之间的关系。定理的第一部分，称为微积分第一基本定理，表明不定积分是微分的逆运算。这一部分定理的重要之处在于它保证了某连续函数的原函数的存在性。

微积分基本定理描述了微积分的两个主要运算──微分和积分之间的关系。

定理的第一部分，称为微积分第一基本定理，表明不定积分是微分的逆运算。这一部分定理的重要之处在于它保证了某连续函数的原函数的存在性。

定理的第二部分，称为微积分第二基本定理或“牛顿-莱布尼茨公式”，表明定积分可以用无穷多个原函数的任意一个来计算。这一部分有很多实际应用，这是因为它大大简化了定积分的计算。

该定理的一个特殊形式，首先由詹姆斯·格里高利（1638-1675）证明和出版。定理的一般形式，则由艾萨克·巴罗完成证明。

微积分基本定理表明，一个变量在一段时间之内的无穷小变化之和，等于该变量的净变化。

我们从一个例子开始。假设有一个物体在直线上运动，其位置为x(t)，其中t为时间，x(t)意味着x是t的函数。这个函数的导数等于位置的无穷小变化dx除以时间的无穷小变化dt（当然，该导数本身也与时间有关）。我们把速度定义为位置的变化除以时间的变化。用莱布尼兹记法：

整理，得

根据以上的推理，x的变化── ，是 的无穷小变化之和。它也等于导数和时间的无穷小乘积之和。这个无穷的和，就是积分；所以，一个函数求导之后再积分，得到的就是原来的函数。我们可以合理地推断，这个运算反过来也成立，积分之后再求导，得到的也是原来的函数。

詹姆斯·格里高利首先发表了该定理基本形式的几何证明，艾萨克·巴罗证明了该定理的一般形式。巴罗的学生牛顿使微积分的相关理论得以完善。莱布尼茨使得相关理论实现体系化并引入了沿用至今微积分符号。