考研數學的定理證明是一直考生普遍感覺不太有把握的內容，而2016年考研數學真題釋放出一個明確信號——考生需重視教材中重要定理的證明。下面跨考教育為考生梳理一下教材中那些要求會證的重要定理。
三、微積分基本定理的證明
該部分包括兩個定理：變限積分求導定理和牛頓-萊布尼茨公式。
變限積分求導定理的條件是變上限積分函數的被積函數在閉區間連續，結論可以形式地理解為變上限積分函數的導數為把積分號扔掉，并用積分上限替換被積函數的自變量。注意該求導公式對閉區間成立，而閉區間上的導數要區別對待：對應開區間上每一點的導數是一類，而區間端點處的導數屬單側導數。花開兩朵，各表一枝。我們先考慮變上限積分函數在開區間上任意點x處的導數。一點的導數仍用導數定義考慮。至于導數定義這個極限式如何化簡，筆者就不能剝奪讀者思考的權利了。單側導數類似考慮。
“牛頓-萊布尼茨公式是聯系微分學與積分學的橋梁，它是微積分中最基本的公式之一。它證明了微分與積分是可逆運算，同時在理論上標志著微積分完整體系的形成，從此微積分成為一門真正的學科。”這段話精彩地指出了牛頓-萊布尼茨公式在高數中舉足輕重的作用。而多數考生能熟練運用該公式計算定積分。不過，提起該公式的證明，熟悉的考生并不多。
該公式和變限積分求導定理的公共條件是函數f(x)在閉區間連續，該公式的另一個條件是F(x)為f(x)在閉區間上的一個原函數，結論是f(x)在該區間上的定積分等于其原函數在區間端點處的函數值的差。該公式的證明要用到變限積分求導定理。若該公式的條件成立，則不難判斷變限積分求導定理的條件成立，故變限積分求導定理的結論成立。注意到該公式的另一個條件提到了原函數，那么我們把變限積分求導定理的結論用原函數的語言描述一下，即f(x)對應的變上限積分函數為f(x)在閉區間上的另一個原函數。根據原函數的概念，我們知道同一個函數的兩個原函數之間只差個常數，所以F(x)等于f(x)的變上限積分函數加某個常數C。萬事俱備，只差寫一下。將該公式右側的表達式結合推出的等式變形，不難得出結論。
四、積分中值定理
該定理條件是定積分的被積函數在積分區間(閉區間)上連續，結論可以形式地記成該定積分等于把被積函數拎到積分號外面，并把積分變量x換成中值。如何證明?可能有同學想到用微分中值定理，理由是微分相關定理的結論中含有中值。可以按照此思路往下分析，不過更易理解的思路是考慮連續相關定理(介值定理和零點存在定理)，理由更充分些：上述兩個連續相關定理的結論中不但含有中值而且不含導數，而待證的積分中值定理的結論也是含有中值但不含導數。
若我們選擇了用連續相關定理去證，那么到底選擇哪個定理呢?這里有個小的技巧——看中值是位于閉區間還是開區間。介值定理和零點存在定理的結論中的中值分別位于閉區間和開區間，而待證的積分中值定理的結論中的中值位于閉區間。那么何去何從，已經不言自明了。
若順利選中了介值定理，那么往下如何推理呢?我們可以對比一下介值定理和積分中值定理的結論：介值定理的結論的等式一邊為某點處的函數值，而等號另一邊為常數A。我們自然想到把積分中值定理的結論朝以上的形式變形。等式兩邊同時除以區間長度，就能達到我們的要求。當然，變形后等號一側含有積分的式子的長相還是挺有迷惑性的，要透過現象看本質，看清楚定積分的值是一個數，進而定積分除以區間長度后仍為一個數。這個數就相當于介值定理結論中的A。
接下來如何推理，這就考察各位對介值定理的熟悉程度了。該定理條件有二：1.函數在閉區間連續，2.實數A位于函數在閉區間上的最大值和最小值之間，結論是該實數能被取到(即A為閉區間上某點的函數值)。再看若積分中值定理的條件成立否能推出介值定理的條件成立。函數的連續性不難判斷，僅需說明定積分除以區間長度這個實數位于函數的最大值和最小值之間即可。而要考察一個定積分的值的范圍，不難想到比較定理(或估值定理)。
定理證明確屬難點，但幾乎沒有考生敢于不去復習這部分，因為一旦考出來就是大題，且在沒復習的情況下當場做出的可能性很小。在此提醒2017的考研學子，掌握好以上梳理的重要定理的證明，是通往高分的必經之路。
