牛 顿
' p9 q+ a; Y$ X- H" \5 b+ l- O6 u
- C: F2 `: ?/ e3 f
2 Q: w% i2 S( j3 p- J# ?* l* \ 牛顿,I.(Newton,Isaac)1643年1月4日(儒略历1642年12月25日)生于英格兰林肯郡格兰瑟姆镇沃尔索普(Woolsthorpe)村;1727年3月31日(儒略历1727年3月20日)卒于伦敦肯辛顿.数学、力学、物理学、天文学、化学、自然哲学. 7 b! l; A) j. n9 t8 T
依萨克·牛顿出身于农民家庭.祖父罗伯特·牛顿(RobertNewton)是一位富裕的农庄主.父亲(亦名依萨克·牛顿)继承了田庄,但与牛顿的母亲汉娜·埃斯库(Hannah Ayscough)结婚不到半年即病故.牛顿是遗腹子,而且早产,生后勉强存活.牛顿3岁时,母亲改嫁给邻村牧师B.史密斯(Smith),牛顿被留在沃尔索普由外祖母抚养.大约从5岁开始,牛顿被送到附近斯吉林顿和史托克走读小学读书.1653年,母亲汉娜再度守寡,携牛顿的三个异父弟妹回到沃尔索普村.两年后,牛顿进入格兰瑟姆中学.少年牛顿不是神童,在校成绩并不突出.但他喜欢读书.在沃尔索普的农舍里保存有近200本牛顿少年时代读过的书籍.牛顿从中学起就有作读书笔记的习惯.有一本又大又厚的笔记本,原是史密斯牧师的神学摘记,牛顿将它继承下来并称之为“废书”(Waste Book).“废书”后又被带到剑桥用作力学与数学笔记,其中记录了牛顿早年研究万有引力与微积分的心得,是牛顿早期科学发现的重要见证. 3 R0 o0 f" {& |9 m* O- O
作为中学生的牛顿还酷爱玩具制作.他所制作的玩具实际上是各种机械模型,包括风车、木钟、日晷以及折叠式提灯(冬日清晨上学路上照明用)等等.在格兰瑟姆牛顿寄宿的克拉克药店卧室里,堆满了这类自制的玩具. + e( X# b# N/ y( ~( |
1659年,17岁的牛顿被母亲召回沃尔索普管理田庄.但牛顿对务农不感兴趣.一有机会,仍埋首书卷.在这种情况下,有两个人对他的前途起了决定性作用.牛顿的舅父W.埃斯库(Ays-cough)和格兰瑟姆中学校长J.史托克斯(Stokes)先生竭力劝说汉娜让牛顿复学.史托克斯校长对牛顿母亲说:“在繁杂的农务中埋没这样一位天才,对世界来说将是多么巨大的损失!”他甚至答应减收学费并让牛顿到自己家里用餐.他们终于说服了牛顿的母亲.1660年秋,牛顿在辍学九个月后又回到格兰瑟姆,为升学作准备.
- c" Z+ s, ~: s2 _7 \ 1661年6月,牛顿入剑桥大学,成为三一学院的减费生(Su-bsizar).入学前,牛顿已阅读过威廉舅舅送给他的一本桑德生(San-derson)《逻辑学》,这对他顺利掌握大学头二年的逻辑与哲学课程大有裨益.这一时期,牛顿还阅读了亚里士多德(Aristotle)的《工具篇》、《伦理学》,R.笛卡儿(Descartes)的《哲学原理》(Prin-cipia philosophiae)以及 T.霍布斯(Hobbes)、J. 马吉卢斯(Magirus)等人的哲学著作.从三年级起,牛顿开始接触大量自然科学著作,其中包括G.伽里略(Galilei)的《恒星使节》(Side-reus nuncius)、《两大世界体系的对话》(Dialogo dei massimi-systemi),J.开普勒(Kepler)的《光学》(Astronomiae parsOptica)以及P·伽桑逖(Gassendi)的哥白尼天文学概述等.
0 m i2 t# q" l/ k6 F 根据J.康杜德(Conduitt)和 A.德·莫阿弗(De Moivre)的记述,牛顿在数学上很大程度是依靠自学.1663年,牛顿从斯图布里奇集市购得一本占星书,因缺乏三角知识看不懂其中的天象图,遂又买来三角课本和欧几里得(Euclid)《几何原本》(Ele-ments)阅读.但他的注意力很快被其他数学著作所吸引.下面是牛顿本人的回忆:“1664年圣诞节前夕,当时我还是一个高年级生,我买到了范·舒滕(van Schooten)的《杂论》(Miscellanies)和笛卡儿的《几何学》(La géométrie)(半年前我已读过笛卡儿的《几何学》与w.奥特雷德(Oughtred)的《数学入门》(Claviemathematicae)),同时借来了J.沃利斯(Wallis)的著作.”根据三一学院保存的牛顿读书笔记,可以进一步了解到牛顿大学时代数学阅读的范围,涉及的作者还有:F.韦达(Viéte)、P.费马(Fermat)、 C.惠更斯(Huygens)、J.德维特(de Witt)、F.德博内(de Beaune)、J.胡德(Hudde)和 H.范·休雷特(van Heuraet)等.在所有这些著作中,笛卡儿的《几何学》和沃利斯的《无穷算术》(Arithmetica Infinitorum)的影响是决定性的,它们将牛顿迅速引导到当时数学最前沿的领域——解析几何与微积分. / G# x8 P0 ~( g' y. _) u
牛顿在广泛阅读的同时也听取大学的各种课程,特别是I.巴罗(Barrow)1664年后开设的卢卡斯(Lucas)讲座.牛顿后来追溯流数概念的来源时说道:“巴罗博士当时讲授关于运动学的课程,也许正是这些课程促使我去研究这方面的问题.”
' C1 b4 C3 q4 I- c$ _3 V2 O 1665年1月,剑桥大学评议会通过了授予牛顿文学士的决定.同年8月,大学因瘟疫流行而关闭,牛顿离校返乡.随后两年里,除偶尔回校及到邻镇布思比小住外,牛顿都是在家乡沃尔索普度过.这段时间成为牛顿科学生涯中的黄金岁月:制定微积分,
7 d! n4 A0 l; |$ h! W 发现万有引力,提出光学颜色理论……,可以说描绘了他一生大多数科学创造的蓝图.
( B' a/ j# \8 f8 j5 k) o9 l 1667年复活节后不久,牛顿回到剑桥,但对自己的重大发现却未作宣布.这年 10月他被选为三一学院初级院委(minor fe-llow);翌年4月,获硕士学位,同时成为高级院委(major fe-llow).
% I6 I! n: H& d- Q, i 1669年10月,牛顿继巴罗任卢卡斯教授.牛顿大学毕业后,曾作过巴罗的助手并协助修改后者的《几何与光学讲义》(Lec-tiones opticae et geometricae,1669).巴罗认识到牛顿的才华,他自动辞去卢卡斯教授之职而给牛顿以机会.巴罗让贤,在科学史上一直被传为美谈. * T; \$ S6 q% I& g% c
作为卢卡斯教授,牛顿自1670年起主持了一系列重要的科学讲座.1670—1672年光学讲座,总结了牛顿的光学研究,其讲义经修订后于1704年正式出版,这就是著名的《光学》(Opticks);接着牛顿用了整整十年(1673—1683)时间讲授代数;1684—1685年的卢卡斯讲座主题是运动学,这是由1684年8月E.哈雷(Ha-lley)的一次访问引起的.哈雷专程到剑桥向牛顿请教在引力服从反平方律时行星的轨道.不久牛顿将答案写成论文寄给皇家学会,同时将论文扩充为《论运动》(De motu corporum)的讲义,即1684年秋季开始的卢卡斯讲座内容,并且也是《自然哲学的数学原理》(Philosophiae naturalis principia mathematica)第一卷的初稿.此后便是牛顿全力创作《原理》的时期,至1687年春,《原理》第三卷“宇宙体系”告成,“宇宙体系”也是这一年卢卡斯讲座的题目.在哈雷的敦促与资助下,《原理》于同年夏正式出版.这部划时代的巨著奠定了牛顿在科学史上的不朽地位. . o1 C% [# o$ ^* t$ l; `* f
在任卢卡斯教授期间(1669—1701),除了上述领域外,牛顿继续致力于改进完善自己早年的微积分工作以及其他方面的数学研究,同时还花费了大量的精力探讨化学及炼金术. 7 g5 E, e( e; g; T2 p6 J
1680年代末,牛顿一度卷入政治斗争.他曾作为剑桥大学九人委员会成员之一,在抵制国王詹姆士二世派遣一名亲信的天主教徒到剑桥任职的行动中起了重要作用.牛顿因此于1689年1月当选为代表剑桥大学的议员而进入了国会.1701年又再度当选. ; t' H2 P$ \8 L, _2 j
1693年秋,长期紧张的科学研究使牛顿患了严重的忧郁症,病虽经治愈,但他从此结束了剑桥宁静的学者生活.1696年,牛顿通过他的学生、财政大臣C.蒙塔古(Montague)的关系而谋得伦敦造币局总监之职,遂移居伦敦,并指定W.惠斯顿(Whi-ston)代理卢卡斯教授.1699年,牛顿因督办铸币有方而升任造币局长,这促使他于1701年10月下决心最终辞去卢卡斯教授之职.牛顿晚年就在伦敦度过.除了造币局的工作,他于1703年起出任皇家学会会长(牛顿早在1672年就已当选为皇家学会会员).1705年,牛顿被女王安娜封爵,达到了他一生荣誉之巅.1727年3月31日,牛顿在患肺炎与痛风症后溘然辞世,葬礼在威斯特敏斯特大教堂耶路撒冷厅隆重举行.当时参加了牛顿葬礼的F.M.A.伏尔泰(Voltaire)“看到英国的大人物们都争抬牛顿的灵柩”,感叹说:“英国人悼念牛顿就像悼念一位造福于民的国王.”据说这位法国作家禁不住虔诚地从牛顿所戴的桂冠上摘下一片叶子珍藏纪念.诗人A.波普(Pope)三年后在为牛顿所作墓志铭中写下了这样的名句:“自然和自然定律隐藏在茫茫黑夜中.上帝说:‘让牛顿出世!’于是一切都豁然明朗.”剑桥三一学院教堂大厅内立有牛顿全身雕像,供世人瞻仰.
1 q1 b$ o" W. q+ q/ f 在牛顿的全部科学贡献中,数学成就占有突出的地位,这不仅是因为这些成就开拓了崭新的近代数学,而且还因为牛顿正是依靠他所创立的数学方法实现了自然科学的一次巨大综合而开拓了近代科学. 4 k4 A" g$ j" t" E" I
二项定理的发现 牛顿数学生涯中第一个创造性成果乃是关于任意次幂的二项展开定理.根据牛顿本人回忆,他是在“ 1664年和1665年间的冬天,在研读沃利斯博士的《无穷算术》并试图修改他的求圆面积(或计算
7 f7 `" I* G+ ]3 Y 牛顿对二项定理的原始推导,写在他1664—1665年间的一本读书笔记上而被保存至今.但牛顿迟至1676年才在致皇家学会秘书H.奥尔登堡(Oldenburg)的两封信中正式公布这项发现,这两封信是为了答复G.W.莱布尼茨(Leibniz)的有关询问而写.在《前信》(epistola prior,1676年6月13日)中,牛顿写道:“由于他(莱布尼茨)很想了解英国人在这一领域的工作,而我本人若干年前曾钻研过这一理论,所以我将自己得到的一些结果寄给您,以满足(至少部分满足)他的要求.”牛顿接着便以下列形式首次叙述了二项定理: & K( o7 M* h4 g( s @$ P4 Y& Q
并指出“此处P+PQ表示要求其根或任意次幂或幂的根的量;P表示该量的首项,Q则是首项相除后的余项,m/n 是 P+PQ的幂指数,不论其是整数还是分数、正数还是负数”,而“在计算过程中要求的各商项用A,B,C,D等来表示,即第一项Pm/n记作A;第二项 & c6 a! R3 F0 M( t% i( H
莱布尼茨复函要求进一步说明二项定理的来源.牛顿于是在《后信》(epistola posterior,1676年10月24日)中追述了自己发现二项定理的思路.
1 l% ]. _1 G$ N! s; O. I 如所周知,沃利斯在《无穷算术》中考虑数列 ![]()
. h: Y2 D" w& P$ i* m6 J8 ]% M0 C% r+ _
" J6 h- v, F1 R) M0 {7 v) H! G 沃利斯影响但却采取了崭新的途径:他不是考虑数列而是考虑一函数序列 7 v( d3 V- p9 e* ~
的插值.当n为偶数时,牛顿利用沃利斯 3 B1 Y. R. g- r4 e) \# P
f0(x)=1(x),
( X4 W& g: }$ y7 X) k4 V4 K; [8 k
7 H* x$ ?9 r' p' \, ^8 Y5 I …
7 p' H1 K, @3 G9 }8 r ( }+ D) y2 @# S6 ~0 m$ q
牛顿试图对上述级数序列的系数插值,当n=1时就将得到四分之一的单位圆面积.为此他注意到上述序列中所有级数的第一项都是x,第二项(0/3)x3,(1/3)x3,(2/3)x3,(3/3)x3则构![]()
4 z( S# }1 c; Y/ D5 o. [8 G$ l/ ] 牛顿指出当n为偶数时,诸系数amn构成帕斯卡三角,且满足关系am,n+2=am-1,n+am,n.牛顿接着便利用类比推理假定对奇数n,插值后的am,n此关系仍成立,由此便可从已得到的a0n=1,a1n=n/2而逐步推算出其余的amn来.如牛顿算出f1(x)的前七项am1之值为 # U4 y I0 O5 l' T, |8 e2 w5 N a
- |" i2 [& m( p2 F0 }" K- N 由此看出amn的一般形式 / A1 T9 p7 s# G9 ~ k1 ]2 v9 d) q: u
结果逐项微分便立即得到二项定理:
) w- v3 F# Y# h3 r) W+ H 其中
2 F. t$ z/ ~6 ]( @2 [ 牛顿在关于二项定理的早期研究中,根据同样的思路用插值法计算
* o) p: i1 |% T- s 这实质上是对数级数的最早推导.牛顿又通过逐项微分进而得到几何级数
; c3 p/ F: ~; [9 w, o* _3 x 在后来的文献中牛顿便抛弃了插值法而将此类展开看作是二项定理当指数取负值时的特例,如在《前信》中,牛顿给出了例子 等等.
" `) S% C% ^8 Q7 V( k8 O 在牛顿之前,正整数幂的二项展开早为人们熟知.牛顿将其推广到正负有理数幂的情形,这是从有限向无限的飞跃,这一飞跃为无穷级数研究开辟了广阔的前景.寻找一些熟知的函数的无穷级数表示,是牛顿同时代数学家们的热门课题.牛顿凭借自己发现的二项定理而能得到其它一系列函数的无穷级数.例如就在发 正弦级数
% c, `; {) e1 {/ a8 _ 同样还得到了 arc tanx的级数展开.稍后,他运用反演法从已知的 logx与 arc sin x的无穷展开推出指数级数、正弦级数以及余弦级数:
4 T. ^- d; v+ m( F2 z* j
* g" ^# P* M% o# h9 g- ^ 等等.牛顿为能发现这么多函数级数而自豪.在17—18世纪,无穷级数是微积分不可缺少的工具. ; u$ ?+ N& q0 }0 y& M/ h
微积分的制定 微积分的发明、制定是牛顿最卓越的数学成就.
: d9 u* Z6 u( D* | 微积分所处理的一些具体问题,如切线问题、求积问题、瞬时速度问题以及函数的极大、极小值问题等,在牛顿之前即已受到人们的研究,有的(如求积问题)甚至可以远溯古代.17世纪上半叶,天文、力学与光学等自然科学的发展使这些问题的解决越益成为燃眉之急.当时几乎所有的科学大师都竭力寻求有关的数学新工具,特别是描述运动与变化的无穷小算法,并且正是在牛顿诞生前后的一个时期内,取得了迅速的进展,其中最重要的如开普勒的旋转体体积计算法(1615)、费马求极大极小值的方法(1629)、B.卡瓦列里(Cavalieri)的“不可分量原理”(1635)、笛卡儿的解析几何及切线构造法(1637)、沃利斯的分数幂积分(1655)、巴罗的微分三角形(1664—1665)等等.这一系列前驱性的工作,对于求解各类具体无穷小问题作出了宝贵贡献,但却缺乏一般性,尚不能满足当时科学的普遍需要.牛顿超越前人的功绩是在于,他能站在更高的角度,对以往分散的努力加以综合,将自古希腊以来求解无限小问题的各种特殊技巧统一为两类普遍的算法——微分与积分,并确立了这两类运算的互逆关系,从而完成了微积分发明中最后的也是最关键的一步,并为其深入发展与广泛应用铺平了道路. . O3 F' | Z5 U' O3 j0 D% N
流数论的初建 牛顿对微积分的研究始于1664年秋.当时他反复阅读笛卡儿《几何学》,对笛卡儿求切线的“圆法”发生了兴趣并试图寻找更好的方法.就在此时,牛顿首创了小o记号表示x的无限小且最终趋于零的增量.在1665年夏瘟疫迫使他离开剑桥前不久,牛顿接连写了几份手稿,致力于笛卡儿、费马、胡德等人算法的改进.其中5月20日手稿引进了一种带双点的字母记号:对于量a,记号 相当于导数的齐 流数记号混为一谈. " Q0 n: L0 ^# c9 A
1665年夏至1667年春牛顿在家乡躲避瘟疫期间,继续研究微积分并取得了突破性进展.据他自述,1665年11月发明正流数术(微分法),次年5月又建立了反流数术(积分法).1666年10月,牛顿着手整理前两年的研究而写成一篇总结性论文,此文现以《1666年10月流数简论》(The october 1666 tract on fluxions)著称,当时虽未正式发表,却曾在牛顿的朋友与同事中传阅.《流数简论》是历史上第一篇系统的微积分文献.
! j, `) c% s, t! t 牛顿在《流数简论》中,事实上以速度形式引进了流数概念,但未使用“流数”这一术语.他提出流数计算的基本问题如下: - C- G7 B8 h& O; g8 n
(a)“设有二个或更多个物体A,B,C,…在同一时刻内描画线段x,y,z,….已知表示这些线段关系的方程,求它们的速度p,q,r,…的关系.”
" [1 b' f; f5 D, ^ x! l3 j5 W+ ? (b)“已知表示线段x和运动速度p,q之比p/q的关系方程式,求另一线段y.” + l! u/ ]: B2 \
牛顿对多项式情形给出(a)的解法:“将所有的项移至方程一边, 1 h o" N. z2 g. ~/ W* ?
相等的倍数.(若还有更多的未知量,则依此类推.)令所有乘积之和等于零,此方程就给出了速度p,q,r,…的关系式.”这就是说,对多项式f(x,y)=Σaijxiyi=0问题(a)的解为 - ^, Z) f/ S- }) Q6 ~
为了“证明”上述结果,牛顿采用了时间t的无穷小瞬o的概念,并指出:“正如速度为p的物体A在某一瞬描画的无穷小线段为p×o,速度为q的物体B在同一瞬内将描画出线段q×o……,这样.若在某一瞬已描画的线段是x和y,则至下一瞬它们将变成x+po和y+qo.”牛顿分别以x+po和y+qo代换方程中的x和y,例如在方程x3-abx+a3-dyy=0中作这样的代换后,牛顿利用二项展开得 x3+3pox2+3p2o2x+p3o3-dy2 -2dqoy-dq2o2-abx-abpo+a3=0, 8 A. Z p5 i* k P) M" p7 M
消去和为零的项(x3-abx+a3-dyy=0),剩下
) ]3 e8 S9 b: C; { 3px2o+3p2xo2+p3o3-2dqoy-dq2o2-abpo=0, " x2 j8 ^" X" E; u, m
以o除之得 3px2+3p2xo+p3o2-2dqy-dq2o-abp=0.
: g1 B m8 u. e$ P 此时牛顿指出“其中含o的那些项为无限小”,略之得3px2-abp-2dqy=0即欲求证的解.
& n1 o: _/ U, i2 ~0 c 对于问题(b),牛顿给出的解法实际上是问题(a)的解的反运算.特别重要的是,《流数简论》中有一个问题讨论了如何借助于这种反运算来求面积,从而建立了所谓“微积分基本定理”. 5 L! j$ k9 r Q$ Q V! _' q
牛顿是这样推导微积分基本定理的:如图1,设 ab=x,△abc=y为已知曲线 q=f(x)下的面积.作 de∥ab⊥ad∥be=p=1,当垂线cbe以单位速度向右移动时,eb扫出面积□abed=x, ![]()
) j g$ `& e* G+ b5 g1 ? ~! \4 n 在牛顿以前,面积总是被看作无限小不可分量之和.牛顿却从确定面积的变化率入手通过反微分计算面积.面积计算可以看成是求切线的逆过程,这事实以往虽然也曾被少数人(如牛顿的老师巴罗)模糊地猜测到,但只有牛顿有足够的敏锐与能力将这种互逆关系作为一般规律明确揭示出来.不仅如此,牛顿在《流数简论》中还指出:“一旦(反微分)问题可解,许多问题也都将迎刃而解”.《流数简论》的其余部分就用大量篇幅讨论正、反微分运算的各种应用,处理了求曲线的切线、曲率、拐点、曲线求长、求积、求引力与引力中心等共16类问题,展示了牛顿的算法的普遍性与系统性.
1 w+ T' ~3 @) H. u 向不可分量观点的摇摆《流数简论》标志着系统的微积分算法的诞生,当然它在许多方面是不成熟的.在完成这部著作后,牛顿于1667年春返回剑桥,从那时起直到1693年大约四分之一世纪的时间里,牛顿始终不渝努力改进、完善自己的微积分学说,《分析学》是这条道路上的第一个脚印.
% {! y! y9 N+ k6 y- K. V 1669年7月,正当巴罗考虑辞去卢卡斯教授职位之际,牛顿交给他一篇题为《用无限多项方程的分析学》(De Analysi per Ae-quationes Infinitas,简称《分析学》)的论文手稿.巴罗阅后立即函告当时皇家学会的数学顾问J.柯林斯(Collins)道:“此间一位朋友数日前交给我一篇文章,其中提出了计算量的幂次的方法,与N.墨卡托(Mercator)先生处理双曲线的方法相仿但却更为一般;……这位朋友是研究这方面问题的卓越天才.”几天后,巴罗便将这份手稿寄给了柯林斯,柯林斯复制的副本从此保存在皇家学会,但《分析学》直到1711年才正式发表.
2 G+ b" s# L9 g 《分析学》是牛顿为了维护自己在无穷级数方面的优先权而作.1668年9月,苏格兰学者墨卡托发表了《对数技术》(Loga-rithmotechnia)一书,其中陈述了对数级数,这促使牛顿公布自己关于无穷级数的成果.与此同时,牛顿在《分析学》中利用这些级数来计算面积、积分、流数以及解方程等,因此《分析学》体现了牛顿的微积分与无穷级数方法紧密结合的特点.
, m' g7 y+ ~& a9 D( m 关于微积分本身,牛顿在《分析学》中不失时机地对自己的方法作了简短说明.论文一开始就叙述了计算曲线y=f(x)下面积的法则.其 5 ~$ e* p+ _ F1 Y
牛顿取x(而不是时间t)的无究小瞬o,并以x+o代x,以z+oy代z,则 9 \% K/ c9 a6 d
用二项定理展开后,以o除方程两边,略去含o的项即得y=axm/n.
' N0 C' @: O) I5 U s- ~! l 了另一条法则:若y值是若干项之和,那么所求面积就是由其中每一项得到的面积之和,这相当于逐项积分定理.
7 h- ~. O! l! j3 Q 与1666年10月《流数简论》不同,牛顿在《分析学》中迴避了流数概念及其运动学背景.《分析学》使用的无穷小瞬o的概念在性质上是含糊的,牛顿有时直截了当地令其为零,因而带上了浓厚的不可分量色彩.
. y( x4 J2 I" [, j" W" O# u 成熟的流数法 《分析学》是急就篇.两年后牛顿又写成了一部论述流数法的专著——《流数法与无穷级数》(The method offluxions and infinite series,简称《流数法》).《流数法》可以看作是1666年10月《流数简论》的直接发展.牛顿在其中又恢复了运动学观点,但对于以物体运动速度为原型的流数概念作了进一步提炼.正是在这部著作中,牛顿首次使用了“流数”(fluxion)这一术语.他后来对《流数法》中的流数概念作了如下解释:
6 m; J. |) p- o; f7 | “我把时间看作是连续流的流动或增长,而其他量则随着时间而连续增长.我从时间的流动性出发,把所有其他量的增长速度称之为流数,又从时间的瞬息性出发,把任何其他量在瞬息时间内产生的部分称之为瞬.”(原始文献[9],Vol.Ill,p.17.) & G k9 n% E% o' s
《流数论》以清楚的流数语言表述微积分的基本问题为:“已知流量间的关系,求流数关系”,以及反过来“已知表示量的流数间的关系的方程,求流量间的关系”.与《流数简论》类似,牛顿从时间的无穷小瞬o出发来推导其流数算法.
6 K" W& N% }" A o* C# X7 ^ 流数语言的使用使牛顿的微积分算法在应用方面获得了更大的成功.以极大、极小值的确定为例,牛顿借流数概念给出了下述法则:“一个量在取极大或极小值的一瞬,它既不向前也不向后流动;因为如果它向前流动或增加的话,那么它就比原来大,并将变得更大;反之,若它向后流动或减少的话,情况恰好相反.因此,(用前述方法)求出它的流数,并且令此流数等于零”,这相当于通过方程f′(x)=0来求函数f(x)的极值点.
% f& A0 S' n- {, r1 V 《流数法》虽脱稿于1671年,但直到1736年才正式发表,当时牛顿已经去世.该书原用拉丁文写成,第一版却是英文本,由J.科尔森(Colson)根据W.琼斯(Jones)的拉丁文抄本译出.需要指出的是,琼斯的抄本在符号上没有忠于原作.《流数论》拉丁文原稿中并未出现带点流数记号,而是仍以字母l,m,n,r等表示变量v,x,y,z等的流数.这种表述形式使流数方法不易被读者理解,故琼斯抄本便将原稿中所有表示流数的字母统统换成当时已广为使用的标准点记号 了琼斯的做法,这酿成了后人以为牛顿本人在《流数法》中已引进标准流数记号的误解. g# N6 m2 l1 f; c, j* x/ e3 G
《曲线求积术》与首末比方法 无论是《分析学》还是《流数法》,都是以无穷小量作为微积分算法的论证基础,所不同的是:在《流数法》中变量x,y的瞬p×o,q×o随时间瞬o而连续变化,而在《分析学》中变量x,y的瞬则是某种不依赖于时间的固定的无穷小微元.大约到80年代中,牛顿关于微积分的基础在观念上发生了新的变革,这就是“首末比方法”的提出.首末比法最先以几何形式在《自然哲学的数学原理》中公布,其详尽的分析表述则是在《曲线求积术》(De quadratura curvarum)中给出的.在牛顿所有的微积分论文中,《曲线求积术》写作最晚但发表最早.关于其具体撰写日期,过去一般认为是在1676年,现已弄清,牛顿是在1691年才写成这部著作,最初拟作为他的未完成著作《几何学》(Geometria)的第二卷,后来改变计划而作为《光学》的附录于1704年公诸于世. ) V. z& n1 P1 e/ H
《曲线求积术》可以看作是牛顿最成熟的微积分著述.在这里,牛顿迴避了无穷小量并批评自己过去那种随意忽略无穷小瞬o的做法:“在数学中,最微小的误差也不能忽略.……在这里,我认为数学的量不是由非常小的部分组成的,而是用连续的运动来描述的.”在此基础上定义了流数概念之后,牛顿写道:“流数之比非常接近于在相等但却很小的时间间隔内生成的流量的增量比,确切地说,它们构成初生增量的最初比,但可用任何与之成比例的线段来表示.”接着牛顿借助于几何解释把流数理解为增量消逝时获得的最终比.他举例说明自己的新方法如下:为了求y=xn的流数,设x变为x+o,xn为(x+o)n=
! {0 P/ [1 S3 N" h& D6 V! } 然后“设增量o消逝,它们的最终比就是1/nxn-1,”这也是x的流数与xn的流数之比. 8 c' s/ Z0 w! \# n3 R: d
这就是所谓“首末比方法”,它相当于求函数自变量与应变量变化之比的极限,因而成为极限方法的先导. 牛顿在《曲线求积术》中第一次引进了后来被普遍使用的流数记号:“用字母x,y,x,v表示不定量,并用带点的同样字母 或变化率,可称之为相同量z,y,x,v的二次流数,并记作量 著名的记法曾于1693年首先公布在沃利斯的《代数学》(De algebra tractatus)新版本中. ]/ H; v, Q: U( T
《原理》与微积分 牛顿微积分方法的第一次公开表述,出现在1687年《自然哲学的数学原理》之中.
( ?$ y1 Y+ z0 k8 g! x 《原理》中并没有明显的分析形式的微积分运算.整部著作是以综合几何的语言写成.但牛顿在第一卷第一章开头部分通过一组引理(共11条)建立了“首末比方法”,这正是他后来在《曲线求积术》中作为流数运算基础而重新提出的方法,不过在《原理》中“首末比方法”本身亦强烈地诉诸几何直观. 3 c: l+ S! F2 a; S6 `# `( o
第一卷引理Ⅰ“量以及量之比,若在一有限时间内连续趋于相等,并在该时间结束前相互接近且其差可小于任意给定量,则它们最终亦变为相等”,可以看作是初步的极限定义.在随后的引理中牛顿便借极限过程来定义曲边形的面积:如图2,在曲线acE与直线Aa,AE围成的图形AacE中内接任意个数的矩形Ab,Bc,Cd,…,同时作矩形aKbl,bLcm,cMdn,….牛顿首先设所有的底AB,BC,CD,DE,…皆相等,证明了“当这些矩形的宽无限缩小而它们的个数无限增加时,……内接形AKbLcMdD、外接形AalbmcndoE与曲线形AabcdE相互的最终比是等量比.”然后指出当矩形之宽互不相等(如图设最大宽度为AF)但都无限缩小时,上述最终比仍是等量之比.牛顿还 而最终相合时”,“弦、弧及切线间相互的最终比为等量比”,等等. , O) G$ M4 ]. k( X. D
牛顿在第一卷第一章评注中说他“提出这些引理作为前提,以避免古代几何学家所使用的烦琐的归谬法”.另一方面牛顿又阐明了首末比法与不可分量法的区别:虽然“此处所做的事情与用不可分量法所做的一样,但现在这些原理是经过证明的,我们可以更放心地使用它们.所以,如果我偶尔将量看作由许多微小元素组成,或是用微小的曲线来代替直线的话,我的意思不是指不可分量,而是指消逝的可分量;不是指确定部分的和与比,而是指和与比的极限”. 0 I7 l2 B7 j! }+ |' k8 z
牛顿预见到首末比方法可能遭受的批评,并意识到争论的焦点将在于“最终比”概念.为了答复这类批评,他在前述引理的评注中对于什么是“最终比”作了进一步说明:“消逝量的最终比实际上并非最终量之比,而是无限减小的量的比所趋向的极限.它们无限接近这个极限,其差可小于任意给定的数,但却永远不会超过它,并且在这些量无限减小之前也不会达到它.” , N! b. N" w; \* s: Z2 r
尽管《原理》表现出以极限方法作为微积分基础的强烈倾向,但并不意味着牛顿已完全摒弃无穷小观点.在第二卷第二章中,人们可以看到无穷小瞬方法的陈述.该章引理Ⅱ指出:“任何生成量(genitum)的瞬,等于生成它的各边的瞬乘以这些边的幂指数及系数并逐项相加.”此处所谓“生成量”,即雏形的函数概念.牛顿说明这类量的例子有“积、商、根……”等,并把它们看成是“变化的和不定的”;生成量的瞬则是指函数的微分.因此,上述引理实际上相当于一些微分运算法则.例如,牛顿分别以a,b,c,…表示任意量 A, B, C,…的瞬,他 : V8 e; K( T7 V Q
' a& x& j, M" r8 }+ z) W9 ^0 j早年一般流数法的基础. ' ~% Z8 @: e) Z7 }: s+ d
《原理》在创导首末比方法的同时保留了无穷小瞬,而其中对“瞬”概念的解释所使用的语言仍然是含混的——牛顿说:“有限元素不是瞬,而是瞬所生成的量.我们应把它们想象成有限量的初生元.”牛顿的这种做法常常被认为自相矛盾而引起争议.实际上,在牛顿的时代,建立微积分严格基础的时机还远不成熟,在这样的条件下,牛顿在大胆创造新算法的同时,坚持对微积分基础给出不同的解释,说明了他对微积分基础所存在的困难的深邃洞察和谨慎态度. 7 _# L2 w; f0 s/ b* j+ m1 [
《原理》将几何形式的微积分用于引力、流体阻力、声、光、潮汐、彗星乃至宇宙体系,充分显示了这一新数学工具的威力,为微积分的应用开辟了广阔前景.牛顿在这样做时实际上获得了一些微分方程的解,后来有一批数学家致力于将牛顿的动力学工作翻译成分析的形式,推动了18世纪常微分方程的研究.牛顿本人在个别场合也曾以分析形式处理过若干微分方程. ' p9 w1 C0 z5 h4 A5 l) ~
优先权争论 在微积分的发明上,牛顿需要与莱布尼茨分享荣誉.莱布尼茨从1684年开始发表微积分论文.当牛顿1687年在《原理》中首次公布流数方法时,曾加有这样一段评注:
. i8 e, ^5 K3 }% Q* I “十年前,我在给学问渊博的数学家莱布尼茨的信中曾指出:我发现了一种方法,可用以求极大值与极小值、作切线及解决其他类似的问题,而且这种方法也适用于无理数,……这位名人回信说他也发现了类似的方法,并把他的方法写给我看了.他的方法与我的大同小异,除了用语、符号、算式和量的产生方式外,没有实质性区别.”
4 Y% Z* l9 ^8 M. ?7 p) G( r9 g 然而在1726年《原理》第3版中,牛顿却删去了这段文字,原因是其间他与莱布尼茨关于优先权问题发生了争执.争端最先是由瑞士数学家 N.法蒂奥·德迪勒(Fatio de Duillier) 1699年寄给皇家学会的一本小册子引起的,其中提出“牛顿是微积分的第一发明人”,而莱布尼茨作为“第二发明人”“曾从牛顿那里有所借鉴”.莱布尼茨对此作了反驳,并在1705年为《教师学报》(Acta erudi-torum)所写对牛顿《光学》的匿名评论中含蓄地批评牛顿在《曲线求积术》中“用流数偷换莱布尼茨的微分”.随着争论的展开,皇家学会遂于1712年指定一个专门的委员会进行调查,并于翌年初公布了著名的《通报》(Commercium Epistolicum).《通报》宣布“确认牛顿为第一发明人”,并说“那些将第一发明人的荣誉归于莱布尼茨先生的人,他们对他与柯林斯和奥尔登堡先生之间的通信一无所知”.直到最近才弄清,这份《通报》完全是牛顿本人的手笔.鉴于委员会主要是由牛顿的朋友E.哈雷、W.琼斯、B.泰勒(Taylor)和A.棣莫弗(De Moiver)等人组成,莱布尼茨向皇家学会申诉了调查对他“不公”.作为回答,他于同年7月起草、散发了一份《快报》(Charta Volans,牛顿讥之为“飞页”),气愤地指责牛顿“想独占全部功劳”.《快报》还引用一位“领头数学家”的判断说牛顿70年代所发明的只是无穷级数而不是流数法.所谓“领头数学家”指的是约翰·伯努利(Johann Bernoulli),他是追随莱布尼茨卷入争论的欧陆国家数学家的主要代表.当相互指控越演越烈时,一些中立的学者试图进行调解.据牛顿本人称:汉诺威选侯(后英王乔治一世)访问英国时,莱布尼茨的一些朋友想充当和事佬,但“他们未能使我屈服”.莱布尼茨1716年去世后,由于法国数学物理学家P.瓦里克农(Varignon)再三斡旋,伯努利首先表示愿意和解,年迈的牛顿此时对争论亦已感到厌倦,终于在1722年重印《通报》的最后关头发出了停战信号:他听从瓦里克农的劝告删去了伯努利的名字和一些过激言辞.这场延续了20余年的优先权之争虽然从此逐渐平息,但对18世纪英国与欧陆国家数学发展上的分道扬镳产生了消极的影响. & A% _9 i0 J' P, P9 T. V2 \% j; l
莱布尼茨1676年10月访问伦敦期间,曾在皇家学会借阅了牛顿《分析学》手稿抄本并作了摘录.这成为他涉嫌剽窃的主要事实.但从后来公布的莱布尼茨笔记本获知,莱布尼茨当时仅摘录到有关级数的部分.他也不可能从牛顿在《原理》评注中提到的《后信》中了解流数法的奥秘,因为牛顿在信中只以字谜形式隐述了流数法的基本问题.而在1693年10月牛顿致函莱布尼茨向他揭露谜底以前,后者始终不解其云.现有充分的资料证实:牛顿和莱布尼茨是各自独立完成了微积分的发明.就发明时间而言,牛顿先于莱布尼茨,但就发表而言,莱布尼茨则早于牛顿.值得补充的是,尽管发生了纠纷,两位学者从未怀疑过对方的科学才能.有一则记载说,1701年,在柏林王宫的一次宴会上,当普鲁士王后问到对牛顿的评价时,莱布尼茨回答道:“纵观有史以来的全部数学,牛顿做了一多半的工作.”
9 p' F7 Z* c; {# i( a 《普遍算术》与代数 1683年秋,牛顿将自己的卢卡斯代数讲义存入了剑桥大学图书馆.牛顿原打算随即加以修改、发表,但1684年夏哈雷的访问打断了这一计划,其后牛顿便将主要精力投入《原理》的写作.直到1707年,牛顿的代数讲义才经他本人同意由W.惠斯顿整理出版,定名《普遍算术》(Arithmeticauniversalis).《普遍算术》初版(拉丁文)含有许多错误,牛顿本人颇不满意,遂亲加校订并于1722年出版了修订本. ' H3 U+ ^5 E0 \4 C3 C0 F, d
《普遍算术》主要讨论代数基础及其(通过解方程)在解决各类问题中的应用.书中首先陈述了代数基本概念与基本运算,接着便用大量实例显示了如何将各类问题化为代数方程,同时对方程的根及其性质进行深入探讨,引出了方程论方面的丰富结果. ' A$ y7 y* v- l/ ?7 P
像A.吉拉尔(Girard)和笛卡儿等人一样,牛顿未加证明地叙述了代数基本定理.但《普遍算术》对于虚根(牛顿称之为“不可能根”)的出现却作了更深入的考察,这使牛顿在许多场合能走得比前人远.
' L/ p/ B/ V! \+ x0 F2 x% C; {3 T G.卡尔达诺(Cardano)曾猜测代数方程的虚根必然成对出现,牛顿则是第一个对此事作出明确论证的人.牛顿在《普遍算术》中使用了连续性原理,来说明两个互不相等的根如何连续变化为相等根然后又变为虚根.他通过几何实例来解释自己的论证:设圆CDEF与椭圆ACBF相交于点C,D,E,F (图3),由交点向已知直线AB引垂线CG,DH,EI,FK,若通过求任一垂线之长得到一方程,则在圆与椭圆相交的四点,该方程应有四个实根(即四条垂线之长).但若圆心保持不动而圆径逐渐缩减,当点E与F趋于重合时,圆与椭圆变为相切,则表示现已重合的垂线EI和FK的两根亦将变为相等.若圆进一步缩小而不再在点E/F处与椭圆接触,而仅在另二点C、D处与其相交,那么四根中表示现已变得不可能的垂线EI和FK的那两个根亦将相应地成为不可能.牛顿将这种例证推而广之,指出“在所有方程中,通过这样地增加或减小它们的项,两不相等根起先趋于相等,然后变成不可能.结果是:不可能根的数目将永远是偶数”. $ Q" s% h7 f u* Y% d
牛顿对笛卡儿符号法则的推广亦在于对虚根情形的分析.笛卡儿法则是说:一方程正根最多个数等于系数变号的次数,负根最多个数则等于两个+号或两个-号连续出现的次数.正如牛顿指出的那样,若方程有虚根,则上述法则既不能给出真正的正、负根个数,也不能给出虚根的实际个数.于是牛顿便在《普遍算术》中提出了他自己的改进法则. ~0 l. V" r* l% u u, H
牛顿的法则由两部分组成.第一部分用来确定虚根个数,即所谓“不完全法则”(imcomplete rule): 将其中每项分数除以前项分数,所得分数置于方程中间各项上方,若一中间项平方与其上方分数的乘积大于左右二项之积,就在该项下方记以+号,否则记以-号,同时在首项与末项下方皆记以+号,那么虚根个数恰等于下方所记符号变号的次数.例如方程 x3+px2+3p2x-q=0, % F5 s) b- H& U; X) i7 U+ p' @
按上述法则操作得:
x3+px2+3p2x-q=0 + - + + % ^2 m" V6 a; ]7 s/ t
下标的符号序列+,-,+,+中包含两次变号,故方程有二个虚根.
( G. O% L, O- n6 \) A% ]/ H0 d 牛顿法则的第二部分即所谓“完全法则(complete rule),可借以进一步确定方程正负根的个数.根据笛卡儿法则可以判别方程正根的最多个数.牛顿认为这中间可能“隐藏”着虚根,并称其为“不可能正根”.同样地可以定义“不可能负根”.牛顿完全法则是说:在“不完全法则”中得到的方程下标符号序列中,考察变号上方诸项的符号,不可能正根的个数恰等于这些项本身的变化次数,而不可能负根的个数则等于不变号的次数.例如方程: x5-4x4+4x3-2x2-5x-4=0 + + - + + + # ]. ^8 _: ?9 T
按“不完全法则”操作得到的下标符号序列中变号者为+,-,+,这说明有两个不可能根,而上方诸项-4x4+4x3-2x2变号二次,标志着二个不可能正根.但因方程本身各项系数符号序列+,-,+,-,-,-中共有三次变号,故最多正根个数为3,其中“隐藏”两个不可能根,结果方程计有一个真正的正根,二个负根和二个虚根.
+ Y# v- Q& p8 f4 G 根据现存的牛顿手稿可知,牛顿早在1665—1666年间就已发现了他的符号法则.牛顿法则的证明相当困难,直到1865年才由J.西尔维斯特(Sylvester)给出第一个严格的证明(西尔维斯特证明了包含牛顿法则为特例的更普遍的定理). 7 g5 T' j5 V* M- G. M
《普遍算术》中有关方程论最突出的贡献或许是表述方程根与系数关系的幂和公式,这公式现以牛顿的名字命名,它为代数方程根的对称函数理论奠定了基础.对于方程 a0xn+a1xn-1+a2xn-2+…+an-1x+an=0,
) [' j% e$ `' ?8 I, q 作n个根x1,x2,…,xn的i次幂和Si=xi 1 +…+xi n (i=1,2,…,n),牛顿公式相当于 - `1 k- Q. `2 M
a0S1+a1=0, g& F1 [! X$ c4 O' u' {
a0S2+a1S1+2a2=0, ; k4 r0 V# ^& p# o
………
. ~) B/ j2 n( o2 m$ I- W, e a0Sn+a1Sn-1+a2Sn-2+…+nan=0. 8 U/ x0 @/ W8 @9 I* J6 ]
牛顿在《普遍算术》中运用上述公式来推算方程的根限.他给出的法则中最重要的一条可用现代语言表述如下:若有方程 f(z)=a0zn+a1zn-1+a2zn-2+…+an=0(a0>0),
# m, F( i3 I& f3 [0 { 则每一个使f(z)及导数f′(z),f″(z),…,fn-1(z)皆为正的数z=L必为f(z)=0的正根的上限.类似地可以求出方程负根的下限,牛顿进而讨论了如何通过这些根限公式去逼近方程的数值根.
. g- P8 K- [6 D. E4 k. V 《普遍算术》对于代数本身的见解也有重要的意义.牛顿在前言中写道:“人们或者像在通常算术中那样用数字进行计算,或者像分析数学家习惯的那样借助普遍变量(species,直译“类”)来进行计算.这两种运算都依赖于同样的基础并服务于同样的目标,算术采用确定的和特殊的方法,而代数则采用不定的和普遍的方法,以致由这种运算得到的所有结论几乎都可以称作为定理.”在这里,牛顿像F.韦达一样将代数看作是“变量算术”(Arithme-tica specisa),而将通常算术看作是“数字算术”,但他在代数中更加自由地运用变量,并主张代数与算术相互结合而形成数学的基础:“在算术中,问题的解决是从已知量出发逐步推算出未知量.代数却相反,把未知量当作已知量,并由之出发去反推已知量,好象这些已知量是要求的量,最终通过某种方式达到某种结论—也就是说某个方程,而从这方程则可解出真正的未知量.这正是代数的优越性.运用这种技巧,一些极困难的问题可以迎刃而解,而这些问题的解决单靠算术是无济于事的.不过,算术运算对代数来说又必不可少.二者似应相互结合而形成统一的完善的计算科学”——这就是牛顿“普遍算术”的真谛.牛顿的观点在当时英国反响不大,却很快吸引了欧洲大陆数学家的注意(这同微积分情形形成对照).1707年11月间约翰·伯努利致函莱伯尼兹说他“正急切地盼望能读到一本书,…此书篇幅不大,但却大大胜过了法国出版的同类巨卷著作”.伯努利指的就是刚出版的《普遍算术》.《普遍算术》后来成为发行最多的牛顿数学著作,对于18世纪数学中代数与分析方法优势的确立颇有影响. 3 b# ?6 {1 F9 n! U/ b) R, [- C
几何研究 牛顿对解析几何与综合几何两方面都有贡献. 2 ]0 \0 ]) n; q S: {
1664年秋,牛顿在学习掌握笛卡儿《几何学》时,即已面临大多数同时代数学家所关心的问题:描绘大量尚属未知的曲线并研究它们的性质.这方面的探讨导致了他在解析几何领域最重要的工作.
: U; ]( w: ?2 o, b3 R6 K. k 自阿波罗尼奥斯(Apollonious)时代起,希腊数学家已对圆锥曲线作了透彻的研究,笛卡儿在《几何学》卷2中将希腊人的综合工作翻译成了解析语言.然而对于高次曲线,无论古希腊人还是笛卡儿却都知之不多.希腊人将所有高于二次的曲线统称为“线性曲线”(linear line),对此他们只给出了个别实例如蚌线(conchoid)、蔓叶线(cissoid).笛卡儿向他的同时代人展示了三叉线(trident)和叶形线(folium),其后数十年间,数学家们新认识的三次曲线总共只增添了二种,即沃利斯的立方抛物线与W.尼尔(Neile)的半立方抛物线.在牛顿之前,也没有人能够像把非退化二次曲线分成椭圆、双曲线与抛物线那样对三次曲线分类.牛顿从1664年起试图追随笛卡儿按方程次数对曲线分类的思路来解决这一课题.1667—1668年和1678—1679年间,他又两度回到高次曲线的研究并获重大进展.但如其一贯所为,牛顿迟疑于结果的发表,直到1695年,他才将以前的结果总结成专论《三次曲线枚举》(Enumeratio linearum tertii ordinis)并作为《光学》的附录发表(1704). 1 x8 f- }2 @& K
《三次曲线枚举》首先根据平面曲线与直线相交所产生的交点数来定义曲线的阶,同时指出圆锥曲线的许多概念与性质可以被推广至高次曲线.例如牛顿提出了适合高次曲线的一般直径理论(在这理论中n次曲线的直径被定义为该曲线与一平行直线簇中每一条的n个交点的重心轨迹)和一般渐近线理论等.《三次曲线枚举》的这个引论部分以著名的“牛顿定理”为高潮,牛顿定理相当于说:平面上的点关于一三次曲线的三个纵坐标之积与相应的三横坐标之积保持常数比. ^6 H3 y9 s0 K9 P% E3 q
在上述一般性讨论之后,牛顿便转向其理论的精粹——三次曲线分类.他注意到任一三次曲线至少有一个实渐近方向,取与此方向平行的直线为坐标轴之一,牛顿导出了三次曲线方程的四类基本形式:
( V7 x% w. `4 s& f w (i)xy2+ey=ax3+bx2+cx+d,
1 L$ d! a1 C3 o# \$ A" Y (ii)xy=ax3+bx2+cx+d, ) C, ^) }5 w- ?, K
(iii)y2=ax3+bx2+cx+d, 7 p/ D, X* b: B
(iv)y=ax3+bx2+cx+d.
, {& v9 w: j/ a+ o& X) _9 |7 M1 l 它们分别相应于一般立方双曲线、笛卡儿三叉线、发散抛物线(牛顿用语)和立方抛物线.牛顿并未证明这四类方程穷举了一切可能(1729年法国数学家F.尼科尔(Nicole)证明了这一点).对第(i)和第(iii)类情形牛顿又区分出许多子类,结果他总共列举了72种三次曲线.对此后来J.斯特林(Stirling,1717)、G.克莱姆(Cramer,1746)等人又追加了6种.数学家们还发现了其他不同的对高次曲线分类的原则.
1 a2 f' x, N. n2 c6 ^ 除了分类,牛顿在《三次曲线枚举》中还将圆锥曲线的射影定义推广到高次曲线.他大胆地指出:“正像所有的圆锥曲线都可看作是圆的投影一样,所有的三次曲线都可以看作是五种发散抛物线(即由方程y2=ax3+bx2+cx+d确定的曲线)的投影.”这个重要的事实到1731年才由A-C.克莱罗(Clairaut)严格证明. / y2 M' o3 |. t/ A( y
《三次曲线枚举》是解析几何发展新的一页.以往只了解少数特例的三次曲线,现在可以从整体上进行分类并考察其性质,这激发了包括克莱姆、欧拉直到19世纪的J.普吕克(Plücker)等人对高次代数曲线的系统研究. 牛顿关于解析几何的工作在他的《流数法》一书中也有大量记述(该书拉丁文本最初甚至用名《解析几何》),其中最重要的是各种坐标系的采用.牛顿在用流数法计算切线问题时指出:“作切线可用不同的方法,这取决于曲线与直线的不同关系”,他所说的“曲线与直线的不同关系”,意味着不同的坐标系.事实上,牛顿在《流数法》中引进了9种不同的表示曲线上任意点D的坐标“模式”(mode),其中“模式3”与“模式7”分别为双极坐标系与一般极坐标系.以一般极坐标为例,牛顿是在求作所谓“机械曲线”(mechanical curve,即超越曲线)的切 AG为半径的圆弧,牛顿将曲线ADE看作是当AG绕中心A旋转时其上 方f(x,y)=0确定,于是可用流数法求出x与y的流数关系并据以确定切线DT的位置(实际上,借助一些初等几何的推导,牛顿获得流![]() 8 i6 i! @* H( |: | f0 I
1 w6 d1 E4 O/ i由此可确定Gt,而切线DT∥Gt).很清楚,这 & J& v/ m; v; n
角与矢径.他还以极坐标形式给出了阿基米德螺线和费马螺线的方程: & y) D- a& w& j i4 C, c
的创始人.极坐标后又为雅各·伯努利(Jakob Bernoulli)独立引进(1691). % X4 o) H0 _% C' ?$ }
牛顿对古典几何的研究则开始较晚.在70年代后期,牛顿表现出探索古希腊几何宝库的巨大热情.这方面的具体背景尚待探明,D.怀特赛德(Whiteside)认为主要是受到笛卡儿《几何学》中关于帕普斯问题的论述(牛顿在准备卢卡斯代数讲义过程中又重研了笛卡儿《几何学》)以及费马对两部失传希腊几何著作—阿波罗尼奥斯《平面迹线》(Plane loci)和欧几里得《衍论》(Porisms)的考证论文(1679)的激励.这导致了牛顿古典几何研究的高产时期(特别是1678—1679年间).从现存牛顿手稿看,这一时期最有代表性的作品是《古代立体轨迹问题求解》(Solutio problem atisveterum de loco solido,以下简称《立体轨迹》). 9 |3 W0 i0 V$ Q. F- t: h: X: C. a0 |+ r
《立体轨迹》是一篇由13个命题组成的短论,其中心结果是关于帕普斯问题的解答.所谓帕普斯问题是说: 9 { E" B# P0 P8 n- e% ]8 ~
已知三[或四]条直线,求一点之轨迹,使由该点向这些直线所引与其成已知交角(不同直线可有不同交角)的三[或四]线段中,二线段之乘积与另一线段之平方[或另二线段之乘积]成定比.此轨迹习称三 6 v0 l0 n+ D% ?3 B) O+ ~9 l
交比P(ACDB).) $ N5 B$ j1 w: k* T/ k2 R4 K; d
帕普斯和阿波罗尼奥斯都已猜测到三-四线轨迹为圆锥曲线,但未能作出证明.笛卡儿在《几何学》中用解析方法证实了希腊人的猜测,而牛顿《立体轨迹》则在历史上第一次用综合法确立了三-四线轨迹与圆锥曲线的等价性(命题1,2).利用此种等价性,牛顿以全新的本质上是射影的方式重新定义圆锥曲线.《立体轨迹》命题5证明了:圆锥曲线上四点A,B,C,P,过P作PQ∥AC,PS∥AB且分别交AB,AC于Q,S,若对曲线上任何第五点D,连接DB,DC分别交PQ,PS于R,T,则PR与PT之比恒为常数.反之,若PR与PT成定比,则点D必落在过A,B,C,P之圆锥曲线上(图6).不难看出,这相当于将圆锥曲线定义为两个分别会聚于确定极B与C的线束B(D)与C(D)的交点D的轨迹,而线束B(D),C(D)通过某作平行移动的直线(l)与已知角UPQ两边相交所得的点偶(R,T).对此,《立体轨迹》命题12又作了基本的推广:一轨迹线是圆锥曲线,当且仅当它能作为二线束(分别具有确定极)的交点集画出,这二线束可通过某种“单几何”(simple geometry)来相互确定.牛顿所谓的“单几何”,实质是点集与点集、点集与线集之间的一一对应.《立体轨迹》的其他一些命题用相当篇幅讨论了这种一一对应理论.牛顿后来对高次曲线的射影分类即以此为基础.他将那些可在射影下相互交换的图形看成一类,并提供了相应的作图技巧(这方面的内容后构成《原理》中专门的一节——第一卷引理XXII“将图形变换成同类的其他图形”).
; ^; t7 t' _7 ?$ L9 J2 G z0 D# O
牛顿的上述工作超越了他的时代,预示着19世纪以J.V.彭斯列(Poncelet)、J.施泰纳(Steiner)和M.沙勒(Chasles)等为代表的综合射影几何的复兴.牛顿本人并未意识到这一点,他像大多数前辈一样将自己所获得的结果纳入欧几里得几何的框架.《立体轨迹》并未正式发表,但其中绝大部分命题后来都被载入《原理》(第一卷第五章“论焦点均未知时求轨道之法”).《原理》还包括了牛顿关于古典几何的其他许多优美的定理.这些纯几何的结果成为《原理》数学论证的基础. + s% {# I6 Y" G! K" N) q
90年代初,牛顿曾想集一生几何研究之大成而编纂三卷本专著《几何学》(Geometria),整个计划未能实现,但一、二卷有手稿留下.牛顿无疑是一位几何学大师,在这方面,相对于其他领域而言,人们对他的工作了解尚不充分.
9 j+ i9 a Z3 l& h 数值分析、概率论、挑战问题 除了微积分、代数与几何以外,牛顿的数学工作还涉及数值分析、概率论和初等数论等众多的领域. - l& y% K, q' Z( Q. C0 V( N
现今任何一本数值分析教程都不能不提到牛顿的名字——牛顿-高斯公式、牛顿-斯特林公式、牛顿-拉弗森公式……,这反映了牛顿对该领域广泛而卓越的贡献.
Z) x/ C8 ^4 L: f* M6 v" V 牛顿的插值法研究有两个来源.第一个来源是追随沃利斯《无穷算术》寻求内插求积公式的努力,如前所述这导致了二项定理的发现.第二个来源是函数表的计算,这把他引向了有限差分插值理论. 0 @; [. [5 w, O- ^% i& r' v
由于实际需要,17世纪的数学家们热衷于各种函数表的编制.他们遇到的一个典型问题是如何根据函数二已知值来计算中间值,即插值.1675年春,一位叫J.史密斯(Smith)的学者致函牛顿求教自然数1—10000的平方根、立方根及四次方根表的编算,激起了牛顿对此问题的兴趣.他在给史密斯的复信(1675.5.8)中制定了一种计算开方根表的方案:先算出每组100个根 (100p)1/k,1≤p≤100(k=2,3,4),
. `% ?, p/ L6 Z( @ 然后利用一、二、三次调整差分算出每二个值之间的其他99个值.在其后撰写的两份手稿中,牛顿提出了一系列差分插值公式.这两份手稿是:《差分法则》(Regula differentiarum)和《差分方法》.(Methodus differentialis)初稿.据D.怀特赛德考均完成于1676年左右. / ?* W" O2 t! i* o7 {
在《差分法则》中,牛顿重新发现了所谓布里格斯(Briggs,1624)关系即等间距向前差分公式,并将其推广到了不等间距情形.牛顿的推导是以“调整差”(adjusted differences)为基础.如图7所示,对插值结点A,B,C,D,E,F,G,…,牛顿作下列量: ( T: G/ W) T* u) ^
* j+ V. r8 X/ Q$ T/ Y% Q$ @ (式中以A,B,C,D,…代替相应纵坐标p,q,r,s,…).此即n次调整差的递推定义,用现代记号表示为: 1 L& ?7 D0 Q% k8 y' ^1 f% a
2 y4 R7 B+ J* w 1 p/ ]/ Q; @0 V6 T: [7 i
于是可知f(x)之n阶调整差为常数.牛顿接下去的做法相当于从n阶调整差出发逆推,逐项展开差分而得:
(x-xn)△n(x0,x1,…xn)+….
" k) K2 ^6 }+ d; j' T% @ 这就是调整差形式的牛顿一般插值公式,其等间距情形有时又称牛顿-格雷戈里(Gregory)公式(J.格雷戈里1670年曾独立发现).
3 q1 D, G1 k5 x6 q2 ~ 在《差分方法》初稿中,牛顿则建立了中心差分公式.他首先讨论了两种等间距情形.
) l' E$ G+ H, A: j 情形1.奇数插值点.牛顿导出的公式相当于:
(δα0,α=1,2,…表中心差分). " J1 g- O' F2 f" d$ P
|