微分中值定理证明中辅助函数的构造1原函数法此法是将结论变形并向罗尔定理的结论靠拢,凑出适当的原函数作为辅助函数,主要思想分为四点:(1)将要证的结论中的换成x;(2)通过恒等变形将结论化为易消除导数符号的形式;(3)用观察法或积分法求出原函数(等式中不含导数符号),并取积分常数为零;(4)移项使等式一边为零,另一边即为所求辅助函数F(x).例1:证明柯西中值定理.分析:在柯西中值定理的结论f(b)f(a)f'()f(b)f(a)f'(x)中令x,得,g(b)g(a)g'()g(b)g(a)g'(x)先变形为f(b)f(a)f(b)f(a)g'(x)f'(x)再两边同时积分得g(x)f(x)C,令C0,g(b)g(a)g(b)g(a)f(b)f(a)f(b)f(a)g(x)0故F(x)f(x)g(x)为所求辅助函数.g(b)g(a)g(b)g(a)有f(x)例2:若a0,a1,a2,…,an是使得a0aa1a2…n0的实数.证明方程23n1a0a1xa2x2…anxn0在(0,1)内至少有一实根.证:由于(a0a1xa2x2…anxn)dxa0xaa12a23xx…nxn1C23n1并且这一积分结果与题设条件和要证明的结论有联系,所以设F(x)a0xaa12a23,则xx…nxn1(取C0)23n11)F(x)在[0,1]上连续2)F(x)在(0,1)内可导3)F(0)=0,F(1)a0aa1a2…n023n1故F(x)满足罗尔定理的条件,由罗尔定理,存在(0,1)使F'()0,即(a0xaa12a23xx…nxn1)'x0亦即a0a1a22…ann0.23n1这说明方程a0a1xa2x2…anxn0在(0,1)内至少有实根x.2积分法对一些不易凑出原函数的问题,可用积分法找相应的辅助函数.word专业资料-可复制编辑-欢迎下载例3:设f(x)在[1,2]上连续,在(1,2)内可导,f(1)使f'()2f()1,f(2)2.证明存在(1,2)2.分析:结论变形为f'()2f()0,不易凑成F'(x)x0.我们将换为x,结论变形为f'(x)2f(x)f(x)0,积分得:lnf(x)2lnxln2lnc,即2c,从而可设辅助函数f(x)xxx为F(x)f(x)1,有.本题获证.F(1)F(2)2x2例4:设函数f(x),g(x)在[a,b]上连续,在(a,b)内可微,f(a)f(b)0.证明存在(a,b),使得:f'()f()g'()0.证:将f'()f()g'()0变形为f'()f()g'()f'(x)g'(x)f(x)f'(x)dxg'()dxf(x)f'()g'(),将换为x,f()则,两边关于x积分,得:1d[f(x)]d[g(x)]lnf(x)g(x)Cf(x),所以f(x)exp(g(x)C)exp(g(x))exp(C)Kexp(g(x)),其中Kexp(C),由f(x)Kexp(g(x))可得Kf(x)exp(g(x)).由上面积分的推导可知,f(x)exp(g(x))为一常数K,故其导数必为零,从整个变形过程知,满足这样结论的的存在是不成问题的.因而令F(x)f(x)exp(g(x)),易验证其满足罗尔定理的条件,原题得证.3几何直观法此法是通过几何图形考查两函数在区间端点处函数值的关系,从而建立适当的辅助函数.例5:证明拉格朗日中值定理.分析:通过弦AB两个端点的直线方程为yf(a)f(b)f(a)(xa),则函数f(x)与ba直线AB的方程之差即函数f(b)f(a)(xa)]在两baF(x)f(x)[f(a)个word专业资料-可复制编辑-欢迎下载端点处的函数值均为零,从而满足罗尔定理的条件故上式即为要做辅助函数.例6:若f(x)在[a,b]上连续且f(a)a,f(b)b.试证在(a,b)内至少有一点,使f().分析:由图可看出,此题的几何意义是说,连数yf(x)的图形曲线必跨越yx这一条直线,者的交点的横坐标,恰满足f().进而还可知道,对[a,b]上的同一自变量值x,这两条曲线纵之差f(x)x构成一个新的函数g(x),它满足g(a)<0,g(b)>0,因而符合介值定理的条件.当为续函而两由图坐标g(x)的一个零点时,g()0恰等价于f().因此即知证明的关键是构造辅助函数g(x)f(x)x.4常数k值法此方法构造辅助函数的步骤分为以下四点:1)将结论变形,使常数部分分离出来并令为k.2)恒等变形使等式一端为a及f(a)构成的代数式,另一端为b及f(b)构成的代数式.3)观察分析关于端点的表达式是否为对称式.若是,则把其中一个端点设为x,相应的函数值...