几种构造辅助函数的方法及应用许生虎（西北师范大学数学系，甘肃 兰州 730070）摘 要：在对数学命题的观察和分析基础上给出了构造辅助函数的方法，举例说明了寻求辅助函数的几种方法及在解题中的作用。

关键词：辅助函数 弧弦差法 原函数法 几何直观法 微分方程法1. 引言在解题过程中，根据问题的条件与结论的特点，通过逆向分析、综合运用数学的基本概念和原理，经过深入思考、缜密的观察和广泛的联想，构造出一个与问题有关的辅助函数，通过对函数特征的考查达到解决问题的目的，这种解决问题的方法叫做构造辅助函数法。

构造函数方法在许多命题证明中的应用，使问题得以解决，如在微分中值定理、泰勒公式、中值点存在性、不等式等证明。

但构造辅助函数方法的内涵十分丰富没有固定的模式和方法，构造过程充分体现了数学的发现、类比、逆向思维及归纳、猜想、分析与化归思想。

但如何通过构造，构造怎样的辅助函数给出命题的证明，是很难理解的问题之一，本文通过一些典型例题归纳、分析和总结常见的构造辅助函数方法及应用。

2. 构造辅助函数的七中方法“逆向思维法”例1： 设()x f 在[]1,0 上可微，且满足 ()()⎰=2121dx x xf f ，证明在][1,0内至少有一点θ，使()()θθθf f -='.证明:由所证明的结论出发,结合已知条件,探寻恰当的辅助函数. 将()()θθθf f '变为()()0='⋅+θθθf f ,联想到()[]()()θθθθf f x xf x '⋅+='=,可考虑辅助函数 ()()[].1,0,∈=x x xf x F因为()()ξξf f =1 ,而对于()x F ,有()()ξξξf F =,()().11f F =所以,()()1F F =ξ ,由罗尔定理知,至少存在一点()1,ξθ∈,使得()0='θF 即:()()θθθf f -='.证毕2.2 原函数法在微分中值定理(尤其是罗尔定理)求解介值(或零点)问题时要证明的结论往往是某一个函数的导函数的零点,因此可通过不定积分反求出原函数作为辅助函数,用此法构造辅助函数的具体步骤如下: (1)将要证的结论中的;)(0x x 换或ξ(2)通过恒等变换,将结论化为易积分(或易消除导数符号)的形式; (3)用观察法或凑微分法求出原函数(必要时可在等式两端同乘以非零的积分因子),为简便起见,可将积分常数取为零;(4)移项,将等式一边为零,则等式的另一边为所求的辅助函数.例2: ()[]()(),0,0,,>>a f a b a b a x f 且内可导，其中上连续，在在设 ()()()ξξξξf ab f b a '⋅-=∍∈∃,,证明： 分析: ()()ξξξf ab f '⋅-=()()x f ax b x f x'⋅-=−−→−=ξ令()()xb ax f x f -='⇒()()c x b x f a ln ln ln +-=−−→−-积分 ()()c x f x b a=-⇒可令 ()()()x f x b x F a-=证明: 作辅助函数 ()()()x f x b x F a-=()x F 在[]()内可导，又上连续，在b a b a ,, ()()()())0(0==-=a f a f a b a F a()()()0=-=b f b b b F a故 ()x F 在[]b a ,上满足罗尔定理的条件 于是，()b a ,∈∃ξ，使()0='ξF()()()()()01='-+--ξξξξf b f b a a 即：亦即： ()()ξξξf ab f '⋅-=证毕 设置变量法当结论中含两个中值ηξ,时，我们常常联想到应用拉格朗日定理柯西定理的证明，这是可用设置变量法作辅助函数()x F 。

即：将结论中的ξ或η看作变量，作恒等变形后与中值定理的公式相对照，即可看出辅助函数的结构。

例3：设函数()()x g x f ,在[]上连续，b a ,且()(),1==a g b g 在()b a ,内()()x g x f ,可导,且()()()0,0≠'≠'+x f x g x g .试证明: ()∍∈∃,,,b a ηξ ()()()()[]ηξξξηξe g g e f f '+=''分析:欲证等式 ()()()[]()ηξηξξξef g g e f '='+'⇔将ηξ和均看作变量,则上式写成()()[]()()''=''ηξηξξe f g e f辅助函数可取：x x e x x g e x ==)()()(ψϕ证明：),()(x g e x x ⋅=ϕ令则由题设可知],[)(),(b a x g x f 在上满足柯西中值定理，于是，使得),,(b a ∈∃ξv1.0 可编辑可修改)]()([)()()()()(ξξξξg g e f a g e b g e a f b f a b '+'=-- 因为1)()(==b g a g 所以，)1()]()([)()()(ξξξξg g e f e e a f b f a b '+'=--再令],[)(),(,)(b a x x f e x x 在则ψψ=上满足柯西中值定理，于是，使得),,(b a ∈∃η)2()()()(ηηe f e e a f b f a b '=--由（1），（2）得)]()([)(ξξξξg g e f '+'=ηηef )(' yeg g e f f )]()([)()(ξξηξξ'+=''⇒几何直观法对于某些证明题可以先从结论的几何意义进行分析，作为符合已知定义、定理的辅助曲线，再利用解析几何知识列出辅助曲线方程进而找出证明题所需要的辅助函数，打开证明思路。

例4 设函数)(x f 在),0[+∞内可导，.0)0()(='f x f 严格递增， 试证明：在.0)()(),0(≥-'+∞x f x f x 内分析：由严格递增)(x f '知，)(x f 是下凸函数. 由图1知：)()(),0[1x x f x ϕ≥+∞∈∀有即：111()()()()f x f x f x x x '≥+-(1)即：切线总在曲线的下方（几何意义）.由图2知：..122121k k l l k k >则的斜率和分别表示和由即：[)()()()()10201210200,,f x f x f x f x x x x x x x --∀<∈+∞≤-- 证明：方法一：有分析及（1）知取10,x x x ==时()()()()00f f x f x x '≥+- 即：()()()00f x xf x f '-≤= ()().xf x f x '⇒≥方法二：由（2）知，令00=x ，则(2)式变为[)()121212121212()(0)()(0)0,00()()()f x f f x f xx x x f x f x x x x x --≤<∈+∞--⇒≤<再次引进辅助函数，()(),[0,)f x F x x x=∈+∞ 则)(x F 递增， .0)(≥'⇒x F 即：()()()()200xf x f x xf x f x x'-'≥⇒-≥ 微分方程法所谓“微分方程法”是指遇到诸如“求证存在),(b a ∈ξ，使得)]([)(ξξϕξf f ，='”之类的问题时，可先解微分方程),(y x y ϕ='，得其通解：c y x G =),(，则可构造辅助函数).,()(y x G x F =例 5 设)(x f 在],[b a 上连续,在),(b a 内可导,且,0)(≠x f ),,(b a x ∈,0)()(==b f a f 若证明：对k x f x f b a R k ='∈∃∈∀)()(),,(,使ξ.分析：将结论中的ξ换成x ，得可分离变量的微分方程：()()f x k f x '=， 即.dykdx y= 其通解为()kx f x ce =，即：e ()kx f x c -= 于是可是辅助函数为()()kx F x f x e -=则.0)()(),(],[)(==b F a F b a b a x F 内可导，且上连续，再在 由Rolle 定理知，至少存在一点),,(b a ∈ξ使得()0F ξ'=即：().()f k f ξξ'= 常数k 值法此法适用于从结论中可分离出常数部分的命题，构造出辅助函数)(x F 的具体步骤如下：（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： 内可导，上连续，在在设),(],[)(,0b a b a x f a b >>使得证明：),,(b a ∈∃ξ[]()[]2()()()().af b bf a ab b a f f ξξξξ'-=--分析：分离a,b 与ξ，则待证式()()()()()2af b bf a f f ab b a ξξξξ'-⋅-⇔=- 则上式的左端显然是关于a,b 的对称式.令其为k,得2222()()()()()()()af b bf a kab b a af b kab bf a ka b f b kb f a ka b a-=-⇒-=---⇒=于是，可令 kx xx f x kx x f x F -=-=)()()(2 证明：作辅助函数 kx xx f x F -=)()( （其中)()()(a b ab a bf b af k --=） 由题设条件可知内可导，上连续，在在),(],[)(b a b a x F 并且kaaa f kb b b f a F b F ---=-)()()()( 0)()()()()()()()()(=-----=---=a b a b ab a bf b af a a f b b f k a b a a f b b f可见,件，上满足罗尔中值定理条在],[)(b a x F 于是,0)(),,(='∈∃ξξF b a 使得 即 2)()()()()(ξξξξf f a b ab a bf b af -'⋅=--. 亦即 )]()()[()]()([2ξξξξf f a b ab a bf b af -'-=-弧弦差法利用弧弦差来构造辅助函数，称为弧弦差构造函数法。