中值定理构造函数.doc

构造辅助函数法在微积分证明中的运用石琼芳【摘 要】 《数学分析》的微积分证明中，证明某个问题的结论时，经常会遇到通过已有的条件无法直接推导证明出结论，而这时可以尝试运用构造函数法，根据命题中的条件，将结论变换，从而构造出一个辅助函数，再运用有关的定理结论推导出命题的结论，这往往对命题的证明能起到事半功倍的结果构造函数法是一种重要的数学方法，其构造方法思路也是多种多样的，本文通过构造函数法在一些著名的定理，公式以及经典例题的运用，尝试找出如何构造辅助函数的几种方法，并通过这些方法在一些具体实例中的运用归纳出构造函数法的一些思路关键词】 构造函数法 微积分 等式 微分中值定理 极值微积分学是数学分析中的核心内容，其命题十分的抽象复杂因此，在微积分中常见命题的解决时，通常会遇到这样的问题：对于与命题相关的定理与知识所熟悉，但不知如何通过题设，运用定理来解题这时，单凭对定理的一般运用是无法解决问题的，而是需要构造出一个既能运用题设条件又能应用相关定理得辅助函数，将抽象的关系通过具体的函数表达出来，转化为比较直观的，易于解决的问题构造函数法在数学领域中广泛地被采用着，它们所起的作用是桥梁式的作用，甚至有些是起着无法替代的作用。

所谓构造函数法，就是利用数学中的概念和方法，按固定的模式经过有限个步骤能够定义的概念和能都实现的方法而构造函数，简而言之，就是为了使某一数学命题或者某一数学概念通过已知的数学概念和方法，人为地构造出来的函数，这些函数的存在，往往依赖于已知命题的函数的存在，在条件的约束下，去达到证明或者说明某种结论或概念的正确性在本文，将在不等式证明这个领域中分别讨论构造函数法的运用，将会解决构造函数法在这个领域中运用的一些思路和如何构造辅助函数的方法再探讨这些方法时，首先，对一些经典的定理以及公式的证明进行分析，找到这些证明的思路，进而将这些思路运用到一些具体的实例当中，进行探讨验证，最后在总结出完成这些思路的一类方法 “构造函数法”是微积分学里经常用来证明一些重要定理的重要方法许多文献中，lagrange中值定理，罗尔定理和Cauchy定理的证明都运用到了构造辅助函数，其推理过程简单明了一、构造辅助函数法在微分中值定理证明中的运用及其引申微分中值的定理证明代表着构造函数法的一个重要的思路，这个思路是当构造一个辅助函数时，其辅助函数的构造的条件必须满足现有某个已证定理的条件，进而解决问题具体的来说罗尔定理证明中是构造出了满足Fermat引理的函数，进而推导出了结果；而lagrange中值定理和Cauchy定理则都是构造出了满足罗尔定理条件的辅助函数，来推导出了最终的结果。

构造函数法的思想是十分发散的，所以其在微分中值定理的证明中的辅助函数的构造也是多种多样的，这种多态化的思想启发出，在使用构造函数法时，我们可以使用各种所学知识，根据命题条件，构造出满足题意的辅助函数来微分中值定理的证明实现了函数与导数之前的沟通，是利用导数的局部性质研究函数整体性质的重要工具以微分中值定理为基础的各种中值问题，成为数学分析中的重要内容这类问题的常见形式是：设函数在上连续，在上可导，且满足某些附加条件，求证存在一点使得某个含有的等式成立 处理这类问题，关键在于如何构造出能够满足罗尔，lagrange定理和Cauchy定理条件的辅助函数通常采用的构造函数方法大多限于几个初等的试探方法，比如，利用函数的几何图像，借助于行列式等用这些方法构造函数往往需要很高的技巧，实际处理具体问题不好运用和掌握如果考虑到lagrange中值定理和Cauchy中值定理是罗尔中值定理的推广形式，罗尔中值定理的结论为一个导数形式，那么构造辅助函数其实就是要寻找一个能够满足罗尔中值定理条件的原函数，这样，我们可以利用微分运算的逆过程——积分运算，来构造辅助函数，以解决有关微分中值的问题二、 构造辅助函数法在newton-leibniz公式证明中的运用 这个著名的牛顿—莱布尼茨公式里的连续函数在上的一个原函数。

在证明了这一结论的过程中，非常巧妙的运用了积分上限函数，这是个构造函数，最大的特点就是满足正是由于有了这个函数，才最终证明了这个可以说是积分中非常重要的公式三、构造辅助函数法结合微分中值定理证明等式众多等式命题的证明中，结合微分中值定理的命题证明占据着一个非常重要的地位，其证明的方法也是多种多样的，但是主要的方法归纳起来还是以下几种1、 原函数法其实是一种逆向思维的方法，在结合微分中值定理求解介值定理（或者零点）问题时，要证明的结论往往是一个函数的导函数的零点，这时可通过不定积分反求出原函数构造出辅助函数，这个证明的步骤：1.将结论通过恒等变换，化为容易积分的函数形式，在结论积分不是很复杂的情况下一般常用的变换方法是移项将等式一端变换为常数0；2.用替换变换后等式中的变量；3.用观察法或者凑微分法求出原函数，则原函数即为所要构造的辅助函数4.最后结合微分中值定理，推导出结论来例1． 设函数在上可导，试证明存在，使得 证明：将要证的结论变形为,则根据积分构造辅助函数可知函数满足罗尔定理的条件，即,所以，存在，使得可知结论得证证毕本例题按照归纳的证明步骤，将结论通过恒等变换，移项将等式一端变换为常数0，然后用替换变换后等式中的变量,再求出原函数，即函数，则完成了辅助函数的构造，最后运用罗尔得出结论。

