中值定理构造辅助函数

【第1页共8页】微分中值定理证明中辅助函数的构造1原函数法此法是将结论变形并向罗尔定理的结论靠拢，凑出适当的原函数作为辅助函数，主要思想分为四点：(1)将要证的结论中的换成x；(2)通过恒等变形将结论化为易消除导数符号的形式；(3)用观察法或积分法求出原函数（等式中不含导数符号），并取积分常数为零；(4)移项使等式一边为零，另一边即为所求辅助函数()Fx．例1：证明柯西中值定理．分析：在柯西中值定理的结论()()'()()()'()fbfafgbgag中令x，得()()'()()()'()fbfafxgbgagx，先变形为()()'()'()()()fbfagxfxgbga再两边同时积分得()()()()()()fbfagxfxCgbga，令0C，有()()()()0()()fbfafxgxgbga故()()()()()()()fbfaFxfxgxgbga为所求辅助函数．例2：若0a,1a,2a,…,na是使得1200231naaaan…的实数．证明方程20120nnaaxaxax…在（0，1）内至少有一实根．证：由于2231120120()231nnnnaaaaaxaxaxdxaxxxxCn……并且这一积分结果与题设条件和要证明的结论有联系，所以设231120()231nnaaaFxaxxxxn…（取0C），则1）()Fx在[0，1]上连续2）()Fx在（0，1）内可导3）(0)F=0，120(1)0231naaaFan…故()Fx满足罗尔定理的条件，由罗尔定理，存在(0,1)使'()0F，即231120()'0231nnxaaaaxxxxn…亦即20120nnaaaa…．【第2页共6页】这说明方程20120nnaaxaxax…在（0，1）内至少有实根x．2积分法对一些不易凑出原函数的问题，可用积分法找相应的辅助函数．例3：设()fx在[1，2]上连续，在（1，2）内可导，1(1)2f，(2)2f．证明存在(1,2)使2()'()ff．分析：结论变形为'()2()0ff，不易凑成'()0xFx．我们将换为x，结论变形为'()20()fxfxx，积分得：2()ln()2lnlnlnfxfxxcx，即2()fxcx，从而可设辅助函数为2()()fxFxx，有1(1)(2)2FF．本题获证．例4：设函数()fx，()gx在[,]ab上连续，在(,)ab内可微，()()0fafb．证明存在(,)ab，使得：'()()'()0ffg．证：将'()()'()0ffg变形为'()()'()ffg'()'()()fgf，将换为x，则'()'()()fxgxfx，两边关于x积分，得：'()'()()fxdxgdxfx1[()][()]ln()()()dfxdgxfxgxCfx，所以()(())exp(())exp()fxexpgxCgxCexp(())Kgx，其中exp()KC，由()(())fxKexpgx可得()exp(())Kfxgx．由上面积分的推导可知，()exp(())fxgx为一常数K，故其导数必为零，从整个变形过程知，满足这样结论的的存在是不成问题的．因而令()()exp(())Fxfxgx，易验证其满足罗尔定理的条件，原题得证．3几何直观法此法是通过几何图形考查两函数在区间端点处函数值的关系，从而建立适当的辅助函数．例5：证明拉格朗日中值定理．【第3页共6页】分析：通过弦AB两个端点的直线方程为()()()()fbfayfaxaba，则函数()fx与直线AB的方程之差即函数()()()()[()()]fbfaFxfxfaxaba在两个端点处的函数值均为零，从而满足罗尔定理的条件故上式即为要做辅助函数．例6：若()fx在[,]ab上连续且(),()faafbb．试证在(,)ab内至少有一点，使()f．分析：由图可看出，此题的几何意义是说，连续函数()yfx的图形曲线必跨越yx这一条直线，而两者的交点的横坐标，恰满足()f．进而还可由图知道，对[,]ab上的同一自变量值x，这两条曲线纵坐标之差()fxx构成一个新的函数()gx，它满足()ga0,()gb0,因而符合介值定理的条件．当为()gx的一个零点时，()0g恰等价于()f．因此即知证明的关键是构造辅助函数()()gxfxx．4常数k值法此方法构造辅助函数的步骤分为以下四点：1）将结论变形，使常数部分分离出来并令为k．2）恒等变形使等式一端为a及()fa构成的代数式，另一端为b及()fb构成的代数式．3）观察分析关于端点的表达式是否为对称式．若是，则把其中一个端点设为x，相应的函数值改为()fx．4）端点换变量x的表达式即为辅助函数()Fx．例7：设()fx在[,]ab上连续，在(,)ab内可导，(0)ab，试证存在一点(,)ab，【第4页共6页】使等式()()ln'()afbfafb成立．分析：将结论变形为()()'()lnlnfbfafba，令()()lnlnfbfakba，则有()ln()lnfbkbfaka，令bx，可得辅助函数()()lnFxfxkx．例8：设''()fx在[,]ab上存在，在acb，试证明存在(,)ab，使得()()()1''()()()()()()()2fafbfcfabacbabccacb．分析：令()()()()()()()()()fafbfckabacbabccacb，于是有()()()()()()()()()bcfaabfccafbkabacbc，上式为关于a，b，c三点的轮换对称式，令bx（or：cx，or：ax），则得辅助函数()()()()()()()()()()Fxxcfaaxfccafxkaxacxc．5分析法分析法又叫倒推法，就是从欲证的结论出发借助于逻辑关系导出已知的条件和结论．例9：设函数()Fx在[0，1]上连续，在（0，1）内可导，证明在（0，1）内存在一点C，使得1(1)(0)()'()ccFFeeFC．分析：所要证的结论可变形为：11(1)(0)()'()'()ccceFFeeFcFce，即(1)(0)'()1cFFFcee，因此可构造函数()xGxe，则对()Fx与()Gx在[0，1]上应用柯西中值定理即可得到证明．例10：设函数()fx在[0,1]上连续，在（0，1）内可导，且(0)f=0，对任意(0,1)x有()0fx．证明存在一点(0,1)使'()'(1)()(1)nffff（n为自然数）成立．分析：欲证其成立，只需证'()(1)'(1)()0nffff由于对任意(0,1)x有()0fx，故只需证：1(())'()(1)'(1)(())0nnnfffff即'[(())(1)]0nxfxfx，于是引入辅助函数()(())(1)nFxfxfx（n为自然数）．【第5页共6页】例11：设函数()fx在区间［0，+］上可导，且有n个不同零点：120nxxx…．试证()'()afxfx在[0，+]内至少有1n个不同零点．（其中，a为任意实数）证明：欲证()'()afxfx在[0，+）内至少有1n个不同零点，只需证方程()'()afxfx=0在[0，+]内至少有1n个不同实根．因为，[0,+)x，axe0，故只需证方程axe[()'()]0afxfx在[0,+)内至少有1n个不同实根．引入辅助函数()()axFxefx，易验证()Fx在区间[12,xx]，[23,xx]，…，[1,nnxx]上满足罗尔定理的条件，所以，分别在这1n个区间上应用罗尔定理，得121'()'()'()0nFFF…，其中11222311(,),(,),(,)nnnxxxxxx…且1210n…以上说明方程'()0Fx在[12,xx][23,xx]…[1,nnxx][0，+]内至少有1n个不同实根，从而证明了方程()'()afxfx=0在[0，+]内至少有1n个不同实根．6待定系数法在用待定系数法时，一般选取所证等式中含的部分为M，再将等式中一个端点的值b换成变量x，使其成为函数关系，等式两端做差构造辅助函数()x，这样首先可以保证()b=0，而由等式关系()a=0自然满足，从而保证()x满足罗尔定理条件，再应用罗尔定理最终得到待定常数M与'()f之间的关系．例12：设()fx是[,]ab上的正值可微函数，试证存在(,)ab，使()'()ln()()()fbfbafaf．证明：设()ln()()fbMbafa，令()()ln()()fxxMxafa容易验证()x在[,]ab上【第6页共6页】满足罗尔定理条件，由罗尔定理，存在(,)ab使'()0，解得'()()fMf，故()'()ln()()()fbfbafaf．例13：设函数()fx在[,]ab上连续，在(,)ab内可导，则在(,)ab内至少存在一点使222[()()]()'()fbfabaf．证明：将所证等式看作22'()()()()2ffbfaba，设22()()()fbfaMba，令22()()()()xfxfaMxa，则()x满足罗尔定理条件，由罗尔定理得，存在一点(,)ab，使'()0，即'()2fM，若=0，则'()0f，结论成立；若0，则'()2fM，从而有222[()()]()()fbfafba．例14：设120xx，则存在12(,)xx使211212(1)()xxxexeexx．分析：对于此题设211212()xxxexeMxx作函数11()xxxxexe1()Mxx．应用罗尔定理可得存在12(,)xx，使'()0，即110xxeeM，从而11xMexe，这样并不能证明原结论，遇到这种情况，说明所作的辅助函数不合适，则需要将所证明的等式变形，重新构造辅助函数．证明：将所证等式变形为21212111(1)()xxeeexxxx，设2121xxeexx2111()Mxx，令11()xxeexxx111()Mxx，则()x满足罗尔定理条件，用罗尔定理可得存在12(,)xx，使'()0，即2210eeM，于是(1)Me，故211212(1)()xxxexeexx．总之，证明微分中值命题的技巧在于：一是要仔细观察，适当变换待证式子；二是要认真分析，巧妙构造辅助函数．抓住这两点，即可顺利完成证明．