微分中值定理的推廣及應(yīng)用畢業(yè)論文

1、微分中值定理的推廣及應(yīng)用本 科 畢 業(yè) 設(shè) 計（論文）微分中值定理的推廣及應(yīng)用The Generalization of Differential Mean Value Theorem and Its Application學(xué) 院 （系）： 數(shù)理學(xué)院 專 業(yè)： 數(shù)學(xué)與應(yīng)用數(shù)學(xué) 學(xué) 生 姓 名： 學(xué) 號： 101108072 指 導(dǎo) 教 師（職稱）： 評 閱 教 師： 完 成 日 期： 2012.04 南陽理工學(xué)院 Nanyang Institute of Technology微分中值定理的推廣及應(yīng)用數(shù)理學(xué)院 摘 要 本文在闡述了微分中值定理的一般證法的基礎(chǔ)上,給出了新的證明方法,討論了三大微分

2、中值定理之間的遞進(jìn)關(guān)系等,并對中值定理進(jìn)行了一定地推廣,同時具體的分析了微分中值定理在證明等式、不等式以及討論方程根的存在性等幾個方面的應(yīng)用.關(guān)鍵詞 微分中值定理；新證法；推廣；費(fèi)馬定理The Generalization of Differential Mean Value Theorem and Its ApplicationMathematical Institute Abstract: In this paper, the differential mean value theorem of the general license based on the method, gives

3、a new proof method, discusses the three differential mean value theorems of transitive relations among, and the mean value theorem for a promotion, and specific analysis of the differential mean value theorem in the proof of identity, inequality and discuss the equation existence of root and so on s

4、everal aspects of the application.Key words: Differential mean value theorem; New method; Promotion; Fermats theorem目 錄0 緒論11 微分中值定理及相關(guān)的概念12 微分中值定理普遍的證明方法22.1 費(fèi)馬定理22.2 羅爾中值定理22.3 拉格朗日中值定理32.4 柯西中值定理43 中值定理的推廣43.1 關(guān)于三個中值定理新的證明方法4 3.2 微分中值定理的推廣6 3.3 微分中值定理的弱逆定理 104 微分中值定理的應(yīng)用114.1 利用微分中值定理證明等式114.2 利用微

5、分中值定理證明不等式144.3 討論方程根的存在性 15結(jié)束語18參考文獻(xiàn)18致謝180緒論微分中值定理是包括Rolle定理、Lagrange定理、Cauchy定理等一系列基本定理的總稱.它的出現(xiàn)是一個過程，聚集了眾多數(shù)學(xué)家的研究成果.從費(fèi)馬到柯西不斷發(fā)展，理論知識也不斷完善，成為了人們引進(jìn)微分學(xué)以后，數(shù)學(xué)研究中的重要工具之一，而且應(yīng)用也越來越廣泛.微分中值定理在函數(shù)在某一點的局部性質(zhì)；函數(shù)圖象的走向；曲線凹凸性的判斷；積分中值定理；級數(shù)理論；等式及不等式證明等問題的研究中也發(fā)揮著很重要的作用.因此，微分中值定理構(gòu)成了整個微分學(xué)基礎(chǔ)而重要的內(nèi)容.1 微分中值定理及相關(guān)概念所謂微分中值定理,其實

6、是指一個(或多個)函數(shù)導(dǎo)數(shù)與其增量之間的等式關(guān)系.通俗的講,微分中值定理就是包括羅爾定理、拉格朗日中值定理、以及柯西中值定理等基本定理在內(nèi)的定理的總稱.以下是證明微分中值定理時用到的幾個概念.定義1 (最小值或最大值) 設(shè)在上有定義,若存在使任意,(),則稱為的最小值(最大值).為最小值點(最大值點).定義2 (極小值或極大值) 設(shè)在任意上有定義,若存在任意,都有 (),則稱為的一個極小值(極大值),稱為極小值點(極大值點).定義3 (極限的局部保號性) 若,則存在任意使得.定義4 (函數(shù)單調(diào)性) 函數(shù)在定義域內(nèi),當(dāng)時,有則稱單調(diào)遞增(嚴(yán)格單調(diào)遞增).當(dāng)時,有,則稱單調(diào)遞減(嚴(yán)格單調(diào)遞減).定

