劉緯宇——數(shù)學(xué)教研室
(書接上回)
二、微分中值定理的證明
這一部分內(nèi)容比較豐富,包括費(fèi)馬引理、羅爾定理、拉格朗日定理、柯西定理和泰勒中值定理。除泰勒中值定理外,其它定理要求會(huì)證。
費(fèi)馬引理的條件有兩個(gè):1.f'(x0)存在2. f(x0)為f(x)的極值,結(jié)論為f'(x0)=0?紤]函數(shù)在一點(diǎn)的導(dǎo)數(shù),用什么方法?自然想到導(dǎo)數(shù)定義。我們可以按照導(dǎo)數(shù)定義寫出f'(x0)的極限形式。往下如何推理?關(guān)鍵要看第二個(gè)條件怎么用!癴(x0)為f(x)的極值”翻譯成數(shù)學(xué)語(yǔ)言即f(x) -f(x0)<0(或>0),對(duì)x0的某去心鄰域成立。結(jié)合導(dǎo)數(shù)定義式中函數(shù)部分表達(dá)式,不難想到考慮函數(shù)部分的正負(fù)號(hào)。若能得出函數(shù)部分的符號(hào),如何得到極限值的符號(hào)呢?極限的保號(hào)性是個(gè)橋梁。
費(fèi)馬引理中的“引理”包含著引出其它定理之意。那么它引出的定理就是我們下面要討論的羅爾定理。若在微分中值定理這部分推舉一個(gè)考頻最高的,那羅爾定理當(dāng)之無(wú)愧。該定理的條件和結(jié)論想必各位都比較熟悉。條件有三:“閉區(qū)間連續(xù)”、“開(kāi)區(qū)間可導(dǎo)”和“端值相等”,結(jié)論是在開(kāi)區(qū)間存在一點(diǎn)(即所謂的中值),使得函數(shù)在該點(diǎn)的導(dǎo)數(shù)為0。該定理的證明不好理解,需認(rèn)真體會(huì):條件怎么用?如何和結(jié)論建立聯(lián)系?當(dāng)然,我們現(xiàn)在討論該定理的證明是“馬后炮”式的:已經(jīng)有了證明過(guò)程,我們看看怎么去理解掌握。如果在羅爾生活的時(shí)代,證出該定理,那可是十足的創(chuàng)新,是要流芳百世的。
閑言少敘,言歸正傳。既然我們討論費(fèi)馬引理的作用是要引出羅爾定理,那么羅爾定理的證明過(guò)程中就要用到費(fèi)馬引理。我們對(duì)比這兩個(gè)定理的結(jié)論,不難發(fā)現(xiàn)是一致的:都是函數(shù)在一點(diǎn)的導(dǎo)數(shù)為0。話說(shuō)到這,可能有同學(xué)要說(shuō):羅爾定理的證明并不難呀,由費(fèi)馬引理得結(jié)論不就行了。大方向?qū),但過(guò)程沒(méi)這么簡(jiǎn)單。起碼要說(shuō)清一點(diǎn):費(fèi)馬引理的條件是否滿足,為什么滿足?
(未完待續(xù))
相關(guān)推薦:
2016考研政治答案 ※ 2016考研英語(yǔ)答案 ※ 2016考研數(shù)學(xué)答案 ※ 關(guān)注微信 對(duì)答案