《中值定理构造辅助函数23500.pdf》由会员分享，可在线阅读，更多相关《中值定理构造辅助函数23500.pdf（6页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、微分中值定理证明中辅助函数的构造 1 原函数法 此法是将结论变形并向罗尔定理的结论靠拢，凑出适当的原函数作为辅助函数，主要思想分为四点：(1)将要证的结论中的换成x；(2)通过恒等变形将结论化为易消除导数符号的形式；(3)用观察法或积分法求出原函数（等式中不含导数符号），并取积分常数为零；(4)移项使等式一边为零，另一边即为所求辅助函数()F x 例 1：证明柯西中值定理 分析：在柯西中值定理的结论()()()()()()f bf afg bg ag中令x，得()()()()()()f bf afxg bg ag x，先变形为()()()()()()f bf ag xfxg bg a再两边同时
2、积分得()()()()()()f bf ag xf xCg bg a，令0C，有()()()()0()()f bf af xg xg bg a故()()()()()()()f bf aF xf xg xg bg a为所求辅助函数 例 2：若0a,1a,2a,na是 使 得1200231naaaan的 实 数 证 明 方 程20120nnaa xa xa x在（0，1）内至少有一实根 证：由于2231120120()231nnnnaaaaa xa xa x dxa xxxxCn 并且这一积分结果与题设条件和要证明的结论有联系，所以设 231120()231nnaaaF xa xxxxn（取0C）
3、，则 1）()F x在0，1上连续 2）()F x在（0，1）内可导 3）(0)F=0，120(1)0231naaaFan 故()F x满 足 罗 尔 定 理 的 条 件，由 罗 尔 定 理，存 在(0,1)使()0F，即231120()0231nnxaaaa xxxxn亦即20120nnaaaa 这说明方程20120nnaa xa xa x在（0，1）内至少有实根x 2 积分法 对一些不易凑出原函数的问题，可用积分法找相应的辅助函数 word 专业资料-可复制编辑-欢迎下载 例 3：设()f x在1，2上连续，在（1，2）内可导，1(1)2f，(2)2f 证明存在(1,2)使2()()ff
4、分析：结论变形为()2()0ff，不易凑成()0 xF x我们将换为x，结论变形为()20()fxf xx，积分得：2()ln()2lnlnlnf xf xxcx，即2()f xcx，从而可设辅助函数为2()()f xF xx，有1(1)(2)2FF本题获证 例 4：设函数()f x，()g x在,a b上连续，在(,)a b内可微，()()0f af b证明存在(,)a b，使得：()()()0ffg 证：将()()()0ffg变形为()()()ffg()()()fgf，将换为x，则()()()fxg xf x，两边关于x积分，得：()()()fxdxgdxf x 1()()ln()()()
5、d f xd g xf xg xCf x ，所以()()exp()exp()f xexpg xCg xCexp()Kg x，其 中exp()KC，由()()f xKexpg x可得()exp()Kf xg x由上面积分的推导可知，()exp()f xg x为一常数K，故其导数必为零，从整个变形过程知，满足这样结论的的存在是不成问题的因而令()()exp()F xf xg x，易验证其满足罗尔定理的条件，原题得证 3 几何直观法 此法是通过几何图形考查两函数在区间端点处函数值的关系，从而建立适当的辅助函数 例 5：证明拉格朗日中值定理 分析：通过弦AB两个端点的直线方程为()()()()f bf
6、 ayf axaba，则函数()f x与直线AB的方程之差即函数()()()()()()f bf aF xf xf axaba在两个word 专业资料-可复制编辑-欢迎下载 端点处的函数值均为零，从而满足罗尔定理的条件故上式即为要做辅助函数 例 6：若()f x在,a b上连续且(),()f aa f bb试证在(,)a b内至少有一点，使()f 分析：由图可看出，此题的几何意义是说，连续函数()yf x的图形曲线必跨越yx这一条直线，而两者的交点的横坐标，恰满足()f进而还可由图知道，对,a b上的同一自变量值x，这两条曲线纵坐标之差()f xx构成一个新的函数()g x，它满足()g a0
7、,因而符合介值定理的条件当为()g x的一个零点时，()0g恰等价于()f因此即知证明的关键是构造辅助函数()()g xf xx 4 常数 k 值法 此方法构造辅助函数的步骤分为以下四点：1）将结论变形，使常数部分分离出来并令为k 2）恒等变形使等式一端为a及()f a构成的代数式，另一端为b及()f b构成的代数式 3）观察分析关于端点的表达式是否为对称式若是，则把其中一个端点设为x，相应的函数值改为()f x 4）端点换变量x的表达式即为辅助函数()F x 例 7：设()f x在,a b上连续，在(,)a b内可导，(0)ab，试证存在一点(,)a b，使等式()()ln()af bf a
8、fb成立 分 析：将 结 论 变 形 为()()()lnlnf bf afba，令()()lnlnf bf akba，则 有()ln()lnf bkbf aka，令bx，可得辅助函数()()lnF xf xkx 例 8：设()fx在,a b上 存 在，在acb，试 证 明 存 在(,)a b，使 得()()()1()()()()()()()2f af bf cfab acba bcca cb word 专业资料-可复制编辑-欢迎下载 分析：令()()()()()()()()()f af bf ckab acba bcca cb，于是有()()()()()()()()()bc f aab f c
9、ca f bk ab ac bc，上式为关于a，b，c三点的轮换对 称 式，令bx（or：cx，or：ax），则 得 辅 助 函 数()()()()()()()()()()F xxc f aax f cca f xk ax ac xc 5 分析法 分析法又叫倒推法，就是从欲证的结论出发借助于逻辑关系导出已知的条件和结论 例 9：设函数()F x在0，1上连续，在（0，1）内可导，证明在（0，1）内存在一点C，使得1(1)(0)()()ccFFeeF C 分 析：所 要 证 的 结 论 可 变 形 为：11(1)(0)()()()ccceFFeeF cF ce，即(1)(0)()1cFFF ce
10、e，因此可构造函数()xG xe，则对()F x与()G x在0，1上应用柯西中值定理即可得到证明 例 10：设函数()f x在0,1上连续，在（0，1）内可导，且(0)f=0，对任意(0,1)x有()0f x 证明存在一点(0,1)使()(1)()(1)nffff（n为自然数）成立 分析：欲证其成立，只需证()(1)(1)()0nffff由于对任意(0,1)x有()0f x，故只需证：1()()(1)(1)()0nnn fffff即()(1)0nxf xfx，于是引入辅助函数()()(1)nF xf xfx（n为自然数）例 11：设函数()f x在区间0，+上可导，且有n个不同零点：120n
11、xxx 试证()()af xfx在0，+内至少有1n个不同零点（其中，a为任意实数）证明：欲证()()af xfx在0，+）内至少有1n个不同零点，只需证方程()()af xfx=0 在0，+内至少有1n个不同实根 因为，0,+)x，axe0，故只需证方程axe()()0af xfx在0,+)内至少有1n个不同实根 引入辅助函数()()axF xef x，易验证()F x在区间12,x x，23,xx，1,nnxx上满足word 专业资料-可复制编辑-欢迎下载 罗 尔 定 理 的 条 件，所 以，分 别 在 这1n个 区 间 上 应 用 罗 尔 定 理，得121()()()0nFFF，其中11
12、222311(,),(,),(,)nnnx xxxxx且1210n 以上说明方程()0F x 在12,x x23,xx1,nnxx0，+内至少有1n个不同实根，从而证明了方程()()af xfx=0 在0，+内至少有1n个不同实根 6 待定系数法 在用待定系数法时，一般选取所证等式中含的部分为M，再将等式中一个端点的值b换成变量x，使其成为函数关系，等式两端做差构造辅助函数()x，这样首先可以保证()b=0，而由等式关系()a=0 自然满足，从而保证()x满足罗尔定理条件，再应用罗尔定理最终得到待定常数M与()f之间的关系 例 12：设()f x是,a b上的正值可微函数，试证存在(,)a b
13、，使()()ln()()()f bfbaf af 证明：设()ln()()f bM baf a，令()()ln()()f xxM xaf a容易验证()x在,a b 上满足罗 尔 定 理 条 件，由 罗 尔 定 理，存 在(,)a b使()0，解 得()()fMf，故()()ln()()()f bfbaf af 例 13：设函数()f x在,a b上连续，在(,)a b内可导，则在(,)a b内至少存在一点使222 ()()()()f bf abaf 证明：将所证等式看作22()()()()2ff bf aba，设22()()()f bf aM ba，令22()()()()xf xf aM x
14、a，则()x满足罗尔定理条件，由罗尔定理得，存在一点(,)a b，使()0，即()2fM，若=0，则()0f，结论成立；若0，则()2fM，从而有222 ()()()()f bf afba 例 14：设120 xx，则存在12(,)x x使211212(1)()xxx ex eexx word 专业资料-可复制编辑-欢迎下载 分析：对于此题设211212()xxx ex eM xx作函数11()xxxx exe1()M xx 应用罗尔定理可得存在12(,)x x，使()0，即110 xx eeM，从而11xMex e，这样并不能证明原结论，遇到这种情况，说明所作的辅助函数不合适，则需要将所证明的等式变形，重新构造辅助函数 证明：将所证等式变形为21212111(1)()xxeeexxxx，设2121xxeexx2111()Mxx，令11()xxeexxx111()Mxx，则()x满足罗尔定理条件，用罗尔定理可得存在12(,)x x，使()0，即2210eeM，于是(1)Me，故211212(1)()xxx ex eexx 总之，证明微分中值命题的技巧在于：一是要仔细观察，适当变换待证式子；二是要认真分析，巧妙构造辅助函数抓住这两点，即可顺利完成证明