微积分的形成史之我见

李金香

(天津市河东区职工大学,天津市 300160)

微积分的形成史之我见

李金香

(天津市河东区职工大学,天津市 300160)

微积分的早期萌芽为微积分的创立奠定了基础;生产实践的需要促进了微积分的创立;科学巨人牛顿与莱布尼兹的出现,实现了微积分的创立。

数学史;微积分;早期萌芽;牛顿;莱布尼兹

微积分的酝酿于17世纪上半叶到世纪末,18世纪微积分进一步发展,这种发展与广泛的应用紧密交织在一起,刺激和推动了许多数学新分支的产生,从而形成了“分析”这样一个在观念和方法上都具有鲜明特点的数学领域。

微积分从酝酿到萌芽、建立、发展直至完善,凝结了无数数学家的心血和劳动,是无数数学家艰苦奋斗的集体成果,熟悉微积分的历史发展,了解人类这一巨大财富的积累过程和数学家们所经历的艰苦漫长的道路及奋斗精神,对于提高一个人的数学素养,提高自身的数学意识和思维能力,适用于指导实际工作,都具有很重要的意义。

一、微积分的早期萌芽

先来谈谈积分学的早期萌芽.积分学的思想萌芽比微分学的思想萌芽早,这要追溯到遥远的古希腊时代.具有代表性的人物有:

1.欧多克索斯的穷竭法

安蒂丰是古希腊对圆的求积问题做出贡献的第一人.安蒂丰提出了用圆内接正多边形逼近圆面积的方法来化圆为方,他的论断包含希腊穷竭法的萌芽,成为古希腊“穷竭法”的始祖。

欧多克索斯是古希腊的数学家,他在数学上的重要贡献是发展和完善了安蒂丰的“穷竭法”.欧多克索斯应用穷竭法成功地证明了下述命题:两圆面积之比等于其半径平方之比;两球体积之比等于其半径立方之比;圆锥体和棱锥体的体积各为同底同高的圆柱体和棱柱体体积的,等等.将穷竭法发展成为一种严格的证明方法,但他没有明确的极限思想。

2.阿基米德的平衡法

阿基米德受穷竭法的影响很深刻,我们知道,穷竭法可以严格证明已知的命题,但却不能用来发现新的结果,这是希腊演绎数学的一大弱点.而阿基米德则不然,他的数学工作是创造与论证的结合,这些在他的《处理力学问题的方法》中有充分的体现。

在《处理力学问题的方法》这篇著作中,阿基米德论述了15个命题,集中阐明了发现求积公式的方法,这种方法被称为“平衡法”,他的平衡法与现代积分的基本思想实质是相同的.阿基米德利用平衡法解决了许多几何图形求面积、体积的问题,而平衡法本身是以极限为基础的,而当时不可能有极限理论,阿基米德意识到了他的平衡法在数学上缺乏严密性,因此,阿基米德用平衡法每求出一个面积或体积后,必定要用穷竭法加以证明。

3.刘徽的割圆术和体积理论

刘徽是中国古代数学史上非常重要的一位数学家,他在积分学方面的贡献主要在两个方面:割圆术和体积理论.割圆术是刘徽创造的运用极限思想证明圆面积公式及计算圆周率的方法,割圆术的要旨是用圆内接正多边形去逐步逼近圆;刘徽的面积与体积理论建立在他的“出入相补”原理上,在球体积公式的推算中,刘徽首创了立体图形“牟合方盖”,但刘徽在求牟合方盖的体积时,遇到很大的困难终未能解决。

刘徽虽然没有完成球体积公式的推证,但他创造的牟合方盖和特殊形式的不可分量方法,为后来的祖冲之父子在球体积公式推证问题上取得突破指明了方向.在这里,刘徽实际上已用到了后来被称为的“祖暅原理”、西方微积分史著作中所说的“卡瓦列里原理”,只可惜他没有将它总结为一般形式。

4.祖暅原理

刘徽绞尽脑汁没能解决的球体积推证问题,到了祖冲之时代终于由祖暅解决了.祖暅对球体积的推导继承了刘徽的路线,即从计算“牟合方盖”的体积为突破,祖暅提出了一条原理:“幂势既同,则积不容异”.这就是著名的“祖暅原理”。

祖暅原理,刘徽实际上已经使用了,但祖暅首次明确地将它作为一般原理提出来,并成功地应用于球体积的推算。

5.卡瓦列里的不可分量原理

卡瓦列里是意大利的数学家,他对数学的最大贡献是1635年发表的关于不可分量法的专著《用新方法促进的连续不可分量的几何学》.著作中他发展了系统的不可分量方法,建立了“卡瓦列里原理”:

卡瓦列里的不可分量原理大大简化了许多立体图形体积的推导过程.如卡瓦列里的不可分量原理计算球的体积要比祖氏父子的计算方法简单得多。

利用不可分量原理,卡瓦列里对积分学创立最重要的贡献还在于1639年他利用平面上的不可分量原理建立了等价于积分的基本结果,使早期积分学突破了体积计算的现实原型而向一般算法的过渡。

下面再来谈谈微分学的早期萌芽.与积分学两千多年的早期萌芽史相比,微分学的萌芽史就短得多了.这是因为,积分学研究的问题是静态的,而微分学研究的是动态的,它涉及到了运动,当生产力还没有发展到一定阶段时,微分学是不会产生的,因此直到17世纪,受到求曲线的切线、求瞬时变化率以及求函数的极大极小值等问题的刺激,微分学才出现了重大突破。主要表现在下面三个方面上:

第一、费马求极大值与极小值的方法