7、義5(凸性) 若函數(shù)曲線位于其每一點處切線的上方(下方),則稱函數(shù)曲線時下凸(上凸)的,或稱函數(shù)向下凸(上凸).定義6(凹性) 若的一階導(dǎo)數(shù)在上單調(diào)遞增(或遞減),則稱在是向上凹(下凹)的,或稱函數(shù)曲線向上凹(下凹).2 微分中值定理普遍的證明方法2.1 費(fèi)馬定理定理1 設(shè)在區(qū)間有定義.若是函數(shù)的極值點,且在處可導(dǎo),則.費(fèi)馬定理的幾何意義:若將函數(shù)的曲線置于平面直角坐標(biāo)系,則費(fèi)馬定理具有幾何意義:對曲線上,若有一點存在切線,且為極值點.則這一點處的切線平行于軸.證明 為的極值點.設(shè)為極小值點,則存在任意,有,若,則 ;若,則 ;取極限與分別為、,由于在處可導(dǎo),則=由極限的局部保號性有, .故

8、=.所以有 , 即.2.2 羅爾中值定理 定理2 設(shè)滿足:(1) 在閉區(qū)間上連續(xù); (2) 在開區(qū)間內(nèi)可導(dǎo); (3) ,則至少存在一點使得.羅爾定理的幾何意義:若滿足羅爾定理的條件,則在曲線上至少存在一點,使得點處的切線平行于軸(如圖), 其中,.證明 由于在閉區(qū)間上連續(xù),從而存在最大值,最小值.若則對任意有,即為常函數(shù),所以.若,由于.與不同時為區(qū)間的端點,不妨設(shè),所以必為的極大值.設(shè),則有,且在內(nèi)可導(dǎo),根據(jù)費(fèi)馬定理可知 .證畢.2.3 拉格朗日中值定理 定理3 若函數(shù)滿足:(1) 在閉區(qū)間上連續(xù);(2) 在開區(qū)間內(nèi)可導(dǎo);則至少存在一點使得.證法 利用羅爾中值定理,構(gòu)造輔助函數(shù).證明 作輔助

9、函數(shù),顯然,在上連續(xù), 在內(nèi)可導(dǎo),且,由羅爾定理可知,存在一點 使得 即.推論 設(shè)、都在區(qū)間上可導(dǎo),且,則2.4 柯西中值定理 定理4 設(shè)函數(shù)、滿足:(1) 在閉區(qū)間上連續(xù);(2) 在開區(qū)間內(nèi)可導(dǎo),且，則至少存在一點使得.證明 由定理條件可知,則任意都有,因此,只需證 ,為此,構(gòu)造函數(shù),顯然,在上連續(xù),在內(nèi)可導(dǎo),且,根據(jù)羅爾定理,存在,使得,即, 所以.3 中值定理的推廣微分中值定理在數(shù)學(xué)分析中甚至是整個數(shù)學(xué)領(lǐng)域都占有非常重要的地位,其證明方法也有多種.3.1 關(guān)于三個中值定理新的證明方法3.1.1 羅爾定理的新證法引理1非單調(diào)函數(shù)在上連續(xù),在內(nèi)可導(dǎo),則存在一點,使得.證明 因為在上連續(xù),且非

10、單調(diào),故存在為函數(shù)的極值點.又在內(nèi)可導(dǎo),故在點可導(dǎo),由費(fèi)馬定理可知.羅爾定理的新證法 證明 因為,且. （1） 若為常數(shù),則必有，所以,存在,使得;（2） 若不是常數(shù),則非單調(diào),又有在上連續(xù)在內(nèi)可導(dǎo),根據(jù)引理1,存在,使得 .證畢.3.1.2 拉格朗日中值定理的新證法證明（利用分析法證明拉格朗日中值定理）要證存在使得 成立，即證,存在使得 (1) 成立.亦即 (2)記,則由滿足羅爾定理的條件知,存在使得(2)成立,進(jìn)而(1)成立.從而拉格朗日中值定理成立.3.1.3 柯西中值定理的新證法 證明 首先構(gòu)造輔助函數(shù),由于,故可知恒大于零或者恒小于零.否則,由費(fèi)馬定理可知,必存在 使得.我們不妨設(shè)恒

11、大于零.于是,對于任意,其中,.又由復(fù)合函數(shù)連續(xù)性定理即含參變量函數(shù)定理可證得在閉區(qū)間上連續(xù);在開區(qū)間內(nèi)可導(dǎo),且故即是要證明,因此可構(gòu)造輔助函數(shù):,可以驗證滿足羅爾定理的條件,故至少存在一個,使得成立.再由知,至少存在使得成立,柯西中值定理得證.3.2 微分中值定理的推廣 微分中值定理是微分學(xué)的核心內(nèi)容,而隨著其不斷地發(fā)展和完善,衍生了許多微分中值定理的推廣.以下是幾種微分中值定理的推廣形式.3.2.1 羅爾定理的推廣 定理5 設(shè)在內(nèi)可導(dǎo),且,其中,則存在使得.證明 由于在內(nèi)可導(dǎo),則必有在上連續(xù),又有. (1)當(dāng)時,對在兩點進(jìn)行連續(xù)延拓,使得,則有在上連續(xù),在內(nèi)可導(dǎo)且有,所以,滿足羅爾定理的條

