有很多公式。這些視頻需要看嗎？我可以寄給妳。妳加我QQ:ChenMingfeng@live.cn
被稱為微積分第壹基本定理，說明不定積分是微分的逆運算。[1]定理的第二部分，有時稱為微積分的第二基本定理，說明定積分可以用無窮個原函數中的任意壹個來計算。這部分有很多實際應用，因為它大大簡化了定積分的計算。
這個定理的壹種特殊形式首先由詹姆斯·格雷戈裏(1638-1675)證明並發表。[2]該定理的壹般形式是由伊薩克·巴羅證明的。
微積分的基本定理表明，壹個變量在壹段時間內的無窮小變化之和等於該變量的凈變化。
先說個例子。假設壹個物體做直線運動，其位置為x(t)，其中t為時間，x(t)表示x是t的函數，這個函數的導數等於位置的無窮小變化量d x除以時間的無窮小變化量dt(當然導數本身也與時間有關)。我們把速度定義為位置的變化除以時間的變化。用萊布尼茨的符號表示:
收拾壹下，拿
根據上述推理，x的變化量── δ x是dx的無窮小變化量之和。它也等於時間的導數和無窮小乘積之和。這個無窮和就是積分；所以壹個函數微分後再積分，就得到原來的函數。我們可以合理地推斷這個操作反過來也是成立的。積分之後，我們可以求導，得到原函數。
目錄[隱藏]
1正式聲明
1.1第壹部分
1.2第二部分
2推論
3個例子
4個證明
4.1第壹部分
4.2第二部分
5促銷
6參見
7條評論
8篇參考文獻
9外部鏈接
[編輯]正式聲明
微積分的基本定理有兩部分。第壹部分是關於原函數的導數，第二部分描述原函數與定積分的關系。
[編輯]第壹部分
設f是定義在閉區間[a，b]上的實數函數。讓f去吧
定義的函數。這樣，f在區間[a，b]可導，對於[a，b]中的任意x，有
是上限可變的定積分，其值F(x)是F的無窮個原函數之壹。
[編輯]第二部分
設f是定義在閉區間[a，b]上的連續實數函數。設f是f的原函數，即它是使下式成立的無窮函數之壹。
因此
[編輯]推論
設f是定義在閉區間[a，b]上的實數函數。設f是f的原函數，那麽，對於區間[a，b]中的所有x，有
和
[編輯]示例
計算以下積分:
這裏f(x) = x2，是原函數。因此:
[編輯]校樣
[編輯]第壹部分
假設有
設x1和x1+δ x是區間[a，b]中的兩個數。我們有
和
將兩個表達式相減得到。
可以證明
(兩個相鄰區域的面積之和等於兩個區域的面積之和。)
收拾壹下，拿
將上面的公式代入(1)，得到
根據積分中值定理，區間[x1，x1+δ x]中有壹個c，使得
把上面的公式代入(2)，妳就得到
兩邊除以δx得到。
註意左邊的表達式是f在x1的牛頓差商。
兩邊取δ x→ 0的極限，
左邊的表達式是f在x1處的導數的定義。
我們用夾點定理找到另壹個極限。c在區間[x1，x1+δ x]內，所以x1 ≤ c ≤ x1+δ x。
除了和
因此，根據壓縮定理，
代入(3)得到
函數f在c處連續，所以極限可以在函數中進行。所以，我們有
完成證書。
[編輯]第二部分
設f在區間[a，b]上連續，設f是f的原函數，我們從下面的表達式開始
設定數目
x0，...，xn
制造
有空的
我們加上F(xi)和它的逆，所以等式仍然成立:
上面的表達式可以用下面的和來表示:
我們將使用中值定理。是:
設F在閉區間[a，b]上連續，在開區間[a，b]上可導，則開區間[a，b]上必有C使得。
有空的
函數f在區間[a，b]可導，所以它在每個區間xi-1也可導且連續。因此，根據介值定理，
將上面的公式代入(1)，得到
根據第壹部分的結論，我們有F'(ci) = f(ci)。此外，xi？xi？1可以表示為第I個單元格之間的δx。
黎曼和中的收斂序列。右上角的數字是灰色矩形的面積。它們收斂於函數的積分。
請註意，我們描述的是壹個矩形的面積(長乘以寬)並將這些面積相加。每個矩形描述了對曲線壹部分的估計。還要註意，對於任何I，δXi不需要相同，換句話說，矩形的長度可以改變。我們要做的是用n個矩形來近似曲線。現在，當n增加，每個矩形變得越來越小，它的面積就越來越接近曲線的真實面積。
當矩形的寬度趨於零並取極限時，得到黎曼積分。也就是說，我們取最寬的矩形趨於零，矩形個數趨於無窮大時的極限。
因此，我們以公式(2)的兩邊為極限，得到
F(b)和F(a)都不依賴於||||，所以左極限還是F(b)-F(a)。
右邊的表達式定義了f從a到b的積分，所以我們有
完成證書。
[編輯]促銷
我們不需要假設f在整個區間內是連續的。該定理的第壹部分表明，如果f是區間[a，b]中的任意勒貝格可積函數，x0是[a，b]中的壹個數，使得f在x0中連續，則
它在x = x0且F'(x0) = f(x0)處可微。我們可以進壹步降低f的條件，假設它只是可積的。在這種情況下，我們得出結論:F幾乎處處，F’(x)幾乎處處等於f(x)。這有時被稱為勒貝格微分定理。
定理的第二部分對任何具有原函數f的勒貝格可積函數f都是正確的(不是所有的可積函數都有原函數)。
在泰勒定理中，誤差項表示為積分，可以看作是微積分基本定理的推廣。
對於復變函數，也有類似的形式:設U是C的開集，f: U → C是在U處有全純原函數f的函數，那麽對於所有曲線γ: [a，b] → U，曲線積分可由下式計算:
微積分的基本定理可以推廣到多維空間的曲線積分和曲面積分，也可以推廣到流形。
這個方向的壹個有力表述是Stokes定理:設M是可定向的分片光滑N維流形，設ω是N？1階m上C1類緊支撐微分形式。如果呢？m代表m的邊界，由m的方向誘導出的方向就是邊界的方向，那麽
這裏是外導數，只由流形的結構定義。Stokes定理涉及鼓上同調奇異鏈的同調。