[理学]关于微积分中值定理的讨论.doc

学生研究与讨论 ---------关于微积分中值定理的讨论 彭俊杰 （重庆邮电学院计算机学院信息与计算科学专业2000级） 第一章 微分中值定理 由于解决实际问题的需要，人们引进了微分学的概念，并对它进行研究发展，使之成为一门系统化、全面化的理论。而且微分学也随之成为解决实际问题中一种重要的工具之一，其应用也越来越广泛。 而微分学中的一个重要定理——微分中值定理——是微分应用的理论基础，是微分学的核心理论。所有微分中值定理的重要性也是显而易见的。 而这一章我们就是要讨论微分中值定理及其相关内容。主要讲了四个方面：第一节主要是从讲述微分中值定理的历史演变过程中引出微分中值定理的三种形式，并给出它们各自的一种证明方法；第二节是从两个方面研究微分中值定理的推广：n元函数的微分中值定理和高阶微分中值定理；第三节主要是研究复函数中的微分中值定理，得到与实分析中相对应的微分中值公式；第四节是在共轭解析函数中探讨微分中值定理，在引进共轭解析函数的定义后对共轭解析函数的中值定理进行初步的探讨。 第一节 微分中值定理的历史演变及其简介 微分中值定理是罗尔中值定理、拉格朗日中值定理和柯西中值定理的总称。而且微分中值定理不是一下子全部被人类认知，它的完整出现经历了一个过程，是众多数学家共同研究的成果。从费马定理到柯西中值定理，是一个逐步完善、不断向前发展的过程，而且随着相关数学理论知识的不断完善，微分中值定理也随之得以完整起来，证明方法也出现了多样化。这一节主要是从讲述微分中值定理的历史演变入手，引出微分中值定理的三个公式，并给出它们各自的一种证明方法。 §1.1： 微分中值定理的历史演变 微分中值定理，是微分学的核心定理，是研究函数的重要工具，是沟通函数与导数的桥梁，历来受到人们的重视。 微分中值定理是罗尔中值定理、拉格朗日中值定理和柯西中值定理的总称。 微分中值定理有着明显的几何意义，以拉格朗日定理为例，它表明“一个可微函数的曲线段，必有一点的切线平行于曲线端点的弦。”从这个意义上来说，人们对微分中值定理的认识可以上溯导公元前古希腊时代，古希腊数学家在几何研究中，得到如下结论：“过抛物线弓形的顶点的切线必平行于抛物线弓形的底”。这正是拉格朗日定理的特殊情况，求出抛物线弓形的面积。希腊著名数学家阿基米德（Archimedes，公元前287—前221）正是巧妙地利用这一结论，求出抛物线弓形的面积。意大利卡瓦列里（Cavalieri，1589—1674）在《不可分量几何学》（1635年）的卷一中给出处理平面和立体图形切线的有趣引理，其中引理3用基于几何的观点也叙述了同样一个事实：曲线段上必有一点的切线平行于曲线的弦。这是几何形式的微分中值定理，被人们称为卡瓦列里定理。 人们对微分中值定理的研究，从微积分建立之始就开始了，按历史顺序：1637年，著名法国数学家费马（Fermat，1601—1665）在《求最大值和最小值的方法》中给出了费马定理，在教科书中，人们通常将它作为微分中值定理的第一个定理。1691年，法国数学家罗尔（Rolle，1652—1719）在《方程的解法》一文中给出多项式形式的罗尔定理。1797年，法国数学家拉格朗日（Largrange，1736——1813）在《解析函数论》一书中给出拉格朗日定理，并给出最初的证明。对微分中值定理进行系统研究是法国数学家柯西（Cauchy，1789——1857）。他是数学分析严格化运动的推动者，他的三部巨著《分析教程》、《无穷小计算教程概论》、（1823年）、《微分计算教程》（1829年），以严格化为其主要目标，对微积分理论进行了重构。他首先赋予中值定理以重要作用，使其成为微分学的核心定理。在《无穷小计算教程概论》中，柯西首先严格的证明了拉格朗日定理。又在《微分计算教程》中将其推广为广义中值定理——柯西定理。从而发现了最后一个微分中值定理。 §1.2：微分中值定理简介 1.2.1 引理：费马定理 费马作为微积分的创立者，他在研究极大和极小问题的解法时，得到统一的解法“虚拟等式法”，从而得出原始形式的费马定理。 所谓的虚拟等式法，可以用下例加以说明。费马在求得一个长度为的线段，如果划分为两个线段，，使他们的积为最大时，采用以下方法：用代替，得到表达式 并与表达式进行比较，得到虚拟等式： 即 。 再将所得各项除以，得到。然后去掉仍含的项，再将虚拟等式化为真正的等式。从而得到，使为最大。 费马的“虚拟等式法”可能基于一种非常直观的想法，如果为的极大值，那么从直观上来看，在附近值变化很小。当很小时，和差很小。用现代语言来说，对于函数，让自变量从变化到，当为极值时，和的差近似为0，用e除以虚拟等式，。就得到函数极值点的导数值为0，这就是我们在高等数学