几种构造辅助函数的方法和应用.docVIP

专业资料 word完美格式 MACROBUTTON MTEditEquationSection2 SEQ MTEqn \r \h SEQ MTSec \r 1 \h SEQ MTChap \h 几种构造辅助函数的方法及应用 许生虎 （西北师范大学数学系，甘肃 兰州 730070） 摘 要：在对数学命题的观察和分析基础上给出了构造辅助函数的方法，举例说明了寻求辅助函数的几种方法及在解题中的作用。 关键词：辅助函数 弧弦差法 原函数法 几何直观法 微分方程法 引言 在解题过程中，根据问题的条件与结论的特点，通过逆向分析、综合运用数学的基本概念和原理，经过深入思考、缜密的观察和广泛的联想，构造出一个与问题有关的辅助函数，通过对函数特征的考查达到解决问题的目的，这种解决问题的方法叫做构造辅助函数法。 构造函数方法在许多命题证明中的应用，使问题得以解决，如在微分中值定理、泰勒公式、中值点存在性、不等式等证明。但构造辅助函数方法的内涵十分丰富没有固定的模式和方法，构造过程充分体现了数学的发现、类比、逆向思维及归纳、猜想、分析与化归思想。但如何通过构造，构造怎样的辅助函数给出命题的证明，是很难理解的问题之一，本文通过一些典型例题归纳、分析和总结常见的构造辅助函数方法及应用。 构造辅助函数的七中方法 2.1“逆向思维法” 例1： 设在 上可微，且满足 ，证明在内至少有一点，使. 证明:由所证明的结论出发,结合已知条件,探寻恰当的辅助函数. 将变为,联想到,可考虑辅助函数 因为 , 而对于,有, 所以, ,由罗尔定理知,至少存在一点,使得 即:. 证毕 原函数法 在微分中值定理(尤其是罗尔定理)求解介值(或零点)问题时要证明的结论往往是某一个函数的导函数的零点,因此可通过不定积分反求出原函数作为辅助函数,用此法构造辅助函数的具体步骤如下: 将要证的结论中的 通过恒等变换,将结论化为易积分(或易消除导数符号)的形式; 用观察法或凑微分法求出原函数(必要时可在等式两端同乘以非零的积分因子),为简便起见,可将积分常数取为零; 移项,将等式一边为零,则等式的另一边为所求的辅助函数. 例2: 分析: 可令 证明: 作辅助函数 在 故 在上满足罗尔定理的条件 于是，，使 亦即： 证毕 2.3设置变量法 当结论中含两个中值时，我们常常联想到应用拉格朗日定理柯西定理的证明，这是可用设置变量法作辅助函数。即：将结论中的或看作变量，作恒等变形后与中值定理的公式相对照，即可看出辅助函数的结构。 例3：设函数在且在内可导,且.试证明: 分析:欲证等式 将均看作变量,则上式写成 辅助函数可取： 证明：则由题设可知上满足柯西中值定理，于是， 因为 所以， 再令上满足柯西中值定理，于是， 由（1），（2）得= 2.4 几何直观法 对于某些证明题可以先从结论的几何意义进行分析，作为符合已知定义、定理的辅助曲线，再利用解析几何知识列出辅助曲线方程进而找出证明题所需要的辅助函数，打开证明思路。 例4 设函数在内可导， 试证明：在 分析：由知，是下凸函数. 由图1知： 即： 即：切线总在曲线的下方（几何意义）. 由图2知： 即： 证明：方法一：有分析及（1）知 取时 即： 方法二：由（2）知，令，则(2)式变为 再次引进辅助函数， 则递增， 即： 2.5微分方程法 所谓“微分方程法”是指遇到诸如“求证存在，使得”之类的问题时，可先解微分方程，得其通解：，则可构造辅助函数 例5 设在上连续,在内可导,且 证明：对. 分析：将结论中的换成，得可分离变量的微分方程： ， 即 其通解为，即： 于是可是辅助函数为 则 由Rolle定理知，至少存在一点使得 即： 2.6 常数k值法 此法适用于从结论中可分离出常数部分的命题，构造出辅助函数的具体步骤如下： 从结论中分离出常数部分，将它令为k； 做恒等变化，是等式（或不等式）一端为a及f(a)构成的代数式，另一端为b和f(b)构成的代数式； 分析端点a,b的表达式是否为对称式或轮换式。若是将端点改为x，相应