12、件,存在使得.(2)當(dāng)時,由于,故存在,使得,所以在上連續(xù),在內(nèi)可導(dǎo),滿足羅爾定理,即存在使得.綜上所述,存在使得.3.2.2拉格朗日中值定理的推廣 定理6(推廣一) 設(shè)在上連續(xù),在內(nèi)可導(dǎo),則存在使得.證明 作輔助函數(shù),很明顯在連續(xù),在內(nèi)可導(dǎo),且,則根據(jù)羅爾定理有,存在使得,命題得證.定理7(推廣二) 若在有限開區(qū)間內(nèi)可導(dǎo),且與存在,則至少存在一點使得.證明 （1）當(dāng)時,由定理5可知,結(jié)論成立.（2）當(dāng)時,作輔助函數(shù),由在內(nèi)可導(dǎo)知,在內(nèi)也可導(dǎo),又因為;,根據(jù)定理5可知,至少存在一點使得.進(jìn)而有,即.綜上所述,存在一點使得.3.2.3柯西定理的推廣 定理8(推廣一) 在連續(xù),在內(nèi)可導(dǎo),任意,有.

13、則存在使得.證明 作一個輔助函數(shù),則在連續(xù),在內(nèi)可導(dǎo),且,所以在上滿足羅爾定理,即存在使得.因為,所以,即得.定理9(推廣二) 若在有限或無窮區(qū)間中的任意一點有有限導(dǎo)數(shù)和,任意,都存在,則至少存在一點使得 .證明 首先證明.假設(shè)即,根據(jù)定理5可知,至少存在一點使得.與已知條件相互矛盾.其次,作輔助函數(shù)由已知得在可導(dǎo)且,所以,.根據(jù)定理5可知,至少存在一點使得即.3.2.4 微分中值定理的推廣定理10 設(shè)函數(shù)在上連續(xù), 在內(nèi)可導(dǎo),且,則在內(nèi)至少存在一點,使得 .證明 根據(jù)題意,設(shè)顯然在上連續(xù), 在內(nèi)可導(dǎo),并且 即,所以由羅爾中值定理可知在至少存在一點使得 證畢.當(dāng)上述式子中時,可得到柯西中值定理

14、;當(dāng)上述式子中時,可得到拉格朗日中值定理.3.3 微分中值定理的弱逆定理在一定的附加條件下微分中值定理的弱逆定理成立.定理11 (拉格朗日中值定理的弱逆定理) 設(shè)在上連續(xù),在內(nèi)可導(dǎo),若在嚴(yán)格單調(diào),則對任意的,存在使得成立.證明 因為在上嚴(yán)格單調(diào),不妨設(shè)其嚴(yán)格單調(diào)遞增, 由定義6可知,函數(shù)在上是向下凸的,再由定義5,任意的,有,所以,切線在曲線下方,所以存在的鄰域使得直線的平行線與有兩個交點,假設(shè)交點為 .即有,得到,結(jié)論得證.定理12（柯西中值定理的弱逆定理）設(shè)在上連續(xù),在內(nèi)可導(dǎo),且嚴(yán)格單調(diào),則對于任意的存在,使得成立.證明 對任意的,作輔助函數(shù),顯然, 在上連續(xù),在內(nèi)可微,并且由嚴(yán)格單調(diào),可

15、知也嚴(yán)格單調(diào).由定理11知,對任意的,存在使得成立.而,所以有, ,整理得.證畢.4 微分中值定理的應(yīng)用微分學(xué)是整個數(shù)學(xué)分析的重要組成部分,而微分中值定理是微分學(xué)的核心內(nèi)容,其建立了函數(shù)值與導(dǎo)數(shù)之間的關(guān)系,是用于證明等式,證明不等式,討論方程根的存在性等問題的重要工具.4.1 利用微分中值定理證明等式例1 設(shè)函數(shù)在上連續(xù),在內(nèi)可導(dǎo).證明存在使得,.證明 利用柯西中值定理 令,顯然,在上連續(xù),在內(nèi)可導(dǎo),且,所以,存在使得 ,所以.證畢.例2 設(shè)函數(shù)在上連續(xù),在內(nèi)可導(dǎo),且.證明對任意常數(shù),存在,有.證明 利用羅爾定理,構(gòu)造函數(shù),由于在上連續(xù), 在內(nèi)可導(dǎo),且，所以,且在上連續(xù),在內(nèi)可導(dǎo)，所以,存在使

