高等数学中牛顿-莱布尼茨公式的教学探讨.pdfVIP

第 39卷 第 12期 西 南 师 范 大 学 学 报 (自然科学版) 2014年 12月 Vo1．39 No．12 JournalofSouthwestChinaNormalUniversity(NaturalScienceEdition) Dec． 2014 高等数学中牛顿一菜布尼茨公式的教学探讨① 张双虎 ， 欧增奇 西南大学 数学与统计学院，重庆 400715 摘要：牛顿一莱布尼茨公式是微积分的核心内容，它为定积分的计算提供了一个有效的方法．但 由于定理的条件要 求较高，这对定积分的计算产生一定约束．首先对牛顿一莱布尼茨公式作了一些推广工作，然后建立了广义积分的 牛顿一莱布尼茨公式，其结果在积分理论及计算上都有一定意义，同时对高等数学的教学也有一定参考意义． 关 键 词 ：定积分 ；原 函数 ；牛顿一莱布尼茨公式 中图分类号 ：G642；O172．2 文献标志码 ：A 文章编号 ：1000—5471(2014)12—0190—06 定积分是一元函数积分学的一个重要概念 ，它是在解决各种实际问题 中逐渐形成并发展起来的，现已 成为解决许多实际问题的有力工具．我们知道 ，定积分的计算问题是积分学的重要问题之一 ，如果通过求 积分和的极限来计算定积分一般是很困难的，而牛顿一莱布尼茨公式不仅为定积分的计算提供了一个有效 的方法 ，而且在理论上把定积分与不定积分联系 了起来．本文首先阐述 了在求定积分时使用牛顿一莱布尼 茨公式应注意的一些问题 ，然后对牛顿一莱布尼茨公式作了一些推广工作，最后建立了广义积分的牛顿～莱 布尼茨公式． 1 牛顿一莱布尼茨公式 在高等数学Ⅲ 中，牛顿一莱布尼茨公式 (也称为微积分基本定理)通常叙述为 ： 若函数 厂(z)在[。，6]上连续，F()是 _厂(z)在[n，6]上的任意一个原函数，即 F ()一厂() 32E [n，6] 则有 牛顿一莱布尼茨公式简称 N—L公式 ，它是微积分 的核心定理 ，最初分别 由牛顿与莱布尼茨在 l7世纪下 半叶得到 (在此之前 ，已有不少的微积分先驱者为牛顿一莱布尼茨公式 的建立打下 了基础)．柯西在 19世纪 初给出了精确叙述与证明，但并不严格．黎曼在 19世纪中叶给予完善 ，达布在 1875年作 了推广，勒贝格在 20世纪初作了重大革新． 牛顿一莱布尼茨公式不仅建立 了微分与积分 的内在联系 ，而且为运用定积分解决与求总量有关的大量 实际问题开辟了广阔的前景．它把原本各 自独立 的微分与积分联 结成为一个有机的整体 —— 微积分．因 此，该定理的诞生是数学史上一项伟大的创举．在数学发展史上 ，正是由牛顿一莱布尼茨公式的建立 ，微积 分才真正开始成为一门独立的学科． 自从牛顿一莱布尼茨公式诞生之后 ，以往某些需要特殊技巧 ，或者根本无法解决的实际问题，诸如速 ① 收稿 日期 ：2014—04—17 基金项 目：中央高校基本科研业务专项资金 (XDJK2011C046)；西南大学博士基金 (SWU110035)． 作者简介 ：张双虎 (1984一)，男 ，甘肃 陇南人 ，副教授 ，主要从事高等数学教学及非线性偏微分方程理论的研究 第 12期 张双虎，等：高等数学中牛顿一莱布尼茨公式的教学探讨 191 度、路程 、极大极小 、弧长 、面积 、体积 、压力 、重心、功等广泛而复杂的问题 ，都可以用微积分提供的普遍 方法获得解决． 关牛顿一莱布尼茨公式的证明，一般高等数学教材都是采用先作积分上限函数 (z)===l (￡)dt z∈[n，6(] 然后利用导数定义及积分中值定理证明 (z)在[n，6]上具有导数，且 (z)一l厂(z) z∈[口，6] 最后利用拉格朗 日中值定理完成证 明．此外，牛顿一莱布尼茨公式也可 以利用定积分定义及拉格朗 日中值 定理证明(参见文献[2—4])． 牛顿一莱布尼茨公式为定积分的计算提供 了一个有效的方法，它把求 ，(z)在[n，6]上的定积分 (计算 一 类特殊的黎曼和的极限