例2．在连续，可导，则存在，使证明（证明一）：将要证的结论变形得，将等式中的记为，即，然后积分得，得到辅助函数，显然在上连续，在内可导，又因为，满足罗尔定理，所以存在，使得，故证毕例2证明中在构造辅助函数时用了一个技巧，即将积分后的原函数的常数，独立出来移项到一端，则利用常数在区间上的性质，然后运用罗尔定理推导出结论如果严格按照归纳的步骤来做依然能够得出结论，如下例2．证明（证明二）：将要证明的等式中的记为，然后积分得，得到辅助函数，可知，故由罗尔定理可得证毕通过例2的两个证明我们可以看出，构造函数法是一个发散性思维很强的方法，可以从不同的角度来考虑辅助函数的构造存在多种构造函数的思路，并且构造函数的形式多种多样，但是我们从中要把握住核心的思路：观察要证明的结论，并进行一定的变换，得出原函数即为构造函数，让这个构造函数能够满足微分中值定理的条件，进而利用中值定理得出要证明的结论 例3．设在上二阶可导，且，求证存在，使证明：设辅助函数，因为在上二阶可导，则在上连续且在内可导，而满足罗尔定理,则存在内，使 在内，又，，则可知满足罗尔定理，所以存在，使得， 又，所以，即得：证毕这个构造的辅助函数依然按照根据要证结论的等式进行变换，则可知，两边积分可得，得，这样我们就找出了所需要构造的辅助函数。

2、 微分方程通解法在命题中经常会遇到这样的形式，函数在区间上连续，在内可导，且满足一定的条件，求证存在一点，使得在处理这一类的问题时，可以先解微分方程，得到通解，则可构造出辅助函数为，这种处理的方法就是微分方程通解法例1．设函数在区间上连续，在内可导，且，证明：对任意的实数，存在点使得证明：将结论中的换成，得到可分离变量的微分方程：，即，可知道其通解为，即为，则设辅助函数为，则在上连续，在内可导，且则由罗尔定理可知，至少存在一点，使，则有证毕可见微分方程通解法，在证明结论形式为的命题时，将换成，再令，得到微分方程，如果能够解得其通解为，则可构造辅助函数例2．设函数在上连续，在内可导，且，求证：存在点使得证明：将结论中的换成，得到一阶线形微分方程（一阶线性微分方程的通解见附录A），解得，于是设辅助函数为，由题意可知在上连续，在内可导，且，则由罗尔定理可知，至少存在一点，使，即证毕 此例题的结论形式是，则将，得出微分方程形式为，若通解为，则可构造的辅助函数即为3、行列式法 在一些微积分等式命题的证明中，构造辅助函数可以利用行列式的性质及行列式函数的求导公式的特点来构造辅助函数，再利用微分中值定理完成命题的证明。

因为在运用行列式构造辅助函数时，经常会利用到行列式的求导公式，所以先了解下行列式函数的求导公式[4] 行列式函数求导公式：设有行列式表示的函数，其中（i，j=1，2，，n）的导函数都存在，则例1．设 在上连续且二阶可导，则在内至少一点，使得 证明：变换结论等式，对于，存在，使得，令，则在上连续，，且在内二阶可导， 对于，构造辅助函数，则易知在上游三个相异的零点，即，故由罗尔定理可知在内至少有两个相异的零点，从而再由罗尔定理知在内至少有一个零点，即存在，使得，而，，故由得，即，所以可知，从而可得出结论证毕 行列式构造函数法首先将结论等式变换，使得等式一端不含有等导数形式，再利用行列式构造出辅助函数如的形式，然后对求导，在结合微分中值定理，继而得出结论从以上的归纳中，我们了解到，构造函数在解决实际的问题上起着很大的作用根据对各种问题的探讨，构造函数法的中心思路是根据命题的条件及结论，引入适当的辅助函数，并考虑在相应的区间上构造出的函数满足条件，最后选用相应的定理，推导出其结论来当然也有些命题存在着明显的几何意义，这时只要根据其几何的表达，显然我们也会方便快捷并且一目了然的构造出辅助函数来。

构造函数法在数学的发展过程中，有着非常重要的地位，许多经典的定理和公式都是运用到了构造函数法再得以完美的解决，所以对构造函数法的研究也应该运用到更为广泛的领域当中，它可以将未知的问题化为现有的简单的问题本文只是着重探讨了微积分领域中的一些构造函数法的思路，现在已经有很多学者在更为广泛的数学问题中研究运用构造函数法相信构造函数法的思想会继续推动着数学领域更好的发展参考文献】[1] 陈纪修 於崇华 金路 《数学分析》（上、下册） 高等教育出版社 2003年[2] 同济大学应用数学系 《高等数学》（第五版） 高等教育出版社 2002年[3] 李君士 《两个微分中值定理证明中辅助函数的多种作法》 [J]. 数学的实践与认识 2004年34(10),165－169[4] 陈静 王来生 周志坚 《浅析一元微积分中的构造辅助函数法》 [J]．高等数学研究 2006年9（6），16－18[5] 王文珍 《微积分中辅助函数的运用》 [J].高等数学研究2005年8（6），33－35。