微積分基本定理描述了微積分的兩個主要運算微分和積分之間的關係。 定理的第一部分，稱為微積分第一基本定理，此定理表明：給定任一連續函式，可以（利用積分）構造出該函式的反導函式。這一部分定理的重要之處在於它保證了連續函式的反導函式的存在性。 定理的第二部分，稱為微積分第二基本定理或牛頓 萊布尼茨公式，表明某函式的定積分可以用該函式的任意一個反導函式來計算。這一部分是微積分或數學分析中相當關鍵且應用很廣的一個定理，因為它大大簡化了定積分的計算。 更加確切地，該定理涉及了可變上限和任意選擇的下限的定積分。這類特殊的定積分允許我們計算函式的無窮多個原函式之一（除了那些沒有零點的原函式）因此，它幾乎跟不定積分是等價的，大部分作者把它定義為產生任何一個可能的原函式的運算，包括沒有零點的原函式。 該定理的一個特殊形式，首先由詹姆斯格里高利（16381675）證明和出版。See eg Marlow Anderson Victor J Katz Robin J Wilson Sherlock Holmes in Babylon and Other Tales of Mathematical History Mathematical Association of America 2004 p 114 定理的一般形式，則由艾薩克巴羅完成證明。 對微積分基本定理比較直觀的理解是：把函式在一段區間的「無窮小變化」全部「加起來」，會等於該函式的淨變化，這裡「無窮小變化」就是微分，「加起來」就是積分，淨變化就是該函式在區間兩端點的差。 我們從一個例子開始。假設有一個物體在直線上運動，其位置為 x t，其中 t 為時間，x t 意味著 x 是 t 的函式。這個函式的導數等於位置的無窮小變化 dx 除以時間的無窮小變化 dt（當然，該導數本身也與時間有關）。我們把速度定義為位置的變化除以時間的變化。用萊布尼茲記法： frac dxdt v t 整理，得 dx v tdt 根據以上的推理，x 的變化Delta x，是 dx 的無窮小變化之和。它也等於導數和時間的無窮小乘積之和。這個無窮的和，就是積分；所以，一個函式求導之後再積分，得到的就是原來的函式。我們可以合理地推斷，這個運算反過來也成立，積分之後再求導，得到的也是原來的函式。 歷史 詹姆斯格里高利首先發表了該定理基本形式的幾何證明 See eg Marlow Anderson Victor J Katz Robin J Wilson Sherlock Holmes in Babylon and Other Tales of Mathematical History Mathematical Association of America 2004 p 114 ，艾薩克巴羅證明了該定理的一般形式。巴羅的學生艾薩克牛頓完善了微積分的相關理論。萊布尼茨使得相關理論實現體系化並引入了沿用至今的微積分符號。 正式表述 微積分基本定理有兩部分，第一部分是定積分的微分，第二部分是原函式和定積分之間的關聯。 第一部分 第一基本定理 設 ab in mathbb R，fab to mathbb R 於 ab 黎曼可積分，定義函式 Fab to mathbb R 如下： F x int_axf t dt 則 F 於閉區間 ab 連續 若 f 於 c in ab 連續，則 Fcf c 第二部分 第二基本定理 若兩函式 fFab mapsto mathbb R 滿足： forall x in abFx f x （即 F 是 f 的一個原函式） f 於 ab 黎曼可積分 則有： int_ab f t dt F bF a 可簡記為 int_ab f t dt F xbigg_ab 證明 第一部分 1 F 於 ab 連續 因為 f 為黎曼可積，所以 f 有界 否則會有矛盾 ，也就是存在 M0 使 f xleq M 對所有的 x in ab 根據黎曼積分的定義，若取 x c in ab 則 F xF cleftintx_c f tdtrightleq Mxc 那這樣，如果取 delta frac epsilonM 且 0xcdelta ，則 F xF cepsilon 那根據函式極限的定義，可以得到 lim_xto c F xF c 故得証。 Box 2 若 f 於 c in ab 連續，則 Fcf c f 於 c 連續意為：對所有 epsilon 0 ，都存在 delta 0 使得所有的 f 定義域裡的 x 只要滿足 0 xc delta 就有 f xf c epsilon 而根據黎曼積分的定義可以知道，若對黎曼可積分的 g rstomathbb R 有 forall xin rsg xleq M ，則 ints_r g tdtleqints_r g tdtleq M sr 這樣考慮上述連續定義 0 xc delta 的部分會有 leftfrac F xF cxcf crightleftfrac 1xcleft intx_c f tf cdtrightrightleftfrac epsilon xcxcrightepsilon 類似的， 0 cx delta 的部分會有 leftfrac F xF cxcf crightleftfrac 1cxleft intc_x f tf cdtrightrightleftfrac epsilon cxcxrightepsilon 那同樣根據函式極限的定義，就有 Fprimec lim_xto cfrac F xF cxcf c 即為所求。 Box 第二部分 設 f 在區間 ab 上連續，並設 F 為 f 的原函式。我們從以下表達式開始 F b F a 設有數 x_0ldotsx_n 使得 a x_0 x_1 x_2 ldots x_n1 x_n b 可得 F b F a F x_n F x_0 我們加上 F x_i 及其相反數，這樣等式仍成立： begin matrix F b F a F x_nF x_n1F x_n1ldotsF x_1 F x_1F x_0 F x_nF x_n1F x_n1ldotsF x_1F x_1F x_0 end matrix 以上表達式可用以下的和表示： F b F a sum_i1n F x_i F x_i1 qquad 1 我們將使用均值定理。就是： 設 F 在閉區間 ab 連續，在開區間 ab 可導，則開區間 ab 內一定存在 c 使得 Fc frac F b F ab a 可得 Fcb a F b F a 函式 F 在區間 ab 可導，所以在每一個區間 x_i1 也是可導和連續的。因此，根據均值定理， F x_i F x_i1 Fc_ix_i x_i1 把上式代入 1，得 F b F a sum_i1n Fc_ix_i x_i1 根據第一部分的結論，我們有 Fc_i f c_i。另外，x_i x_i1 可表示為第 i 個小區間的 Delta x。 F b F a sum_i1n f c_iDelta x_i qquad 2 注意到我們正在描述矩形的面積（長度乘以寬度），並把這些面積相加起來。每一個矩形都描述了一部分曲線的估計。同時也注意到，Delta x_i 並不需要對於任何 i 都是相同的，換句話說，矩形的長度可以變化。我們要做的，是要用 n 個矩形來近似代替曲線。現在，當 n 增加而每一個矩形越來越小時，它的面積就越來越接近曲線的真實面積。 當矩形的寬度趨近於零時取極限，便得出黎曼積分。也就是說，我們取最寬的矩形趨於零，而矩形的數目趨於無窮大時的極限。 所以，我們把 2 式的兩邊取極限，得 lim_ Delta to 0 F b F a lim_ Delta to 0 sum_i1n f c_iDelta x_i F b 和 F a 都不依賴於 begin Vmatrix Delta end Vmatrix，所以左面的極限仍然是 F bF a。 F b F a lim_ Delta to 0 sum_i1n f c_iDelta x_i 右邊的表示式定義了 f 從 a 到 b 的積分。這樣，我們有 F b F a int_ab f xdx 證明完畢。 例子 begin align frac ddx int_asin x et dt frac ddx F sin x Fsin x cos x esin x cos x end align 計算以下積分： int_25 x2 dx 在這裡，f x x2，F x x3over 3 是一個原函式。因此： int_25 x2 dx F 5 F 2 53 over 3 23 over 339 推廣 我們不需要假設 f 在整個區間是連續的。這樣定理的第一部分便說明：如果 f 是區間 ab 內的任何一個勒貝格可積的函式，x_0 是 ab 內的一個數，使得 f 在 x_0 連續，則 F x int_ax f t dt 在 xx_0 是可導的，且 Fx_0f x_0。我們可以把 f 的條件進一步降低，假設它僅僅是可積的。這種情況下，我們便得出結論：F 幾乎處處可導，且 Fx 幾乎處處等於 f x。這有時稱為勒貝格微分定理。 定理的第一部分對於任何具有原函式 F 的勒貝格可積函式 f 都是正確的（不是所有可積的函式都有原函式）。 泰勒定理中把誤差項表示成一個積分的形式，可以視為微積分基本定理的一個推廣。 對於複數函式，也有一個類似的形式：假設 U 是 mathbb C 的一個開集，fUrightarrow mathbb C 是一個在 U 處具有全純原函式 F 的函式。那麼對於所有曲線 gammaabrightarrow U，曲線積分可以用下式來計算： int_gamma f z dz F gamma b F gamma a 微積分基本定理可以推廣到多維空間的曲線和曲面積分，也可以推廣到流形。 這個方向上的一個有力的表述是斯托克斯定理：設 M 為一個可定向分段光滑 n 維流形，並設 omega 為 n1 階 M 上的 C1 類緊支撐微分形式。如果 vartheta M 表示 MM 的邊界，並以 M 的方向誘導的方向為邊界的方向，則 int_M mathrm domega 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 16381675 PhD Thesis Princeton 1989 Stewart J 2003 Fundamental Theorem of Calculus In Integrals In Calculus early transcendentals Belmont California ThomsonBrooksCole Turnbull H W ed The James Gregory Tercentenary Memorial Volume London 1939 Category 包含證明的條目 Category 微積分定理 Category 實分析定理