數(shù)學(xué)有四大重要定理證明需要大家熟練掌握，它們是微分中值定理的證明、求導(dǎo)公式的證明、積分中值定理和微積分基本定理的證明，下文我們來(lái)看的是微積分基本定理的證明。

該部分包括兩個(gè)定理：變限積分求導(dǎo)定理和牛頓-萊布尼茨公式。

變限積分求導(dǎo)定理的條件是變上限積分函數(shù)的被積函數(shù)在閉區(qū)間連續(xù)，結(jié)論可以形式地理解為變上限積分函數(shù)的導(dǎo)數(shù)為把積分號(hào)扔掉，并用積分上限替換被積函數(shù)的自變量。注意該求導(dǎo)公式對(duì)閉區(qū)間成立，而閉區(qū)間上的導(dǎo)數(shù)要區(qū)別對(duì)待：對(duì)應(yīng)開(kāi)區(qū)間上每一點(diǎn)的導(dǎo)數(shù)是一類，而區(qū)間端點(diǎn)處的導(dǎo)數(shù)屬單側(cè)導(dǎo)數(shù)?；ㄩ_(kāi)兩朵，各表一枝。我們先考慮變上限積分函數(shù)在開(kāi)區(qū)間上任意點(diǎn)x處的導(dǎo)數(shù)。一點(diǎn)的導(dǎo)數(shù)仍用導(dǎo)數(shù)定義考慮。至于導(dǎo)數(shù)定義這個(gè)極限式如何化簡(jiǎn)，筆者就不能剝奪讀者思考的權(quán)利了。單側(cè)導(dǎo)數(shù)類似考慮。

“牛頓-萊布尼茨公式是聯(lián)系微分學(xué)與積分學(xué)的橋梁，它是微積分中最基本的公式之一。它證明了微分與積分是可逆運(yùn)算，同時(shí)在理論上標(biāo)志著微積分完整體系的形成，從此微積分成為一門(mén)真正的學(xué)科。”這段話精彩地指出了牛頓-萊布尼茨公式在高數(shù)中舉足輕重的作用。而多數(shù)考生能熟練運(yùn)用該公式計(jì)算定積分。不過(guò)，提起該公式的證明，熟悉的考生并不多。

該公式和變限積分求導(dǎo)定理的公共條件是函數(shù)f(x)在閉區(qū)間連續(xù)，該公式的另一個(gè)條件是F(x)為f(x)在閉區(qū)間上的一個(gè)原函數(shù)，結(jié)論是f(x)在該區(qū)間上的定積分等于其原函數(shù)在區(qū)間端點(diǎn)處的函數(shù)值的差。該公式的證明要用到變限積分求導(dǎo)定理。若該公式的條件成立，則不難判斷變限積分求導(dǎo)定理的條件成立，故變限積分求導(dǎo)定理的結(jié)論成立。

注意到該公式的另一個(gè)條件提到了原函數(shù)，那么我們把變限積分求導(dǎo)定理的結(jié)論用原函數(shù)的語(yǔ)言描述一下，即f(x)對(duì)應(yīng)的變上限積分函數(shù)為f(x)在閉區(qū)間上的另一個(gè)原函數(shù)。根據(jù)原函數(shù)的概念，我們知道同一個(gè)函數(shù)的兩個(gè)原函數(shù)之間只差個(gè)常數(shù)，所以F(x)等于f(x)的變上限積分函數(shù)加某個(gè)常數(shù)C。萬(wàn)事俱備，只差寫(xiě)一下。將該公式右側(cè)的表達(dá)式結(jié)合推出的等式變形，不難得出結(jié)論。

海文考研專注考研培訓(xùn)，美國(guó)頂級(jí)投資機(jī)構(gòu)DCM、紅杉資本、國(guó)內(nèi)著名風(fēng)投基金聯(lián)想集團(tuán)投資公司和新加坡鳳凰基金共同注資萬(wàn)學(xué)2000萬(wàn)美金，萬(wàn)學(xué)在已經(jīng)創(chuàng)造業(yè)內(nèi)遙遙領(lǐng)先的教育品質(zhì)與培訓(xùn)系統(tǒng)之上，將于未來(lái)五年投入超過(guò)十億人民幣，為中國(guó)大學(xué)生群體打造迅速提升多項(xiàng)重要能力的高端教育平臺(tái)。