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

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

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

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

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

:\frac{dx}{dt} = v(t).

整理，得

:dx = v(t)\,dt.

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

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

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

第一部分 / 第一基本定理
設 a,b \in \mathbb{R}，f:[a,b] \to \mathbb{R}於 [a,b] 黎曼可積分，定義函數 F:[a,b] \to \mathbb{R} 如下：
:F(x) = \int_a^x\!f(t)\, dt
則

F 於閉區間 [a,b] 連續

若 f 於 c \in [a,\,b] 連續，則F'(c)=f(c)

第二部分 / 第二基本定理
若兩函數 f,F:[a,b] \mapsto \mathbb{R} 滿足：

• [\forall x \in (a,b)][F'(x) = f(x)] （即 F 是 f 的一个原函數）
• f 於 [a,b] 黎曼可積

則有：
: \int_a^b \, f(t) \, dt \, = F(b)-F(a)

可簡記為
: \int_a^b \, f(t) \, dt \, = F(x)\bigg|_{a}^{b}

證明
第一部分
(1)F 於 [a,b] 連續

因為 f 為黎曼可積，所以 f 有界 (否則會有矛盾) ，也就是存在 M>0 使
: |f(x)|\leq M (對所有的 x \in [a,\,b])

根據黎曼積分的定義，若取 x,\, c \in [a,\,b] 則
: |F(x)-F(c)|=\left|\int^x_c f(t)\,dt\right|\leq M|x-c|

那這樣，如果取 \delta = \frac{\epsilon}{M} 且 0 ，則
: |F(x)-F(c)|

那根據函數極限的定義，可以得到
: \lim_{x\to c}F(x)=F(c)

故得証。 \Box

(2)若 f 於 c \in [a,\,b] 連續，則F'(c)=f(c)

f 於 c 連續意為：對所有 \epsilon > 0 ，都存在 \delta > 0 使得所有的 f 定義域裡的 x 只要滿足 0 就有 |f(x)-f(c)|

而根據黎曼積分的定義可以知道，若對黎曼可積分的 g: [r,\,s]\to\mathbb{R} 有 (\forall x\in [r,\,s])[\,|g(x)|\leq M\,] ，則
: \int^s_r g(t)\,dt\leq\int^s_r |g(t)|\,dt\leq M(s-r)

這樣考慮上述連續定義 0 的部分會有
: \left|\frac{F(x)-F(c)}{x-c}-f(c)\right|=\left|\frac{1}{x-c}\left[\int^{x}_{c}f(t)-f(c)\,dt\right]\right|

類似的， 0 的部分會有
: \left|\frac{F(x)-F(c)}{x-c}-f(c)\right|=\left|\frac{1}{c-x}\left[\int^{c}_{x}f(t)-f(c)\,dt\right]\right|

那同樣根據函數極限的定義，就有
: F^{\prime}(c) = \lim_{x\to c}\frac{F(x)-F(c)}{x-c}=f(c)

即為所求。 \Box

第二部分
设f在区间[a,b]上连续，并设F为f的原函数。我们从以下表达式开始
:F(b) - F(a)\,.

设有数

:x_0,\ldots,x_n

使得

:a = x_0

可得
:F(b) - F(a) = F(x_n) - F(x_0) \,.

我们加上F(x_i)及其相反数，这样等式仍成立：
:\begin{matrix} F(b) - F(a) & = & F(x_n)\,+\,[-F(x_{n-1})\,+\,F(x_{n-1})]\,+\,\ldots\,+\,[-F(x_1) + F(x_1)]\,-\,F(x_0) \, \\
& = & [F(x_n)\,-\,F(x_{n-1})]\,+\,[F(x_{n-1})\,+\,\ldots\,-\,F(x_1)]\,+\,[F(x_1)\,-\,F(x_0)] \,. \end{matrix}

以上表达式可用以下的和表示：
:F(b) - F(a) = \sum_{i=1}^n \,[F(x_i) - F(x_{i-1})]\,. \qquad (1)

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

设F在闭区间[a,b]连续，在开区间(a,b)可导，则开区间(a,b)内一定存在c使得
:F'(c) = \frac{F(b) - F(a)}{b - a}\,.

可得
:F'(c)(b - a) = F(b) - F(a). \,

函数F在区间[a,b]可导，所以在每一个区间x_{i-1}也是可导和连续的。因此，根据均值定理，
:F(x_i) - F(x_{i-1}) = F'(c_i)(x_i - x_{i-1}) \,.

把上式代入(1)，得
:F(b) - F(a) = \sum_{i=1}^n \,[F'(c_i)(x_i - x_{i-1})]\,.

根据第一部分的结论，我们有F'(c_i) = f(c_i)。另外，x_i - x_{i-1}可表示为第i个小区间的\Delta x。

:F(b) - F(a) = \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,. \qquad (2)

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

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

所以，我们把(2)式的两边取极限，得
:\lim_{\| \Delta \| \to 0} F(b) - F(a) = \lim_{\| \Delta \| \to 0} \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,.

F(b)和F(a)都不依赖于\begin{Vmatrix} \Delta \end{Vmatrix}，所以左面的极限仍然是F(b)-F(a)。
:F(b) - F(a) = \lim_{\| \Delta \| \to 0} \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,.

右边的表达式定义了f从a到b的积分。这样，我们有
:F(b) - F(a) = \int_{a}^{b} f(x)\,dx\,,
证明完毕。

例子
:
\begin{align}
\frac{d}{dx} \int_a^{\sin x} e^t\, dt \\
&= \frac{d}{dx} F(\sin x) \\
&= F'(\sin x) \cos x\\
&= e^{\sin x} \cos x\\
\end{align}

计算以下积分：
:\int_2^5 x^2\, dx.
在这里，f(x) = x^2，F(x) = {x^3\over 3} 是一个原函数。因此：
:\int_2^5 x^2\, dx = F(5) - F(2) = {5^3 \over 3} - {2^3 \over 3}=39

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

:F(x) = \int_a^x f(t)\, dt

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

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

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

对于复数函数，也有一个类似的形式：假设U是\mathbb{C}的一个开集，f:U\rightarrow \mathbb{C}是一个在U处具有全纯原函数F的函数。那么对于所有曲线\gamma:[a,b]\rightarrow U，曲线积分可以用下式来计算：

:\int_{\gamma} f(z) \,dz = F(\gamma(b)) - F(\gamma(a))\,.

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

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

:\int_M \mathrm{d}\omega = \oint_{\partial M} \omega\,.

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

參見

• 極限
• 微分
• 积分

注解
参考文献

• 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)