高等數(shù)學(xué)中值定理定義

第三章中值定理應(yīng)用研究函數(shù)性質(zhì)及曲線性態(tài)利用導(dǎo)數(shù)解決實際問題羅爾中值定理拉格朗日中值定理柯西中值定理推廣微分中值定理與導(dǎo)數(shù)的應(yīng)用一、羅爾(Rolle)定理第一節(jié)機動目錄上頁下頁返回結(jié)束二、拉格朗日中值定理三、柯西(Cauchy)中值定理中值定理第三章極值的定義:設(shè)函數(shù)在的某鄰域內(nèi)有定義,若對該鄰域內(nèi)的任意一點,恒有則稱在點處取得極大值(或極小值),而稱為函數(shù)的極大值點(或極小值點).極大值與極小值統(tǒng)稱為極值,極大值點與極小值點統(tǒng)稱為函數(shù)的極值點.極值的必要條件定理:如果在點處可導(dǎo),且在處取得極值,則注1.在極值點處并非都有.注2.使的點也并非都是極值點，我們把的點稱為駐點.注3.若在極值點處存在切線，則該切線是水平切線.一羅爾（Rolle）定理滿足:(1)在區(qū)間[a,b]上連續(xù)(2)在區(qū)間(a,b)內(nèi)可導(dǎo)(3)

f(a)=f(b)使證:故在[a,b]上取得最大值

M和最小值m.在(a,b)內(nèi)至少存在一點機動目錄上頁下頁返回結(jié)束又因為

f(a)=f(b)，所以最大值與最小值必定至少有一個在區(qū)間內(nèi)部，而這一個就是我們要找的一個極值點.若M>

m,則M和m

中至少有一個與端點值不等,不妨設(shè)則至少存在一點使注意:1)定理條件不全具備,結(jié)論不一定成立.例如,則該點為極值點,所以機動目錄上頁下頁返回結(jié)束使2)定理條件只是充分的.本定理可推廣為在(a,b)內(nèi)可導(dǎo),且在(a,b)內(nèi)至少存在一點證明提示:

設(shè)證F(x)在[a,b]上滿足羅爾定理.機動目錄上頁下頁返回結(jié)束例1.

證明方程有且僅有一個小于1的正實根.證:1)存在性.則在[0,1]連續(xù),且由介值定理知存在使即方程有小于1的正根2)唯一性.假設(shè)另有為端點的區(qū)間滿足羅爾定理條件,至少存在一點但矛盾,故假設(shè)不真!設(shè)機動目錄上頁下頁返回結(jié)束二、拉格朗日中值定理(1)在區(qū)間[a,b]上連續(xù)滿足:(2)在區(qū)間(a,b)內(nèi)可導(dǎo)至少存在一點使思路:利用逆向思維找出一個滿足羅爾定理條件的函數(shù)作輔助函數(shù)顯然,在[a,b]上連續(xù),在(a,b)內(nèi)可導(dǎo),且證:問題轉(zhuǎn)化為證由羅爾定理知至少存在一點即定理結(jié)論成立.拉氏目錄上頁下頁返回結(jié)束證畢拉格朗日中值定理的有限增量形式:推論:若函數(shù)在區(qū)間I上滿足則在

I上必為常數(shù).證:在I

上任取兩點日中值公式,得由的任意性知,在

I

上為常數(shù).令則機動目錄上頁下頁返回結(jié)束例2.

證明等式證:設(shè)由推論可知(常數(shù))令x=0,得又故所證等式在定義域上成立.自證:經(jīng)驗:欲證時只需證在I上機動目錄上頁下頁返回結(jié)束(P111例3.1.3)例3.

證明不等式證:設(shè)中值定理條件,即因為故因此應(yīng)有機動目錄上頁下頁返回結(jié)束(P111例3.1.4)三、柯西(Cauchy)中值定理分析:及(1)在閉區(qū)間[a,b]上連續(xù)(2)在開區(qū)間(a,b)內(nèi)可導(dǎo)(3)在開區(qū)間(a,b)內(nèi)至少存在一點使?jié)M足:要證柯西目錄上頁下頁返回結(jié)束證:作輔助函數(shù)且使即由羅爾定理知,至少存在一點思考:柯西定理的下述證法對嗎?兩個

不一定相同錯!機動目錄上頁下頁返回結(jié)束上面兩式相比即得結(jié)論.柯西定理的幾何意義:注意:弦的斜率切線斜率機動目錄上頁下頁返回結(jié)束例3.1.5設(shè)至少存在一點使證:結(jié)論可變形為設(shè)則在[0,1]上滿足柯西中值定理條件,因此在(0,1)內(nèi)至少存在一點

,使即證明機動目錄上頁下頁返回結(jié)束例4.設(shè)思考:例4結(jié)論是否可用羅爾定理證明?易證

(x)在[0,1]上滿足羅爾中值定理條件,使因此存在機動目錄上頁下頁返回結(jié)束至少存在一點使證明分析:把求證的結(jié)論移項,設(shè)輔助函數(shù):內(nèi)容小結(jié)1.微分中值定理的條件、結(jié)論及關(guān)系羅爾定理拉格朗日中值定理柯西中值定理2.微分中值定理的應(yīng)用(1)證明恒等式(2)證明不等式(3)證明有關(guān)中值問題的結(jié)論關(guān)鍵:利用逆向思維設(shè)輔助函數(shù)費馬引理機動目錄上頁下頁返回結(jié)束思考與練習(xí)1.填空題1)函數(shù)在區(qū)間[1,2]上滿足拉格朗日定理條件,則中值2)設(shè)有個根,它們分別在區(qū)間機動目錄上頁下頁返回結(jié)束上.方程(P45題14)2.設(shè)且在內(nèi)可導(dǎo),證明至少存在一點使提示:由結(jié)論可知,只需證即驗證在上滿足羅爾定理條件.設(shè)機動目錄上頁下頁返回結(jié)束(P56例5)3.若可導(dǎo),試證在其兩個零點間一定有的零點.提示:設(shè)欲證:使只要證亦即作輔助函數(shù)驗證在上滿足羅爾定理條件.機動目錄上頁下頁返回結(jié)束4.設(shè)求證存在使可導(dǎo)，且在連續(xù)，證：因此至少存在顯然在上滿足羅爾定理條件,即設(shè)輔助函數(shù)使得機動目錄上頁下頁返回結(jié)束(P44題8)設(shè)證明對任意有證：5.不妨設(shè)機動目錄上頁下頁返回結(jié)束作業(yè)P1145,7（1），（3）第二節(jié)目錄上頁下頁返回結(jié)束費馬費馬(1601–1665)法國數(shù)學(xué)家,他是一位律師,數(shù)學(xué)只是他的業(yè)余愛好.他興趣廣泛,博覽群書并善于思考,在數(shù)學(xué)上有許多重大貢獻.他特別愛好數(shù)論,他提出的費馬大定理:歷經(jīng)358年,直到1993年才由美國普林斯頓大學(xué)的安德魯.懷爾斯教授經(jīng)過十年的潛心研究才得到解決.引理是后人從他研究解決最值的方法中提煉出來的.拉格朗日(1736–1813)法國數(shù)學(xué)家.他在方程論,解析函數(shù)論,及數(shù)論方面都作出了重要的貢獻,近百余年來,數(shù)學(xué)中的許多成就都直接或間接地溯源于他的工作,他是對分析數(shù)學(xué)產(chǎn)生全面影響的數(shù)學(xué)家之一.柯西(1789–1857)法國數(shù)學(xué)家,他對數(shù)學(xué)的貢獻主要集中在微