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

MACROBUTTONMTEditEquationSection2SEQMTEqn\r\hSEQMTSec\r1\hSEQMTChap\h几种构造辅助函数的方法及应用许生虎（西北师范大学数学系，甘肃兰州730070）摘要：在对数学命题的观察和分析基础上给出了构造辅助函数的方法，举例说明了寻求辅助函数的几种方法及在解题中的作用。关键词：辅助函数弧弦差法原函数法几何直观法微分方程法引言在解题过程中，根据问题的条件与结论的特点，通过逆向分析、综合运用数学的基本概念和原理，经过深入思考、缜密的观察和广泛的联想，构造出一个与问题有关的辅助函数，通过对函数特征的考查达到解决问题的目的，这种解决问题的方法叫做构造辅助函数法。构造函数方法在许多命题证明中的应用，使问题得以解决，如在微分中值定理、泰勒公式、中值点存在性、不等式等证明。但构造辅助函数方法的内涵十分丰富没有固定的模式和方法，构造过程充分体现了数学的发现、类比、逆向思维及归纳、猜想、分析与化归思想。但如何通过构造，构造怎样的辅助函数给出命题的证明，是很难理解的问题之一，本文通过一些典型例题归纳、分析和总结常见的构造辅助函数方法及应用。构造辅助函数的七中方法2.1“逆向思维法”例1：设在上可微，且满足，证明在内至少有一点，使.证明:由所证明的结论出发,结合已知条件,探寻恰当的辅助函数.将变为,联想到,可考虑辅助函数因为,而对于,有,所以,,由罗尔定理知,至少存在一点,使得即:.证毕原函数法在微分中值定理(尤其是罗尔定理)求解介值(或零点)问题时要证明的结论往往是某一个函数的导函数的零点,因此可通过不定积分反求出原函数作为辅助函数,用此法构造辅助函数的具体步骤如下:将要证的结论中的通过恒等变换,将结论化为易积分(或易消除导数符号)的形式;用观察法或凑微分法求出原函数(必要时可在等式两端同乘以非零的积分因子),为简便起见,可将积分常数取为零;移项,将等式一边为零,则等式的另一边为所求的辅助函数.例2:分析:可令证明:作辅助函数在由Rolle定理知，至少存在一点使得即：2.6常数k值法此法适用于从结论中可分离出常数部分的命题，构造出辅助函数的具体步骤如下：从结论中分离出常数部分，将它令为k；做恒等变化，是等式（或不等式）一端为a及f(a)构成的代数式，另一端为b和f(b)构成的代数式；分析端点a,b的表达式是否为对称式或轮换式。若是将端点改为x，相应的函数值f(a)(或f(b))改为f(x)，则关于x,f(x)的表达式即为索求的辅助函数F(x).例6：分析：分离a,b与，则待证式则上式的左端显然是关于a,b的对称式.令其为k,得于是，可令证明：作辅助函数（其中）由题设条件可知并且可见,于是,即.亦即2.7弧弦差法利用弧弦差来构造辅助函数，称为弧弦差构造函数法。微分中值定理的相关证明就采用种方法，现以拉格朗日中值定理为例：(原定理叙述略)题7：有向线段的函数，设直线AB的方程为则由于点的纵坐标分别为有向线段的重数于是就有拉格朗日中值定理的结论参考文献：[1]华东师范大学数学系.数学分析[M].北京：高等教育出版社，2001.[2]杨根学.待证结论构造辅助函数法[J].天水师院学报，2001，（5）：55-56[3]裴礼文.数学分析中的典型问题与方法[M].高等教育出版社，1986.[4]王德利.证题中引进辅助函数的几种方法[J].江汉大学学报，1995，（3）：56[5]尹必华.运用中值定理证题时构造辅助函数的三种方法[J].自然科学报.2002：（6）29—31SeveralMethodsforConstructingtheAuxiliaryFunctionandtheirApplicationsXuShenghu(NorthwestNormalUniversity,GansuLanzhou730070)Abstract:Onthebasisofstudyingandanalyzingmathematical,somemethodsaboutconstructionofauxiliaryareproposed.Bythepropertyofthefunction’sgraphandmean-valuetheoremofintegrals,combinedwiththeexample,somemethodsforconstructingtheauxiliaryfunctionandtheirapplicationareill