1、第三章中值定理中值定理应用应用研究函数性质及曲线性态利用导数解决实际问题罗尔中值定理拉格朗日中值定理柯西中值定理泰勒公式(第三节)推广推广微分中值定理 与导数的应用 一、罗尔一、罗尔(Rolle)定理定理第一节机动 目录 上页 下页 返回 结束 二、拉格朗日中值定理二、拉格朗日中值定理 三、柯西三、柯西(Cauchy)中值定理中值定理 中值定理 第三三章 费马费马(fermat)引理引理一、罗尔一、罗尔(Rolle)定理定理,)(0有定义在x且)(0 xf 存在,)()(0 xfxf)(或0)(0 xf证证:设,)()(,)(0000 xfxxfxxx则)(0 xf xxfxxfx)()(li
2、m000)0(x)(0 xf)0(x)(0 xf000)(0 xfxyo0 x)(xfy 费马 目录 上页 下页 返回 结束 证毕罗尔（罗尔（Rolle）定理）定理)(xfy 满足:(1)在区间 a,b 上连续(2)在区间(a,b)内可导(3)f(a)=f(b),使.0)(fxyoab)(xfy 证证:，上连续在因,)(baxf故在 a,b 上取得最大值 M 和最小值 m.若 M=m,则,)(baxMxf因此.0)(,),(fba在(a,b)内至少存在一点机动 目录 上页 下页 返回 结束 若 M m,则 M 和 m 中至少有一个与端点值不等,不妨设,)(afM 则至少存在一点,),(ba使,
3、)(Mf.0)(f注意注意:1)定理条件条件不全具备,结论不一定成立.例如,1,010,)(xxxxfx1yo则由费马引理得 1,1)(xxxf 1,0)(xxxfx1yo1x1yo机动 目录 上页 下页 返回 结束 使2)定理条件只是充分的.本定理可推广为)(xfy 在(a,b)内可导,且)(limxfax)(limxfbx在(a,b)内至少存在一点,.0)(f证明提示证明提示:设证 F(x)在 a,b 上满足罗尔定理.)(xFaxaf,)(bxaxf,)(bxbf,)(机动 目录 上页 下页 返回 结束 例例1.证明方程0155 xx,15)(5xxxf.3)1(,1)0(ff,0)(0
4、xf,)1,0(011xxx)1(5)(4xxf),1,0(,0 x有且仅有一个小于1 的正实根.证证:1)存在性.则)(xf在 0,1 连续,且由介值定理知存在,)1,0(0 x使即方程有小于 1 的正根.0 x2)唯一性.假设另有,0)(1xf使在以)(xf10,xx为端点的区间满足罗尔定理条件,之间在10,xx至少存在一点,.0)(f使但矛盾,故假设不真!设机动 目录 上页 下页 返回 结束 二、拉格朗日中值定理二、拉格朗日中值定理 )(1)在区间 a,b 上连续)(xfy 满足:(2)在区间(a,b)内可导至少存在一点,),(ba使.)()()(abafbffxyoab)(xfy 思路
5、思路:利用逆向思维逆向思维找出一个满足罗尔定理条件的函数作辅助函数显然,)(x在 a,b 上连续,在(a,b)内可导,且证证:问题转化为证)(x)(xfxabafbf)()()(a由罗尔定理知至少存在一点,),(ba,0)(使即定理结论成立.,)(babbfaafb)()(拉氏 目录 上页 下页 返回 结束 0)()()(abafbff证毕拉格朗日中值定理的有限增量形式:推论推论:若函数在区间 I 上满足,0)(xf则)(xf在 I 上必为常数.)(xf证证:在 I 上任取两点,)(,2121xxxx上用拉在,21xx日中值公式,得0)()(12xfxf)(12xxf)(21xx)()(12x
6、fxf由 的任意性知,21,xx)(xf在 I 上为常数.)10()(0 xxxfy,00 xxbxa令则机动 目录 上页 下页 返回 结束 例例2.证明等式.1,1,2arccosarcsinxxx证证:设,arccosarcsin)(xxxf上则在)1,1()(xf由推论可知Cxxxfarccosarcsin)(常数)令 x=0,得.2C又,2)1(f故所证等式在定义域 上成立.1,1自证自证:),(x,2cotarcarctanxx211x211x0经验经验:欲证Ix时,)(0Cxf只需证在 I 上,0)(xf,0Ix 且.)(00Cxf使机动 目录 上页 下页 返回 结束 例例3.证明
7、不等式证证:设,)1ln()(ttf上满足拉格朗日在则,0)(xtf中值定理条件,即因为故.)0()1ln(1xxxxx)0()(fxf)1ln(xxx0,11x xx1x)0()1ln(1xxxxxxxf0,)0)(因此应有机动 目录 上页 下页 返回 结束 三、柯西三、柯西(Cauchy)中值定理中值定理0)()()()()()(fFaFbFafbf)(分析分析:)(xf及(1)在闭区间 a,b 上连续(2)在开区间(a,b)内可导(3)在开区间(a,b)内至少存在一点,),(ba使.)()()()()()(FfaFbFafbf满足:)(xF0)(xF)()(aFbF)(abFba0要证)
8、()()()()()()(xfxFaFbFafbfx柯西 目录 上页 下页 返回 结束 证证:作辅助函数)()()()()()()(xfxFaFbFafbfx)()()()()()()()(baFbFbFafaFbfa,),(,)(内可导在上连续在则babax且,),(ba使,0)(即由罗尔定理知,至少存在一点.)()()()()()(FfaFbFafbf思考思考:柯西定理的下述证法对吗?),(,)()()(baabfafbf),(,)()()(baabFaFbF两个 不一定相同错错!机动 目录 上页 下页 返回 结束 上面两式相比即得结论.柯西定理的几何意义柯西定理的几何意义:)()()()
9、()()(FfaFbFafbf)(F)(aF)()(tfytFx)(af)(bF)(bf)()(ddtFtfxy注意:xyo弦的斜率切线斜率机动 目录 上页 下页 返回 结束)0()1(ff)0()1(FF例例4.设).0()1(2)(fff2)(01)0()1(fffxxxf)()(2,)(2xxF,)1,0(,1,0)(内可导在上连续在xf至少存在一点),1,0(使证证:结论可变形为设则)(,)(xFxf在 0,1 上满足柯西中值定理条件,因此在(0,1)内至少存在一点 ,使)(f)(F012即)0()1(2)(fff证明机动 目录 上页 下页 返回 结束 11lncos1lnln1lns
10、inlnsinee),1(,)()()1()()1()(eFfFeFfef例例5.试证至少存在一点),1(e使.lncos1sinlncos1sin 证证:法法1 用柯西中值定理.xxFxxfln)(,lnsin)(则 f(x),F(x)在 1,e 上满足柯西中值定理条件,令因此 11lncoslncos1sin即分析分析:机动 目录 上页 下页 返回 结束 例例5.试证至少存在一点),1(e使.lncos1sin法法2 令xxflnsin)(则 f(x)在 1,e 上满足罗尔中值定理条件,),1(e使0)(fxlncos)(xf1sinx1lncos1sin 因此存在x1xln1sin 机动
11、 目录 上页 下页 返回 结束 内容小结内容小结1.微分中值定理的条件、结论及关系罗尔定理拉格朗日中值定理柯西中值定理)()(afbfxxF)()()(afbfxxF)(2.微分中值定理的应用(1)证明恒等式(2)证明不等式(3)证明有关中值问题的结论关键关键:利用逆向思维设辅助函数费马引理机动 目录 上页 下页 返回 结束 4412 3412思考与练习思考与练习1.填空题填空题1)函数4)(xxf在区间 1,2 上满足拉格朗日定理条件,则中值._2)设有个根,它们分别在区间341530)(xf)4,3(,)2,1(,)3,2(机动 目录 上页 下页 返回 结束 上.,)4)(3)(2)(1(
12、)(xxxxxf方程2.设,0)(Cxf且在),0(内可导,证明至少存在一点,),0(使.cot)()(ff提示提示:由结论可知,只需证0cos)(sin)(ff即0sin)(xxxf验证)(xF在,0上满足罗尔定理条件.设xxfxFsin)()(机动 目录 上页 下页 返回 结束 3.若)(xf可导,试证在其两个零点间一定有)()(xfxf的零点.提示提示:设,0)()(2121xxxfxf欲证:,),(21xx使0)()(ff只要证0)()(ffee亦即0)(xxxfe作辅助函数,)()(xfexFx验证)(xF在,21xx上满足罗尔定理条件.机动 目录 上页 下页 返回 结束 4.思考:
13、在0,00,sin)(12xxxxfx,0 x),0(,)0)()0()(xxffxf即xx12sin1sin2(,)cos1x),0(xxx111sinsin2cos当,00 x时.0cos1问问是否可由此得出?0coslim10 xx不能不能!因为)(x是依赖于 x 的一个特殊的函数.因此由上式得表示 x 从右侧以任意方式趋于 0.0 x应用拉格朗日中值定理得上对函数机动 目录 上页 下页 返回 结束 )(111nnf作业作业P132 7,8,10,12,14,15提示提示:xexfx)()(题15.)(nxxf)0(f 0)0(f0题14.考虑第二节 目录 上页 下页 返回 结束 费马费
14、马(1601 1665)法国数学家,他是一位律师,数学只是他的业余爱好.他兴趣广泛,博览群书并善于思考,在数学上有许多重大贡献.他特别爱好数论,他提出的费马大定理:,2无整数解方程时当nnnzyxn至今尚未得到普遍的证明.他还是微积分学的先驱,费马引理是后人从他研究最大值与最小值的方法中 提炼出来的.拉格朗日拉格朗日(1736 1813)法国数学家.他在方程论,解析函数论,及数论方面都作出了重要的贡献,近百余年来,数学中的许多成就都直接或间接地溯源于他的工作,他是对分析数学 产生全面影响的数学家之一.柯西柯西(1789 1857)法国数学家,他对数学的贡献主要集中在微积分学,柯 西全集共有 2
15、7 卷.其中最重要的的是为巴黎综合学 校编写的分析教程,无穷小分析概论,微积分在几何上的应用 等,有思想有创建,响广泛而深远.对数学的影他是经典分析的奠人之一,他为微积分所奠定的基础推动了分析的发展.复变函数和微分方程方面.一生发表论文800余篇,著书 7 本,备用题备用题求证存在,)1,0(.0)()(ffn使1.设 1,0可导，且,0)1(f在连续，)1,0()(xf证证：)()(xfxxn,)1,0(因此至少存在显然)(x在 上满足罗尔定理条件,1,0)(即0)()(ffn设辅助函数使得)()(1ffnnn0机动 目录 上页 下页 返回 结束 0)0(,0)(fxf设 证明对任意0,021xx有)()()(2121xfxfxxf证证：210 xx)()()(1221xfxfxxf12)(xf0)(121 fx)()()(2121xfxfxxf,(2122xxx2.不妨设)0()()()(1221fxfxfxxf)(21)011x11)(xf机动 目录 上页 下页 返回 结束
