2016考研數(shù)學考試分析之定理證明(二)

劉緯宇——數(shù)學教研室

(書接上回)

二、微分中值定理的證明

這一部分內容比較豐富，包括費馬引理、羅爾定理、拉格朗日定理、柯西定理和泰勒中值定理。除泰勒中值定理外，其它定理要求會證。

費馬引理的條件有兩個：1.f'(x0)存在2. f(x0)為f(x)的極值，結論為f'(x0)=0?？紤]函數(shù)在一點的導數(shù)，用什么方法?自然想到導數(shù)定義。我們可以按照導數(shù)定義寫出f'(x0)的極限形式。往下如何推理?關鍵要看第二個條件怎么用。“f(x0)為f(x)的極值”翻譯成數(shù)學語言即f(x) -f(x0)<0(或>0)，對x0的某去心鄰域成立。結合導數(shù)定義式中函數(shù)部分表達式，不難想到考慮函數(shù)部分的正負號。若能得出函數(shù)部分的符號，如何得到極限值的符號呢?極限的保號性是個橋梁。

費馬引理中的“引理”包含著引出其它定理之意。那么它引出的定理就是我們下面要討論的羅爾定理。若在微分中值定理這部分推舉一個考頻最高的，那羅爾定理當之無愧。該定理的條件和結論想必各位都比較熟悉。條件有三：“閉區(qū)間連續(xù)”、“開區(qū)間可導”和“端值相等”，結論是在開區(qū)間存在一點(即所謂的中值)，使得函數(shù)在該點的導數(shù)為0。該定理的證明不好理解，需認真體會：條件怎么用?如何和結論建立聯(lián)系?當然，我們現(xiàn)在討論該定理的證明是“馬后炮”式的：已經有了證明過程，我們看看怎么去理解掌握。如果在羅爾生活的時代，證出該定理，那可是十足的創(chuàng)新，是要流芳百世的。

閑言少敘，言歸正傳。既然我們討論費馬引理的作用是要引出羅爾定理，那么羅爾定理的證明過程中就要用到費馬引理。我們對比這兩個定理的結論，不難發(fā)現(xiàn)是一致的：都是函數(shù)在一點的導數(shù)為0。話說到這，可能有同學要說：羅爾定理的證明并不難呀，由費馬引理得結論不就行了。大方向對，但過程沒這么簡單。起碼要說清一點：費馬引理的條件是否滿足，為什么滿足?

(未完待續(xù))