微积分基本定理 微积分基本定理（）描述了微积分的两个主要运算──微分和积分之间的关系。 定理的第一部分，称为微积分第一基本定理，此定理表明：给定任一连续函数，可以（利用积分）构造出该函数的反导函数。这一部分定理的重要之处在于它保证了连续函数的反导函数的存在性。 定理的第二部分，称为微积分第二基本定理或牛顿-莱布尼茨公式，表明某函数的定积分可以用该函数的任意一个反导函数来计算。这一部分是微积分或数学分析中相当关键且应用很广的一个定理，因为它大大简化了定积分的计算。 该定理的一个特殊形式，首先由詹姆斯·格里高利（1638-1675）证明和出版。定理的一般形式，则由艾萨克·巴罗完成证明。 对微积分基本定理比较直观的理解是：把函数在一段区间的「无穷小变化」全部「加起来」，会等于该函数的净变化，这里「无穷小变化」就是微分，「加起来」就是积分，净变化就是该函数在区间两端点的差。 我们从一个例子开始。假设有一个物体在直线上运动，其位置为formula_1，其中formula_2为时间，formula_1意味着formula_4是"formula_2"的函数。这个函数的导数等于位置的无穷小变化formula_6除以时间的无穷小变化formula_7（当然，该导数本身也与时间有关）。我们把速度定义为位置的变化除以时间的变化。用莱布尼兹记法： formula_8 整理，得 formula_9 根据以上的推理，formula_4的变化──formula_11，是formula_6的无穷小变化之和。它也等于导数和时间的无穷小乘积之和。这个无穷的和，就是积分；所以，一个函数求导之后再积分，得到的就是原来的函数。我们可以合理地推断，这个运算反过来也成立，积分之后再求导，得到的也是原来的函数。 历史. 詹姆斯·格里高利首先发表了该定理基本形式的几何证明，艾萨克·巴罗证明了该定理的一般形式。巴罗的学生艾萨克·牛顿完善了微积分的相关理论。莱布尼茨使得相关理论实现体系化并引入了沿用至今的微积分符号。 正式表述. 微积分基本定理有两部分，第一部分是定积分的微分，第二部分是原函数和定积分之间的关联。 第一部分 / 第一基本定理. 设 formula_13，formula_14于 formula_15 黎曼可积分，定义函数 "formula_16" 如下： formula_17 则 第二部分 / 第二基本定理. 若两函数 formula_23 满足： 则有： formula_29 可简记为 formula_30 证明. 第一部分. (1)"formula_18" 于 formula_15 连续 因为 formula_20 为黎曼可积，所以 formula_20 有界 (否则会有矛盾) ，也就是存在 formula_35 使 formula_36 (对所有的 formula_37) 根据黎曼积分的定义，若取 formula_38 则 formula_39 那这样，如果取 formula_40 且 formula_41 ，则 formula_42 那根据函数极限的定义，可以得到 formula_43 故得证。 "formula_44" (2)若 "formula_20" 于 "formula_21" 连续，则formula_22 "formula_20" 于 "formula_49" 连续意为：对所有 "formula_50" ，都存在 "formula_51" 使得所有的 "formula_20" 定义域里的 formula_4 只要满足 formula_54 就有 formula_55 而根据黎曼积分的定义可以知道，若对黎曼可积分的 "formula_56" 有 "formula_57" ，则 formula_58 这样考虑上述连续定义 formula_59 的部分会有 formula_60 类似的， formula_61 的部分会有 formula_62 那同样根据函数极限的定义，就有 formula_63 即为所求。 "formula_44" 第二部分. 设formula_20在区间formula_15上连续，并设formula_18为formula_20的原函数。我们从以下表达式开始 formula_69 设有数 formula_70 使得 formula_71 可得 formula_72 我们加上formula_73及其相反数，这样等式仍成立： formula_74 以上表达式可用以下的和表示： formula_75 我们将使用均值定理。就是： 设"formula_18"在闭区间formula_15连续，在开区间formula_78可导，则开区间formula_78内一定存在formula_49使得 formula_81 可得 formula_82 函数"formula_18"在区间formula_15可导，所以在每一个区间formula_85也是可导和连续的。因此，根据均值定理， formula_86 把上式代入(1)，得 formula_87 根据第一部分的结论，我们有formula_88。另外，formula_89可表示为第formula_90个小区间的formula_11。 formula_92 注意到我们正在描述矩形的面积（长度乘以宽度），并把这些面积相加起来。每一个矩形都描述了一部分曲线的估计。同时也注意到，formula_93并不需要对于任何formula_90都是相同的，换句话说，矩形的长度可以变化。我们要做的，是要用formula_95个矩形来近似代替曲线。现在，当formula_95增加而每一个矩形越来越小时，它的面积就越来越接近曲线的真实面积。 当矩形的宽度趋近于零时取极限，便得出黎曼积分。也就是说，我们取最宽的矩形趋于零，而矩形的数目趋于无穷大时的极限。 所以，我们把(2)式的两边取极限，得 formula_97 formula_98和formula_99都不依赖于formula_100，所以左面的极限仍然是formula_101。 formula_102 右边的表达式定义了formula_20从formula_104到formula_105的积分。这样，我们有 formula_106 证明完毕。 formula_107 例子. 计算以下积分： formula_108 在这里，formula_109，formula_110是一个原函数。因此： formula_111 推广. 我们不需要假设formula_20在整个区间是连续的。这样定理的第一部分便说明：如果formula_20是区间formula_15内的任何一个勒贝格可积的函数，formula_115是formula_15内的一个数，使得formula_20在formula_115连续，则 formula_119 在formula_120是可导的，且formula_121。我们可以把"formula_20"的条件进一步降低，假设它仅仅是可积的。这种情况下，我们便得出结论：formula_18几乎处处可导，且formula_124几乎处处等于formula_125。这有时称为勒贝格微分定理。 定理的第一部分对于任何具有原函数formula_18的勒贝格可积函数"formula_20"都是正确的（不是所有可积的函数都有原函数）。 泰勒定理中把误差项表示成一个积分的形式，可以视为微积分基本定理的一个推广。 对于复数函数，也有一个类似的形式：假设formula_128是formula_129的一个开集，formula_130是一个在"formula_128"处具有全纯原函数"formula_18"的函数。那么对于所有曲线formula_133，曲线积分可以用下式来计算： formula_134 微积分基本定理可以推广到多维空间的曲线和曲面积分，也可以推广到流形。 这个方向上的一个有力的表述是斯托克斯定理：设formula_135为一个可定向分段光滑formula_95维流形，并设formula_137为formula_138阶"formula_135"上的C1类紧支撑微分形式。如果formula_140表示"Mformula_135"的边界，并以"formula_135"的方向诱导的方向为边界的方向，则 formula_143 这里formula_144是外导数，它仅仅用流形的结构来定义。斯托克斯定理将德拉姆上同调和奇异链的同调联系起来。