2018考研高數重要定理證明：積分中值定理

　　　該定理條件是定積分的被積函數在積分區間(閉區間)上連續，結論可以形式地記成該定積分等于把被積函數拎到積分號外面，并把積分變量x換成中值。如何證明?可能有同學想到用微分中值定理，理由是微分相關定理的結論中含有中值。可以按照此思路往下分析，不過更易理解的思路是考慮連續相關定理(介值定理和零點存在定理)，理由更充分些：上述兩個連續相關定理的結論中不但含有中值而且不含導數，而待證的積分中值定理的結論也是含有中值但不含導數。

　　若我們選擇了用連續相關定理去證，那么到底選擇哪個定理呢?這里有個小的技巧——看中值是位于閉區間還是開區間。介值定理和零點存在定理的結論中的中值分別位于閉區間和開區間，而待證的積分中值定理的結論中的中值位于閉區間。那么何去何從，已經不言自明了。

　　若順利選中了介值定理，那么往下如何推理呢?我們可以對比一下介值定理和積分中值定理的結論：介值定理的結論的等式一邊為某點處的函數值，而等號另一邊為常數A。我們自然想到把積分中值定理的結論朝以上的形式變形。等式兩邊同時除以區間長度，就能達到我們的要求。當然，變形后等號一側含有積分的式子的長相還是挺有迷惑性的，要透過現象看本質，看清楚定積分的值是一個數，進而定積分除以區間長度后仍為一個數。這個數就相當于介值定理結論中的A。

　　接下來如何推理，這就考察各位對介值定理的熟悉程度了。該定理條件有二：1.函數在閉區間連續，2.實數A位于函數在閉區間上的比較大值和比較小值之間，結論是該實數能被取到(即A為閉區間上某點的函數值)。再看若積分中值定理的條件成立否能推出介值定理的條件成立。函數的連續性不難判斷，僅需說明定積分除以區間長度這個實數位于函數的比較大值和比較小值之間即可。而要考察一個定積分的值的范圍，不難想到比較定理(或估值定理)。

　　歡迎加入2017年研究生考試QQ交流群：371909432;2018年考研QQ交流群：415272847

　　歡迎關注研究生微信公眾號