中值定理构造辅助函数.docxVIP

微分中值定理证明中辅助函数的构造 1原函数法 此法是将结论变形并向罗尔定理的结论靠拢，凑出适当的原函数作为辅助函数， 主要思想分为四点：（1）将要证的结论中的§换成兀；（2）通过恒等变形将结论化为易消 除导数符号的形式；（3）用观察法或积分法求出原函数（等式中不含导数符号），并取 积分常数为零；（4）移项使等式一边为零，另一边即为所求辅助函数F⑴. 例1：证明柯西中值定理. 分析：在柯西中值定理的结论酬筒中令…，得 先变形为衞喘伯）再两边同时积分得 /(b)-/⑺) /(b)-/⑺) g(b)-g(a) g(x) = /(Q + C ,令 C = 0 /(毎g(坍 /( 尸（兀）=/（兀）_/丫）一/ g（x）为所求辅助函数. g@）-g⑷ 例2：若兔，q , $，…，色是使得）+” + ￥ +…+上、=0的实数.证明方程 2 3 n + \ 兔+q无+匕2兀2 +…+匕“=0在（0, 1）内至少有一实根. 证： 由于［*（）+。］兀 + 偽〒 ++ anxn）dx = a^x-^ — x1 +—x3 +??? + -^—兀° +C」 ? 2 3 n +1 并且这一积分结果与题设条件和要证明的结论有联系，所以设 F（x） = a{}x + — x2 + —x3 +??? + -^-xJ （取C = 0 ）,贝！J 2 3 n + 1 1） F（x）在［0, 1］上连续 2） F（x）在（0, 1）内可导 3） F（0）=0, 尸⑴二勺+色+纟+…+厶二。 2 3 n + \ 故尸（尢）满足罗尔定理的条件，由罗尔定理，存在e （0,1）使F@） = 0,即 （。（）兀+号■兀2 + 守兀‘+…+上穿兀处）：=卍=0亦即€z0+a,^ + ^2 +???+qg = 0? 这说明方程6/() + aAx+tz2x2 + ? ? ?+ciflxn = 0在(0, 1)内至少有实根x = ^ . 2积分法 对一些不易凑出原函数的问题，可用积分法找相应的辅助函数. 例3：设/(兀)在［1, 2］上连续，在(1, 2)内可导，/(1) = |, /(2) = 2.证明存 在壮(1,2)使广⑷=琴2? TOC \o 1-5 \h \z 分析：结论变形为彳厂?-2/? = 0,不易凑成F,(x)|^ = 0?我们将§换为兀， 结论变形为空2-2 = 0,积分得:ln/(x)-21nx = ln^ = lnc,即绰=。，从而 /(X) X 对 对 可设辅助函数为F⑴=绰，有F(1) = F(2) =丄.本题获证. JT 2 例4：设函数/(x), g(x)在［a,b］上连续,在(a,b)内可微，f(a) = f(b) = 0.证 ?厂?明存在介(恥)，使得：广? + 0? ?厂? 证：将广? + /(0g@) = O变形为广? = g)g@)= 为「则*4 ‘两边关于兀积分’得 /(砂 e双p (計)兀=)C e吠p(g = Ke x ~p您丿，其中K = expC{,由 /( x)= K e欢p (g可得K = /(x)exp(g(x))?由上面积分的推导可知，/(x)exp(g(x)) 为一常数K,故其导数必为零，从整个变形过程知，满足这样结论的§的存在是不成 问题的.因而令F(x) = /(x)exp(g(x)),易验证其满足罗尔定理的条件，原题得证. 3几何直观法 此法是通过几何图形考查两函数在区间端点处函数值的关系，从而建立适当的辅 助函数. 例5：证明拉格朗H中值定理. 在两分析：通过弦AB两个端点的育?线方程为 y = /⑷+理二型(…),则函数/(劝与 b-a 在两 F（務 * x）直线 AB 的方程之差即函数 F（務 * x） 个端点处的函数值均为零，从而满足罗尔定理的条件故上式即为要做辅助函数. 例6：若/(兀)在［a,b］上连续且f(a) a. f(b) b ?试证在(a,b)内至少有一点§ , 分析：由图可看出，此题的几何意义是说，连 续函数y = /(x)的图形曲线必跨越)工兀这一条肓 线，而两者的交点的横坐标「恰满足f(U 进 而还可由图知道，对［a,b］上的同一自变量值兀，这 两条曲线纵坐标之差f(x)-x构成一个新的函数 g(x),它满足g(a)v0,gG)0,因而符合介值定理的 条件.当歹为g⑴的一个零点时，g? = 0恰等价于因此即知证明的关键 是构造辅助函数g(x) = f(x)-x? 4常数k值法 此方法构造辅助函数的步骤分为以下四点： 将结论变形，使常数部分分离出来并令为R? 恒等变形使等式一端为。及/(a)构成的代数式，另一端为b及/⑺)构成的代 数式. 观察分析关于端点的表达式是否为对称式.若是，则把其中一个端点设为x, 相应的函数值改为/(%). 端点换变量无的表达式即为辅助函数F(