微分中值定理的历史演变.pdfVIP

维普资讯 第 19卷第 2期 大 学 数 学 Vo1．19．N2_．2 2003年 4月 C0LLEGEM ATHEM ATICS Apr．2003 微分中值定理的历史演变 陈 宁 (河北远东职业技术学院，河北 固安 065506) 微分中值定理 ，是微分学的核心定理 ，研究函数 的重要工具 ，历来受到人们 的重视． 微分中值定理有着明显 的几何意义 ，以拉格 朗 日定理为例 ，它表明 “一个可微函数 的曲线段 ，必有一 点的切线平行于曲线端点的弦．”从这个意义上来说 ，人们对微分 中值定理的认识可以上溯到公元前古 希腊时代，古希腊数学家在几何研究中，得到如下结论 ：“过抛物线 弓形的顶点的切线必平行于抛物线弓 形 的底”，这正是拉格 朗 日定理 的特殊情况．希腊著名数学家阿基米德 (Archimedes，公元前 287一前 221)正是巧妙地利用这一结论 ，求出抛物 弓形的面积．意大利卡瓦列里 (Cavalieri，1598— 1674)在 《不可 分量几何学》(1635年)的卷一 中给出处理平面和立体 图形切线 的有趣 引理 ，其 中弓I理 3用基于几何 的 观点也叙述 了同样一个事实 ：曲线段上必有一点的切线平行于曲线 的弦．这是几何形式的微分中值定 理 ，被人们称为卡瓦列里定理． 人们对微分中值定理的研究，从微积分建立之始就开始 了，按历史顺序 ：1637年，著名法国数学家 费马(Fermat，1601-- 1665)在 《求最大值和最小值的方法 》中给出费马定理 ，在教科书中，人们通常将它 作为微分中值定理 的第一个定理．1691年 ，法国数学家罗尔(Rolle，1652— 1719)在 《方程 的解法》一文中 给出多项式形式的罗尔定理．1797年 ，法 国数学家拉格朗 日(Largrange，1736—1813)在 《解析函数论》一 书中给出拉格 朗 日定理 ，并给出最初的证 明．对微分 中值定理进行系统研究是法 国数学家柯西(Cauchy， 1789— 1857)，他是数学分析严格化运动的推动者 ，他 的三部 巨著 《分析教程 》、《无穷小计算教程概论》 (1823年)、《微分计算教程 》(1829年)，以严格化为其主要 目标 ，对微积分理论进行 了重构．他首先赋予 中值定理 以重要作用，使其成为微分学的核心定理．在 《无穷小计算教程概论》中，柯西首先严格地证明 了拉格朗 日定理 ，又在 《微分计算教程 》中将其推广为广义中值定理一柯西定理．从而发现 了最后一个微 分中值定理． 1 费马定理 费马作为微积分的创立者 ，他在研究极大和极小问题 的解法时，得到统一 的解法 “虚拟等式法”，从 而得 出原始形式的费马定理． 所谓 的虚拟等式法 ，可以用下例加以说 明．费马在求得一个长度为 b的线段 ，如何划分为两个线段 z和 6一z，使它们积z(6一z)为最大时，采用 以下方法 ：用 z+ 代替 z，得到表达式 (z+ )(6一z-- e)=bx+be— z一2z — ， 并与表达式 z(6一z)进行 比较 ，得到虚拟等式 bx+ be--X 一 2 一 ∽ z6一 z 即 2xe+e∽ be． 再将所得各项除以e，得 2z+ ∽ b．然后去掉仍含e的项 ，再将虚拟等式化为真正的等式 2x=b，从而得 [收稿 日期]2002—04—08 维普资讯 第 2期 陈宁 ：微分中值定理的历史演变 97 到 一 ，使 x(b--x)为最大． 厶 费马的 “虚拟等式法”可能基于一种非常直观 的想法 ，如果 f(x。)为 厂()的极大值 ，那么从直观上 来看，厂()在 。附近值变化很小，当e很小时 厂()和 f(x+