2017考研數學：高數定理證明之微積分基本定理

• 2025考研復試標準班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 2026考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

考研數學有四大重要定理證明需要大家熟練掌握，它們是微分中值定理的證明、求導公式的證明、積分中值定理和微積分基本定理的證明，下文我們來看的是微積分基本定理的證明。

該部分包括兩個定理：變限積分求導定理和牛頓-萊布尼茨公式。

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

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

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

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