第七章微积分的创立.ppt

7、巨人的杰作——微积分的创立 微积分产生的背景 先驱们的探索 科学巨人——牛顿 多才多艺的数学大师莱布尼茨 微积分的创立 　 人类数学最伟大的发明 7.1 微积分产生的背景 孕育 (16-17世纪) 微积分的先驱之一——斯蒂文(荷,S.Stevin， 1548—1620) 求积理论的发展 在16世纪，积分思想是围绕求积问题发展的，而计算物体重心是与求积有关的一个重要问题． 斯蒂文首先在这方面有了突破．他在1586年出版的《平衡的原理》(De Beghinselen der weeghconst)一书中，用极限思想证明了三角形的重心落在中线上． AD是△ABC的一条中线．斯蒂文在△ABC内作一系列平行四边形，根据阿基米德证明过的对称原理，内接图形的重心应在中线上．当平行四边形的个数无限增加时，内接图形便无限接近△ABC，假定△ABD与△ACD的“重量”不等，其差必为一常数．当平行四边形的个数增加到某一数值时，必使内接图形与△ABC的差小于任意给定常数，从而使△ABD与△ACD之差小于所给常数．这就证明了△ABD与△ACD“重量”相等， 即△ABC的重心落在中线上． 显然，斯蒂文把三角形看成 平行四边形和的极限，其中 蕴含着积分思想的萌芽． 开普勒(J．Kep－ler，德，1571-1630)的旋转体体积(1615) 开普勒进一步发展了求积中的极限方法，他把球看成是由无穷多个棱锥组成的，每个棱锥的顶点都在球心，底面在球的表面上，高等于球半径r． 开普勒的这一杰出思想，还体现在1615年发表的《测定酒桶体积的新方法》一书中．讨论了许多旋转体的体积，其基本思想是化曲为直，即把曲线形看作边数无限多的直线形．他对球体积公式的推导就是在此基础上发展而来的，著名的开普勒行星三定律中的第二定律——由太阳到行星的向径扫过的面积与经过的时间成正比，其推导过程也应用了这种求积方法．用无穷多个同维的无限小元素之和来确定曲边形面积和体积，这是开普勒求积术的核心，是他对积分学的最大贡献．他的许多后继者都吸取了这一精华． 问题 伽利略(G．Galilei，意, 1564-1642)的切线构造 在《两种新科学》(全名是《关于两种新科学的论述与数学证明》，1634)一书中，伽利略的求积方法与开普勒一脉相承．在处理匀加速运动问题时，他证明了在时间一速度曲线下的面积就是距离． 系统运用无限小元素来计算面积和体积，是通过伽利略的学生卡瓦列里实现的． 关于切线的新观点是伽利略首先提出的，他认为作斜抛运动的物体具有两个方向的速度——水平速度和垂直速度，它们的合速度是以和为边的平行四边形的对角线，它代表了物体在该点运动的方向，即运动轨迹在该点的切线．在这一认识的基础上，伽利略的学生托里切利对切线作了进一步的研究． 卡瓦列里(B．Cavalieri，意, 1598-1647)的不可分量原理(1635) 托里切利(E．Torricelli，意, 1608-1647)关于高次抛物线和双曲线的切线 笛卡儿(法，1596-1650)的圆法及切线构造(1637) 沃利斯(J．Wallis，英, 1616-1703)的分数幂积分(1656) 在牛顿和莱布尼茨之前，为发明微积分作准备工作最多的是英国的沃利斯．他的《无限算术》(1655)一书，把不可分量法译成了数的语言，从而把几何方法算术化．他把几何中的极限方法转移到数的世界，首次引入变量极限的概念，他说：“变量的极限——这是变量所能如此逼近的一个常数，使得它们之间的差能够小于任何给定的量．”他使无限的概念以解析形式出现在数学中，从而把有限算术变成无限算术，为微积分的确立准备了必要的条件．牛顿曾直接得益于《无穷算术》． 帕斯卡(B．Pascal，法, 1623-1662) 的特征三角形 由自变量增量Δx与函数增量Δy为直角边所组成微小增量的三角形，后来被莱布尼茨称为“微分三角形”，沿用至今．帕斯卡认真研究了这种三角形．在他的《戴东维尔的某些几何发现的信件》(1659)中正确指出，当区间很小时，“弧可以代替切线”，因此可由微分三角形来决定切线． 揭示微分三角形的实质就等于掌握微分概念．不过帕斯卡却忽视了微分三角形两边的商对于决定切线的重要性，所以没有击中微积分的要害． 巴罗((I．Barrow，英, 1630-1677)的特征三角形与曲线切线(1664，1669) 巴罗的贡献不仅在于微分，还在于他首次认识到作切线与求积的互逆关系，这说明他已对微积分基本定理有了局部的认识． 巴罗的思想完全是以几何面貌出现的，所以还不能看作微积分的真正创始． 数学家们已经作了大量属于微积分范畴的工作．但如果说他们已经发明微积分，那就不合适了．因为微积分的产生需要三个不可或缺的条件：一是引入变化率的概念；二是