数学证明中的构造辅助函数方法

《数学证明中的构造辅助函数方法》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、数学证明中的构造辅助函数方法摘要数学中运用辅助函数就像是在几何中添加辅助线，其应用是非常广泛的.构造辅助函数是数学命题推证的有效方法，是转化问题的一种重要手段。遇到特殊的问题时，用常规方法可能比较复杂.这时就需要构造辅助函数，就如同架起一座桥梁，不需要大量的算法就可以得到结果.如何构造辅助函数是数学分析解题中的难点，看似无章可循，但仔细研究不失基本方法和一般规律。文章通过对微分中值定理证明中，关于构造辅助函数方法的总结和拓展，给出了多种形式的辅助函数；通过详尽的实例，讲明了辅助函数在不等式、恒等式、函数求极限、讨论方程的根及非齐次线

2、性微分方程求解中的运用，尝试找出如何构造辅助函数的几种方法，并通过这些方法在一些具体实例中的运用归纳出构造函数法的一些思路.关键词辅助函数；中值定理；恒等式与不等式；函数表达式；极值1.引言数学中，不等式与等式的证明、微分中值定理、拉格朗日条件极值、线性微分方程求解公式等，都是通过构造一个辅助函数来完成推证的，有时候构造辅助函数也是求证数学命题的简便而有效的方法之一，掌握构造辅助函数证明数学命题的方法的关键是要对“数学现象”善于观察，联想和发现问题，根据直观的结论倒推构造什么样的辅助函数.基本思路是从一个目标出发，联想起某种曾经遇到

3、过的方法、手段，而后借助于这些方法和手段去接近目标，或者从这些方法和手段出发，去联想别的通向目标的方法和手段，这样继续下去，直到达到把问题归结到一个明显成立的结构上为止.构造辅助函数实质上就是分析法的一种技巧，也是数学中的一个难点，值得重视的是，在证明命题的过程中要不断研究问题的本质，从而寻求构造辅助函数的方法，文章重点分析了微分中值定理的证明中辅助函数的构造方法与技巧，进而应用到其他一般命题的证明中.172.微分中值定理证明中构造辅助函数的方法与技巧2.1拉格朗日（Lagrange）中值定理辅助函数的作法定理1（Rolle）：若函

4、数满足如下条件：（i）在闭区间上连续；（ii）在开区间内可导；（iii）；则在内至少存在一点，使得.定理2（Lagrange）：若函数满足如下条件：（i）在闭区间上连续；（ii）在开区间内可导；则在内至少存在一点，使得显然，特别当时，本定理的结论即为Rolle定理的结论。表明Rolle定理是Lagrange中值定理的一个特殊情形.证明：可以写成，自然想到等式的左端是某个函数的导数，所以构造辅助函数：（1）显然，函数在闭区间上连续,在开区间内可导,而且，于是由Rolle中值定理知道，至少存在一点，使得成立，也就是Lagrange中值定

5、理成立.Lagrange中值定理的结论：，该等式的右端是连接曲线弧端点的弦的斜率，所以Lagrange中值定理的17几何意义就是：在满足条件的曲线上至少存在一点，曲线在该点处的切线平行于曲线端点的连线.在Rolle定理中，由于，弦是平行于轴的，因此在点的切线实际上也平行于以连接曲线弧端点的弦，从上述Lagrange中值定理与Rolle定理的关系，自然想到利用Rolle定理来证明Lagrange中值定理，但在Lagrange中值定理中，函数不一定具备这个条件，为此设想构造一个与有密切联系的函数，使满足条件，然后对应用Rolle定理，再

6、把对所得的结论转化到上，证得所要的结果，从Lagrange中值定理的几何解释中来寻找辅助函数，从图1中看到，有向线段AB的长度是的函数，把它表示为，它与有密切的联系，且当及时，点A与点B重合.若将图1的虚线坐标平移到图2，即有，为了求得函数的表达式，设直线的方程为，则由于点A、B的纵坐标依次为及，故表示有向线段AB长度的函数（2）显然（2）式这个辅助函数满足在闭区间上连续,在开区间内可导,而且，由Rolle定理，可知在至少存在一点，使得成立，也就是Lagrange中值定理成立.17图1图22.2柯西（Cauchy）中值定理辅助函数的

7、作法定理3（Cauchy）：若函数与满足（i）在闭区间上连续；（ii）在开区间内可导；（iii）对任一，；那么至少存在一点，使等式（3）成立.证明：作辅助函数（4）显然，在上连续，在内可导，且有.故由Rolle中值定理，存在.使得(5)这里必有，否则由上式可知，若也将有，而这个结论与定理的条件（iii）相矛盾，因而我们能将(5)式改写成（3）式.在这里我将给出该定理证明中辅助函数的多种不同作法所得的不同形式的函数，皆能满足证明之需.、满足定理条件(i)、(ii)、(iii)、(iv)。1、取(6)显然在上连续，在内可导，且，满足Ro

8、lle中值定理条件，故存在一点，使得由此式即可得（3）式.172、取（7）显然在上连续，在内可导，且,满足Rolle中值定理条件，同前一方法，即可得到(3)式.3、取(8)其中A、B为任意常数，显然在上连续，在内可导，且，满足Roll