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

定理的第一部分，称为微积分第一基本定理，此定理表明：給定任一連續函數，可以（利用積分）構造出該函數的反導函數。這一部分定理的重要之處在於它保證了連續函數的反導函數的存在性。

定理的第二部分，称为微积分第二基本定理或牛顿-莱布尼茨公式，表明某函數的定积分可以用該函數的任意一個反導函數来计算。这一部分是微積分或數學分析中相當關鍵且應用很廣的一個定理，因为它大大简化了定积分的计算。

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

對微积分基本定理比較直觀的理解是：把函數在一段區間的「无穷小变化」全部「加起來」，會等于该函數的净变化，這裡「無窮小變化」就是微分，「加起來」就是積分，淨變化就是該函數在區間兩端點的差。

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

整理，得

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

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

正式表述 
微積分基本定理有兩部分，第一部分是定積分的微分，第二部分是原函数和定積分之間的關聯。

第一部分 / 第一基本定理
設 ，於  黎曼可積分，定義函數  如下：

則

  於閉區間  連續
 若  於  連續，則

第二部分 / 第二基本定理 

若兩函數  滿足：
  （即  是  的一个原函數）
  於  黎曼可積分
則有：

可簡記為

證明

第一部分 
(1) 於  連續

因為  為黎曼可積，所以  有界 (否則會有矛盾) ，也就是存在  使
 (對所有的 )

根據黎曼積分的定義，若取  則

那這樣，如果取  且  ，則

那根據函數極限的定義，可以得到
 

故得証。 

(2)若  於  連續，則

 於  連續意為：對所有  ，都存在  使得所有的  定義域裡的  只要滿足  就有 

而根據黎曼積分的定義可以知道，若對黎曼可積分的  有  ，則

這樣考慮上述連續定義    的部分會有

類似的，  的部分會有
 

那同樣根據函數極限的定義，就有
 

即為所求。

第二部分 
设在区间上连续，并设为的原函数。我们从以下表达式开始

设有数

使得 

 

可得

我们加上及其相反数，这样等式仍成立：

以上表达式可用以下的和表示：

我们将使用均值定理。就是：

设在闭区间连续，在开区间可导，则开区间内一定存在使得

可得

函数在区间可导，所以在每一个区间也是可导和连续的。因此，根据均值定理，

把上式代入(1)，得

根据第一部分的结论，我们有。另外，可表示为第个小区间的。

注意到我们正在描述矩形的面积（长度乘以宽度），并把这些面积相加起来。每一个矩形都描述了一部分曲线的估计。同时也注意到，并不需要对于任何都是相同的，换句话说，矩形的长度可以变化。我们要做的，是要用个矩形来近似代替曲线。现在，当增加而每一个矩形越来越小时，它的面积就越来越接近曲线的真实面积。

当矩形的宽度趋近于零时取极限，便得出黎曼积分。也就是说，我们取最宽的矩形趋于零，而矩形的数目趋于无穷大时的极限。

所以，我们把(2)式的两边取极限，得

和都不依赖于，所以左面的极限仍然是。

右边的表达式定义了从到的积分。这样，我们有

证明完毕。

例子 

计算以下积分：

在这里，，是一个原函数。因此：

推广 
我们不需要假设在整个区间是连续的。这样定理的第一部分便说明：如果是区间内的任何一个勒贝格可积的函数，是内的一个数，使得在连续，则

在是可导的，且。我们可以把的条件进一步降低，假设它仅仅是可积的。这种情况下，我们便得出结论：几乎处处可导，且几乎处处等于。这有时称为勒贝格微分定理。

定理的第一部分对于任何具有原函数的勒贝格可积函数都是正确的（不是所有可积的函数都有原函数）。

泰勒定理中把误差项表示成一个积分的形式，可以视为微积分基本定理的一个推广。

对于复数函数，也有一个类似的形式：假设是的一个开集，是一个在处具有全纯原函数的函数。那么对于所有曲线，曲线积分可以用下式来计算：

微积分基本定理可以推广到多维空间的曲线和曲面积分，也可以推广到流形。 

这个方向上的一个有力的表述是斯托克斯定理：设为一个可定向分段光滑维流形，并设为阶上的C1类紧支撑微分形式。如果表示M的边界，并以的方向诱导的方向为边界的方向，则

这里是外导数，它仅仅用流形的结构来定义。斯托克斯定理将德拉姆上同调和奇异链的同调联系起来。

參見 
 極限
 微分
 积分

注解

参考文献 
 Larson, Ron, Bruce H. Edwards, David E. Heyd. Calculus of a single variable. 7th ed. Boston: Houghton Mifflin Company, 2002.
 Leithold, L. (1996). The calculus 7 of a single variable. 6th ed. New York: HarperCollins College Publishers.
 Malet, A, Studies on James Gregorie (1638-1675) (PhD Thesis, Princeton, 1989).
 Stewart, J. (2003). Fundamental Theorem of Calculus. In Integrals. In Calculus: early transcendentals. Belmont, California: Thomson/Brooks/Cole.
 Turnbull, H W (ed.), The James Gregory Tercentenary Memorial Volume (London, 1939)

包含证明的条目
微積分定理
实分析定理