费马是法国数学家,费马求极大值与极小值的方法在1629年已经设计完成了,但直到八、九年以后才在他的手稿《求最大值和最小值的方法》中发现。

费马的方法几乎就是后来微分学中的方法,只是采用的符号与现在不同,但费马的方法除了逻辑上的不完整外,还存在两个问题:一是费马的方法对极大值与极小值未加区别;再是费马不知道 f(x)的导数为零只是极值的必要条件而非充分条件。

第二、费马求切线的方法

费马在他的手稿《求最大值和最小值的方法》中还给出了求曲线切线的方法,这个方法与现在的方法实质是相同的。

费马在处理求曲线的切线和求极大值与极小值两大问题时,所采用的方法是一致的,用现代语言说,都是先取增量,而后让增量趋向于零,这正是微分学的实质所在。

第三、巴罗的微分三角形

巴罗是英国的数学家,巴罗也给出了求曲线切线的方法,这种方法记载在1669年出版的《几何讲义》中,但他应该是在更早的时候就得到这种方法了.与费马不同,巴罗使用的是几何学。巴罗几何法的关键概念后来变得很有名,就是“微分三角形”,也叫“特征三角形”。

巴罗求切线的方法非常接近微分学中所采用的方法,是费马方法的进一步发展。

二、微积分的创立

数学家们在17世纪上半叶所做的一系列的工作为微积分的创立做了充分的准备,但所有这些努力还不足以标志微积分作为一门独立科学的诞生,因为他们的方法只是针对具体问题,缺乏足够的一般性。作为微积分的主要特征的微分与积分的互逆关系,虽然有的学者在研究中已经触及到了,然而没有人能意识到这种联系的重要价值而深入研究。科学巨人牛顿和莱布尼兹的出现,完成了微积分创立中最后也是最关键的一步。

牛顿对微积分问题的研究始于1664年,1665年11月发明“正流数术”(微分法),次年5月建立了“反流数术”(积分学)。1666年10月,牛顿将前两年研究成果整理成一篇论文《流数简论》,此论文是历史上第一篇系统的微积分文献。

《流数简论》反映了牛顿微积分的运动学背景。该文以速度形式引进了“流数”(即微商)概念。牛顿对于面积计算与求切线问题的互逆关系,明确地作为一般规律提出来,并将其作为建立微积分普遍算法的基础。牛顿正是运用了这种关系,将自古希腊以来求解无限小问题的各种特殊技巧统一为两类普遍的算法——正、反流数术亦即微分与积分,并证明了二者的互逆关系,进而将这两类运算进一步统一成整体。牛顿的工作将微积分的创立从量的积累完成了质的飞跃,正是在这样的意义下,我们说牛顿发明了微积分。

牛顿的微积分理论主要体现在下述三部正式出版的论著里:

(1)《运用无限多项方程的分析》(简称《分析学》,完成于1669年);

(2)《流数法与无穷级数》(简称《流数法》,完成于1671年);

(3)《曲线求积术》(简称《求积术》,完成于1691年)。

牛顿的上述三部论著反映了牛顿微积分学说的发展过程,是微积分发展史上的重要里程碑,也为近代数学甚至近代科学的产生发展开辟了新纪元。

与牛顿共享微积分创立这一荣誉的当属德国数学家莱布尼兹了,但是两人研究的出发点不同,牛顿始建微积分是以运动学为背景的,而莱布尼兹创立微积分的切入点是出于几何问题的思考,尤其是对特征三角形的研究。他逐步认识到:求曲线的切线依赖于纵坐标的差值与横坐标的差值当这些差值变成无限小时之比;而求曲线下的面积则依赖于无限小区间上的纵坐标之和。莱布尼兹还发现了这两个问题的互逆关系。他在自己对数的序列的研究中,找出了一种更一般的算法,将以往解决上述两类问题的各种结果和技巧统一起来。莱布尼兹总结出求切线不过是求差,求积不过是求和。到了1676年,他给出了幂函数的微分和积分公式,1677年在一篇手稿中,他陈述了他的微积分基本定理。

1684年,莱布尼兹发表了第一篇微积分论文《一种求极大与极小值和求切线的新方法》,这也是数学史上第一篇正式公开发表的微积分文献;1686年,莱布尼兹发表了他的第一篇积分学论文《深奥的几何与不可分量及无限的分析》,在这篇文章中首次出现在印刷出版物上;1693年,莱布尼兹又在《教师学报》上发表了一篇论文,其中更清楚地阐述了微分与积分的关系;关于积分常数的论述发表于1694年。

就微积分创立而言,牛顿与莱布尼兹功绩相当,尽管两人各自采用了不同的方法,但他们都各自独立地发现了微积分基本定理,并建立了一套有效的微分与积分的算法。

[1]李文林.数学史概论[M].北京:高等教育出版社,2002.

[2]张顺燕.数学的源与流[M].北京:高等教育出版社,2003.

[3]柳成行.简明数学史[M].哈尔滨:哈尔滨工业大学出版社,2008.

A bs tra c t:From the author’s point of view,the construction of calculus is caused by a combination of the early embryo w hich laid the foundation for it,the demand of p roduction p ractice w hich p romoted it and a coup le of scientific giants like New ton and Leibnitz w ho made it come true.

Ke y w o rd s:history of mathematics;calculus;early embryo;New ton;Leibnitz

A Personal V iew on History of Calculus

L IJin-xiang

(Tianjin Hedong D istrict Staff and Workers University,Tianjin 300171 China)

O 13

A

1673-582X(2011)02-0125-04

2010-10-15

李金香(1963-),天津市人,天津市河东职工大学教师、副教授,研究方向数学应用。