微分中值定理证明中辅助函数的构造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亦即a0a1a