构造辅助函数法在微积分证明中的运用

《构造辅助函数法在微积分证明中的运用》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、构造辅助函数法在微积分证明中的运用【摘要】《数学分析》的微积分证明中，证明某个问题的结论时，经常会遇到通过已有的条件无法直接推导证明出结论，而这时可以尝试运用构造函数法，根据命题中的条件，将结论变换，从而构造出一个辅助函数，再运用有关的定理结论推导出命题的结论，这往往对命题的证明能起到事半功倍的结果。构造函数法是一种重要的数学方法，其构造方法思路也是多种多样的，本文通过构造函数法在一些著名的定理，公式以及经典例题的运用，尝试找出如何构造辅助函数的几种方法，并通过这些方法在一些具体实例中的运用归纳岀构造函数法的一些思路。【关键词】构造函数法微积分等式微分中值定理极值微积分学是数学分析中的核

2、心内容，其命题十分的抽象复杂。因此，在微积分中常见命题的解决时，通常会遇到这样的问题：对于与命题相关的定理与知识所熟悉，但不知如何通过题设，运用定理來解题。这时，单凭对定理的一般运用是无法解决问题的，而是需要构造出一个既能运用题设条件乂能应用相关定理得辅助函数，将抽象的关系通过具体的函数表达出來，转化为比较直观的，易于解决的问题。构造函数法在数学领域屮广泛地被采用着，它们所起的作用是桥梁式的作用，甚至有些是起着无法替代的作用。所谓构造函数法，就是利用数学屮的概念和方法，按固定的模式经过有限个步骤能够定义的概念和能都实现的方法。而构造函数，简而言Z,就是为了使某一数学命题或者某一数学概念通

3、过已知的数学概念和方法，人为地构造出来的函数，这些函数的存在，往往依赖于已知命题的函数的存在，在条件的约束下，去达到证明或者说明某种结论或概念的正确性。在木文，将在不等式证明这个领域屮分别讨论构造函数法的运用，将会解决构造函数法在这个领域中运用的一些思路和如何构造辅助函数的方法。再探讨这些方法时，首先，对一些经典的定理以及公式的证明进行分析，找到这些证明的思路,进而将这些思路运用到一些具体的实例当中，进行探讨验证，最后在总结出完成这些思路的一类方法。“构造函数法”是微积分学里经常用来证明一些重要定理的重要方法。许多文献中，lagrange中值定理，罗尔定理和Cauchy定理的证明都运用到

4、了构造辅助函数，其推理过程简单明了。一、构造辅助函数法在微分中值定理证明中的运用及其引申微分屮值的定理证明代表着构造函数法的一个重要的思路，这个思路是当构造一个辅助函数时，其辅助函数的构造的条件必须满足现有某个已证定理的条件，进而解决问题。具体的来说罗尔定理证明中是构造出了满足Fermat引理的函数，进而推导出了结果；而lagrange中值定理和Cauchy定理则都是构造出了满足罗尔定理条件的辅助函数，来推导出了最终的结果。构造两数法的思想是十分发散的，所以其在微分中值定理的证明中的辅助函数的构造也是多种多样的，这种多态化的思想启发出，在使用构造函数法时，我们可以使用各种所学知识，根据命

5、题条件，构造出满足题意的辅助函数来。微分屮值定理的证明实现了函数与导数之前的沟通，是利用导数的局部性质研究函数整体性质的重耍工具。以微分屮值定理为基础的各种屮值问题，成为数学分析中的重要内容。这类问题的常见形式是：设函数/（劝在匕，⑵上连续，在⑺』）上可导，且满足某些附加条件，求证存在一点使得某个含有z的等式成立。处理这类问题，关键在于如何构造出能够满足罗尔，lagrange理和Cauchy定理条件的辅助函数。通常采用的构造函数方法人多限于儿个初等的试探方法，比如，利用两数的几何图像，借助于行列式等。用这些方法构造两数往往需要很高的技巧，实际处理具体问题不好运用和掌握。如果考虑到lagr

6、ange屮值定理和Cauchy中值定理是罗尔中值定理的推广形式，罗尔中值定理的结论为一个导数形式，那么构造辅助函数其实就是要寻找一个能够满足罗尔屮值定理条件的原两数，这样，我们可以利用微分运算的逆过程——积分运算，來构造辅助函数，以解决有关微分中值的问题。二、构造辅助函数法在newton-leibniz公式证明中的运用b这个著名的牛顿一莱布尼茨公式J7(x)dx=F(x)

7、"里的F(x)连续函数/(%)a在［d,切上的一个原函数。在证明了这一结论的过程中，非常巧妙的运用了积分X上限函数^(x)=,这是个构造函数，最大的特点就是满足aM=正是由于有了这个函数，才最终证明了这个可以说是积分中

8、非常重耍的公式。三、构造辅助函数法结合微分中值定理证明等式众多等式命题的证明屮，结合微分中值定理的命题证明占据着一个非常重要的地位，其证明的方法也是多种多样的，但是主耍的方法归纳起来还是以下儿种。1、原函数法其实是一种逆向思维的方法，在结合微分屮值定理求解介值定理(或者零点)问题时，要证明的结论往往是一个函数的导函数的零点，这时可通过不定积分反求出原函数构造出辅助函数，这个证明的步骤：1•将结论通过恒等变换，化为容易积分的函数形式，