16、得,即.例3 設(shè)滿足:(1) 在上連續(xù);(2) 在內(nèi)可導(dǎo),證明存在,使得.證明 證法同例2,令即可證得.小結(jié) 如例3,例7中用羅爾定理證明,需要構(gòu)造出原函數(shù),此類函數(shù)有固定的原型,利用微分中值定理容易得到想要證明的結(jié)論.例4 設(shè),在上連續(xù),在內(nèi)可導(dǎo), .則有使得.證明 由于,且在上連續(xù)在內(nèi)可導(dǎo)，所以,必存在使得,根據(jù)羅爾定理,存在使得 .例5 證明恒等式:. 證明 令,則,所以,在為常函數(shù).又有，所以,即成立.例6 設(shè)且在上連續(xù),在內(nèi)可導(dǎo).則存在使得.證明 變換待證等式為 其中,顯然,利用羅爾定理即可得.例7 設(shè),在內(nèi)可導(dǎo),則存在,使得.證明 變換待證等式為,其中.由于,所以,其中,于是,在上

17、滿足羅爾定理,從而有結(jié)論.若待證等式明顯可表示為的形式,則很可能就是,因而,可以利用柯西定理證明.例8 設(shè),在連續(xù)可導(dǎo),則存在使得.證明 令則,且,在上連續(xù)在內(nèi)可導(dǎo),根據(jù)柯西定理,存在使得,即.4.2 利用微分中值定理證明不等式利用拉格朗日中值定理或柯西中值定理證明不等式時,常將待證不等式變形為 的形式,且滿足拉格朗日或柯西定理的條件,再證明對一切的有,最后利用中值定理證明.例9 證明對任何正數(shù)、有 .證明 令,.則在上連續(xù),在內(nèi)可導(dǎo),根據(jù)拉格朗日中值定理,存在使得 ,由于,所以,即有 .例10 設(shè)為非線性函數(shù),且在上連續(xù),在內(nèi)可導(dǎo),則存在使得 .證明 變換待證不等式為 ,其中,若結(jié)論不成立,

18、則,因而單調(diào)遞減.但是,故,必有,從而與已知矛盾,所以結(jié)論成立.即成立.例11 設(shè)函數(shù)在上連續(xù),在內(nèi)可導(dǎo),則存在,使得 .證明 若不存在,則,從而單調(diào)遞增，又由于滿足羅爾定理,則存在使得,又有,所以,非單調(diào)遞增.上下矛盾.因而,存在使得 .例12 設(shè),對任意.證明.證明 當(dāng)時,結(jié)論顯然成立.當(dāng)時,取或,在該區(qū)間上,設(shè),根據(jù)柯西定理,有,或,即;當(dāng)時,，即;又有,所以.當(dāng)時, ,所以,.由此,不等式得證.4.3 討論方程根的存在性注意到在中值定理中有,令,這樣就可以利用中值定理討論方程的根的存在性.例13 設(shè)為任意個實數(shù),證明函數(shù)在必有零點.證明 作輔助函數(shù),則,容易驗證在上連續(xù),在可導(dǎo),且 ,

19、所以存在使得,即.所以,在必存在零點. 例14 設(shè)函數(shù)在區(qū)間上可導(dǎo),則的兩個零點間一定存在的零點. 證明 (采用羅爾定理)任取的兩個零點.不妨設(shè).作輔助函數(shù),則在上連續(xù),在內(nèi)可導(dǎo),且,由羅爾定理,存在,使得,即 ,而,故有,即的兩個零點間一定存在的零點.例15 證明:若,則多項式在內(nèi)至少有一個實根.證明 令則,又有在連續(xù)可導(dǎo),且,滿足羅爾定理的條件,故存在使得即,結(jié)論得證.例16 若函數(shù)在上非負(fù),且三階可導(dǎo),方程在內(nèi)有兩個不同的實根.證明存在使得.證明 因為方程在內(nèi)有兩個不同的實根,設(shè)其分別為所以,又由于非負(fù)，根據(jù)極值定義可以知道為的兩個極值點,所以有又因為滿足羅爾定理，所以存在使得 ,又三階可導(dǎo)，所以滿足羅爾定理,即存在,使得 ,同樣滿足羅爾定理,則存在使得.證畢.例17 設(shè),則方程在內(nèi)有解.證明 將待證問題轉(zhuǎn)化為中值問題:存在使得,即,根據(jù)柯西中值定理直接得證,即方程在內(nèi)有解.例18 若函數(shù)在可導(dǎo),對與之間的任意數(shù),則在內(nèi)至少存在一點,使得.證明 不妨設(shè).則.作輔助函數(shù) ,有.顯然, 與,即與 .由極限保號性,存在,使得,從而,.存在,使得 ,從而, .于是,在內(nèi)至少存在一個極小值點.根據(jù)費(fèi)馬定理,有,即.結(jié)束語由上所述,我們發(fā)現(xiàn)微分中值定理的證明除了構(gòu)造輔助函數(shù),