几种构造辅助函数的方法及应用

1、几种构造辅助函数的方法及应用许生虎（西北师范大学数学系，甘肃 兰州 730070）摘摘要要：在对数学命题的观察和分析基础上给出了构造辅助函数的方法，举例说明了寻求辅助函数的几种方法及在解题中的作用。关键词：关键词：辅助函数弧弦差法 原函数法 几何直观法微分方程法1. 引言引言在解题过程中，根据问题的条件与结论的特点，通过逆向分析、综合运用数学的基本概念和原理，经过深入思考、缜密的观察和广泛的联想，构造出一个与问题有关的辅助函数， 通过对函数特征的考查达到解决问题的目的，这种解决问题的方法叫做构造辅助函数法。构造函数方法在许多命题证明中的应用，使问题得以解决，如在微分中值定理、泰勒公式、中值点存

2、在性、不等式等证明。但构造辅助函数方法的内涵十分丰富没有固定的模式和方法，构造过程充分体现了数学的发现、类比、逆向思维及归纳、猜想、分析与化归思想。但如何通过构造，构造怎样的辅助函数给出命题的证明，是很难理解的问题之一，本文通过一些典型例题归纳、分析和总结常见的构造辅助函数方法及应用。2.2.构造辅助函数的七中方法构造辅助函数的七中方法2.12.1“逆向思维法逆向思维法”例 1： 设 xf在1 , 0上可微，且满足 21021dxxxff，证明在1 , 0内至少有一点，使 ff.证明:由所证明的结论出发,结合已知条件,探寻恰当的辅助函数.将 ff 变为 0ff,联想到 ffxxfx,可考虑辅助

3、函数 .1 , 0, xxxfxF因为 ff1,而对于 xF,有 fF, .11fF所以, 1FF,由罗尔定理知,至少存在一点1 ,使得 0F即: ff.证毕2.22.2 原函数法原函数法在微分中值定理(尤其是罗尔定理)求解介值(或零点)问题时要证明的结论往往是某一个函数的导函数的零点,因此可通过不定积分反求出原函数作为辅助函数,用此法构造辅助函数的具体步骤如下:(1)将要证的结论中的;)(0 xx 换或(2)通过恒等变换,将结论化为易积分(或易消除导数符号)的形式;(3)用观察法或凑微分法求出原函数(必要时可在等式两端同乘以非零的积分因子),为简便起见,可将积分常数取为零;(4)移项,将等式

4、一边为零,则等式的另一边为所求的辅助函数.例 2: , 0, 0,afababaxf且内可导，其中上连续，在在设 fabfba,证明：分析: fabf xfaxbxfx 令 xbaxfxf cxbxfalnlnln积分 cxfxba可令 xfxbxFa证明: 作辅助函数 xfxbxFa xF在内可导，又上连续，在baba, )0(0afafabaFa 0bfbbbFa故 xF在ba,上满足罗尔定理的条件于是，ba,，使 0F 01fbfbaa即：亦即： fabf证毕2.32.3设置变量法设置变量法当结论中含两个中值,时， 我们常常联想到应用拉格朗日定理柯西定理的证明，这是可用设置变量法作辅助函

5、数 xF。即：将结论中的或看作变量，作恒等变形后与中值定理的公式相对照，即可看出辅助函数的结构。例 3：设函数 xgxf,在上连续，ba,且 , 1agbg在ba,内 xgxf,可导,且 0, 0 xfxgxg.试证明:,ba eggeff分析:欲证等式 efggef将和均看作变量,则上式写成 efgef辅助函数可取：xxexxgex)()()(证明：),()(xgexx令则由题设可知,)(),(baxgxf在上满足柯西中值定理，于是，使得),(ba)()()()()()()(ggefagebgeafbfab因为1)()(bgag所以，) 1 ()()()()()(ggefeeafbfab再令

6、,)(),(,)(baxxfexx在则上满足柯西中值定理， 于是，使得),(ba)2()()()(efeeafbfab由（1） ， （2）得)()()(ggef=ef)( yeggeff)()()()(2.4 几何直观法对于某些证明题可以先从结论的几何意义进行分析，作为符合已知定义、定理的辅助曲线， 再利用解析几何知识列出辅助曲线方程进而找出证明题所需要的辅助函数，打开证明思路。例 4设函数)(xf在), 0 内可导，. 0)0()(fxf严格递增，试证明：在. 0)()(), 0(xfxf x内分析：由严格递增)(xf 知，)(xf是下凸函数.由图 1 知：)()(), 01xxfx有即：1

