加载中…
个人资料
  • 博客等级:
  • 博客积分:
  • 博客访问:
  • 关注人气:
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

新牛顿-莱布尼兹公式的无极限证明

(2018-09-11 17:18:19)
标签:

曲边梯形

有限分割

无限分割

牛顿-莱布尼兹公式

  【摘    要】介绍曲边梯形面积的两种经典求法。先从有限分割引出计算原理,再通过无限分割得出新牛顿-莱布尼兹公式,整个证明不涉及任何极限概念。

  【关键词】曲边梯形;有限分割;无限分割;牛顿-莱布尼兹公式

  某非线性函数 f(x) 在 [a, z] 区间为一段光滑曲线,a-f(a)-f(z)-z 形成一个曲边梯形,求它的面积 S。
  求解曲边梯形的面积,有比较粗糙的有限分割法(图1)和比较精致的无限分割法(图2),后者就是定积分法。
  1、有限分割法

  在x轴方向上做有限分割时,[a, z] 被分割成有限个子区间,整个曲边梯形分割成有限个高而窄的小曲边梯形,如图1所示。为了方便,我们设水平方向为均匀分割,每个子区间 [http://s2/mw690/002u2iHDzy7nxSS6Wpr41&690] 的宽度皆为 Δx。每个小曲边梯形的顶部都是曲线的一部分,子区间的两端分别对应着两个函数值http://s14/small/002u2iHDzy7nxSYD7g98d&690
  我们在两个函数值和的中间选择一个数http://s3/small/002u2iHDzy7nxT3lJNE22&690的选择依据这样的原则:尽量使这个规则小矩形的面积与子区间小曲边梯形的面积相等。这样,总面积S就可由 n 个规则的小矩形 —— 高度为http://s7/small/002u2iHDzy7nxT76xkGa6&690,宽度为 Δx —— 的和(黎曼和)近似表示,即
  http://s8/mw690/002u2iHDzy7nxTaQhpR67&690                                                                (1)
  分割的数量越多,各子区间小矩形的面积越接近小曲边梯形,总面积的误差越小,结果越准确。但有限分割法的工作量很大,效率很低。

  2、无限分割法

  在x轴方向上做无限分割时,[a, z] 被分割成无限个子区间,整个曲边梯形分割成无限个高而窄的小矩形,如图2所示。为了方便,我们设水平方向为均匀分割,每个子区间的宽度为无穷小量δx,小矩形的高度随x值而变化,等于曲线的函数值 f(x)。每个小矩形可以的宽度为δx,高度为 f(x),面积为 f(x)δx。
  我们可以方便地将任意一个子区间小矩形的面积写出
  http://s14/mw690/002u2iHDzy7nxTElwhD7d&690                                                             (2)
  在(2)式中,等号左边的符号 Si 表示第 i 个待求小矩形的面积。等号的右边,象征性符号 S 表示本公式的目的在于求面积;S 下方与上方的http://s14/mw690/002u2iHDzy7nxTHzEhD5d&690表示小矩形在x轴上的起点和终点坐标;f (x) 、δx 分别表示小矩形的高度、宽度。
  在希腊字母表中,Δ 与 δ 是一对大小写字母。有限分割时,我们用大写的 Δ 后面加一个 x 表示子区间小矩形的宽度(Δx);相应地,无限分割时,我们用小写的 δ 后面加一个 x 表示子区间小矩形的宽度(δx)。
  引入莱布尼兹创建的符号系统对(2)式加以改造,将象征面积的符号“S”拉高、用拉丁字母“d”代替希腊字母“δ”,并将象征性符号“S”下方、上方之http://s12/mw690/002u2iHDzy7nxTRHmLVcb&690的位置向右稍稍移动,于是(2)式就变成了现代微积分的标准形式
  http://s3/mw690/002u2iHDzy7nxTUQ2tQ02&690                                                           (3)
  (3)式表示任何一个子区间小矩形的面积。
  为使得后面的证明看起来更简洁,我们假设拉丁字母表中的字母、特别是d与w之间有无穷多个不同的字母可用。
  无限分割时,x轴上形成了无穷多个子空间,x轴上各点的位置可按拉丁字母顺序分别标记为
  a、b、c、d、…… w、x、y、z
  根据(3)式,依次写出每个子区间小矩形的面积
http://s14/mw690/002u2iHDzy7nxU4IUKVdd&690
  上述无穷多个等式,左边相加,相当于曲边梯形的总面积S;右边相加,相当于积分子区间的合并与扩展,即
  http://s15/mw690/002u2iHDzy7nxU90ttkde&690                                     (4)
  http://s3/mw690/002u2iHDzy7nxUbsoee62&690            (5)
  比较(4)、(5)两式,等号左边相等必导致等号右边相等,于是有
  http://s12/mw690/002u2iHDzy7nxUmeBn5db&690                                                              (6)
  这样,我们就将曲边梯形的总面积S表示成了在已知 [a, z] 区间求定积分的形式。那么,这个定积分的具体数值如何计算呢?

  3、新牛顿-莱布尼兹公式

  设 F(x) 为积分表中对应函数 f(x) 的原函数,由于求导过程中引入了无法消除的误差,我们称F(x) 为 f(x) 的“伪原函数”,(对于非线性函数而言,无误差的“真原函数”无法用简洁的数学解析式准确表示,此处不详细论述),有
http://s14/mw690/002u2iHDzy7nxUzsiYJ0d&690                                        (7)
  其中http://s14/mw690/002u2iHDzy7nxUEKRwV9d&690分别是子区间小矩形在x轴上的坐标。
  (7)式表明,任何一个子区间小矩形的面积 f(x)dx 总是近似等于伪原函数的子区间函数差http://s16/mw690/002u2iHDzy7nxUIjHuT0f&690
  由(7)式可知,任意子区间小矩形的面积 Si
  http://s13/mw690/002u2iHDzy7nxUM4Drmdc&690                                                      (8)
  从左到右,依次写出每个子区间小矩形的具体面积:
  又,非线性函数 f(x) 在 [a, z] 区间上的曲边梯形总面积S是无穷多个子区间小矩形之和
  代入具体数值,
  http://s1/mw690/002u2iHDzy7nxV0TJe000&690                                                            (9)
  比较(6)和(9),可得
  http://s6/mw690/002u2iHDzy7nxV7zQ7r95&690                                                   (10)
  (10)式即为新牛顿-莱布尼兹公式,此证明未涉及任何有关极限的概念。
  所得曲边梯形面积 S 为近似值,数据类型为无理数。
  将(10)式中的“≈”改为“=”即为目前高等数学教材中的牛顿-莱布尼兹公式,它未考虑函数 f(x) 与伪原函数 F(x) 之间的误差,从而使公式带有缺陷。抛弃了荒谬的“极限理论”之后,新牛顿-莱布尼兹公式完全消除了旧公式的缺陷,更准确、更深刻地反映了微积分的本质。

0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有