7、11( )()()()f xf xfxxx* MERGEFORMAT (1)即：切线总在曲线的下方（几何意义）.由图 2 知：.122121kkllkk则的斜率和分别表示和由即：10201210200,fxfxfxfxxxxxxx证明：方法一：有分析及（1）知取10,xxx时 00ff xfxx即： 00f xxfxf .xfxf x方法二：由（2）知，令00 x，则(2)式变为121212121212()(0)()(0)0,00()()()f xff xfxxxxf xf xxxxx再次引进辅助函数， ,0,)f xF xxx则)(xF递增，. 0)(xF即： 200 xfxf xxfxf

8、xx2.5 微分方程法所 谓 “ 微 分 方 程 法 ” 是 指 遇 到 诸 如 “ 求 证 存 在),(ba， 使 得)()(ff，”之类的问题时，可先解微分方程),(yxy，得其通解：cyxG),(，则可构造辅助函数).,()(yxGxF例5设)(xf在,ba上连续,在),(ba内可导,且, 0)(xf),(bax , 0)()(bfaf若证明：对kxfxfbaRk)()(),(,使.分析：将结论中的换成x，得可分离变量的微分方程：( )( )fxkf x，即.dykdxy其通解为( )kxf xce，即：e( )kxf xc于是可是辅助函数为 kxF xf x e则. 0)()(),(,

9、)(bFaFbabaxF内可导，且上连续，再在由 Rolle 定理知，至少存在一点),(ba使得( )0F即：( ).( )fkf2.6 常数 k 值法此法适用于从结论中可分离出常数部分的命题，构造出辅助函数)(xF的具体步骤如下：（1） 从结论中分离出常数部分，将它令为 k；（2） 做恒等变化，是等式（或不等式）一端为 a 及 f(a)构成的代数式，另一端为 b 和 f(b)构成的代数式；（3） 分析端点 a,b 的表达式是否为对称式或轮换式。若是将端点改为 x，相应的函数值 f(a)(或 f(b)改为 f(x)，则关于 x,f(x)的表达式即为索求的辅助函数 F(x).例 6：内可导，上连

10、续，在在设),(,)(, 0babaxfab使得证明：),(ba2( )( )( )( ) .af bbf aab baff分析：分离 a,b 与，则待证式 2af bbf affab ba则上式的左端显然是关于 a,b 的对称式.令其为 k,得2222( )( )()( )( )( )( )af bbf akab baaf bkabbf aka bf bkbf akaba于是，可令kxxxfxkxxfxF)()()(2证明：作辅助函数kxxxfxF)()(（其中)()()(abababfbafk）由题设条件可知内可导，上连续，在在),(,)(babaxF并且kaaafkbbbfaFbF)()

11、()()(0)()()()()()()()()(ababababfbafaafbbfkabaafbbf可见,件，上满足罗尔中值定理条在,)(baxF于是,0)(),(Fba使得即2)()()()()(ffabababfbaf.亦即)()()()()(2ffabababfbaf2.7 弧弦差法利用弧弦差来构造辅助函数，称为弧弦差构造函数法。微分中值定理的相关证明就采用种方法2，现以拉格朗日中值定理为例：(原定理叙述略)题 7：内可导，上连续，在在),(,)(babaxf有向线段xNM是的函数，设直线AB 的方程为).(xLy 则)()()()()(axabafbfafxL由于点NM,的纵坐标分别

12、为).(),(xLxf有向线段MN的重数)()()(xLxfx)()()()()(axabafbfafxf重合，与点处点及在NMbxax0)()(, 0baMN也就是即, 0)(),()(baRollex定理条件，故有满足则于是就有拉格朗日中值定理的结论),(,)()()(baabafbff参考文献：参考文献：1华东师范大学数学系.数学分析M.北京：高等教育出版社，2001.2杨根学.待证结论构造辅助函数法J.天水师院学报，2001， （5） ：55-563裴礼文.数学分析中的典型问题与方法M. 高等教育出版社，1986.4王德利.证题中引进辅助函数的几种方法J.江汉大学学报，1995， （3

13、） ：565尹必华.运用中值定理证题时构造辅助函数的三种方法J.自然科学报.2002： （6）2931SeveralSeveral MethodsMethods forfor ConstructingConstructing thethe AuxiliaryAuxiliaryFunctionFunction andand theirtheir ApplicationsApplicationsXu Shenghu(Northwest Normal University, Gansu Lanzhou 730070 )Abstract: On the basis of studying and analyzing mathematical, somemethods about construction of auxiliary are proposed. By theproperty of the functions graph and mean-value theorem ofintegrals, combined