高斯:离群索居的王子
上帝创造了整数,其余一切都是人造的。
——利奥波德·克罗内克
数是各类艺术最终的抽象表现。
——瓦西里·康定斯基
1777年4月30日,高斯出生在汉诺威公国(今下萨克森州)的不伦瑞克市郊外(现属市区)。其时德意志民族远未统一,除了汉诺威,尚有奥地利、普鲁士、巴伐利亚等邦国。在高斯的祖先里,没有一个人可以说明为什么会产生高斯这样伟大的天才。他的父亲是个普通的劳动者,做过石匠、纤夫、花农,母亲是他父亲的第二个妻子,做过女仆,没受过什么教育。她甚至忘了高斯的生日,只记得是星期三,耶稣升天节前八天,高斯后来自己把它算出。但母亲聪明善良,有幽默感,并且个性很强。她以九十七岁高寿仙逝,高斯是她的独养儿子。
高斯在不伦瑞克的出生地,此建筑于1944年10月遭到空袭。
据说高斯二岁时就发现父亲账簿上的一处错误。九岁那年,他在公立小学念书,一次老师为了让学生们有事干,让他们把从1到 100这些整数加起来,高斯几乎立刻就把写好结果的石板面朝下放在自己的课桌上。当所有的石板都被翻过时,这位老师惊讶地发现只有高斯得出了正确的答案: 5050,但是没有演算过程。事实上,高斯已经在脑子里对这个算术级数求了和,他注意到了 1 + 100 = 101,2 + 99 = 101,3 + 98 = 101,等等50对数,从而答案是50×101 或5050。高斯在晚年常幽默地宣称,在他会说话之前就会计算,还说他问了大人字母如何发音,就自己学着读起书来。
德国马克上的高斯。图源:作者
高斯的早熟引起了不伦瑞克公爵费迪南的注意,这位公爵的名字也叫卡尔,是个热心肠且始终如一的赞助人。高斯十四岁进卡洛琳学院(现不伦瑞克技术大学),十八岁入哥廷根大学。当时的哥廷根大学仍默默无闻,事实上,它创办不到六十年。由于高斯的到来,才使得这所日后享誉世界的大学变得重要起来。起初,高斯在做个语言学家抑或数学家之间犹豫不决,他决心献身数学是1796年3月30日的事了。当他差一个月满十九岁时,他对正多边形的欧几里德作图理论(只用圆规和没有刻度的直尺)做出了惊人的贡献,发现了它与费尔马素数之间的秘密关系。特别地,他给出了作正十七边形的方法,这是一个有着二千多年历史的数学悬案。
短街上的高斯故居。本图由作者拍摄。
那一年可谓是高斯奇迹年,就在他发现正十七边形作图理论九天以后,即4月8日,他发展了同余理论,首次证明了二次互反律,这样就彻底解决了二次同余方程的可解性判断问题。5月31日,高斯提出了后人称为素数定理的猜想,也即不超过x的素数个数为x/log x,这个猜想直到一百年后才被证明;又过了五十年,两个用初等方法证明它的人中的一个因此获得了菲尔兹奖。7月10日,高斯证明了费尔马提出的三角形数猜想。10月1日,他发表了有限域里一个多项式方程解数问题的研究,导致一个半世纪后法国数学家韦伊提出了他的著名猜想。
高斯初出茅庐,就已经炉火纯青了,而且以后的50年间他一直保持这样的水准。不过,高斯取得博士学位是在同属下萨克森州的黑尔姆斯泰特大学,那里不仅离他的故乡更近,还有一位当时德国最好的数学家普法夫。值得一提的是,这所创办于1576年的古老大学在1810年并入了哥廷根大学,可是普法夫却去了哈雷大学。高斯所处的时代,正是德国浪漫主义盛行的时代。高斯受时尚的影响,在其私函和讲述中,充满了美丽的词藻。高斯说过:“数学是科学的皇后,而数论是数学的女王。”那个时代的人们也开始称高斯为“数学王子”。事实上,综观高斯整个一生的工作,似乎也带有浪漫主义的色彩。
数论是最古老的数学分支之一,主要研究自然数的性质和相互关系。从古希腊的毕达哥拉斯时代起人们就沉湎于发现数的神秘关系,优美、简洁、智慧是这门科学的特点。俄国画家瓦西里·康定斯基甚至认为:“数是各类艺术最终的抽象表现。”就像其他数学神童一样,高斯首先迷恋上的也是自然数。高斯在1808年谈到:“任何一个花过一点功夫研习数论的人,必然会感受到一种特别的激情与狂热。”现代数学最后一个“百事通”希尔伯特是19世纪后期重新崛起的哥廷根数学学派的领军人物,其传记作者在谈到大师放下代数不变量理论转向数论研究时指出:
数学中没有一个领域能够像数论那样,以它的美——一种不可抗拒的力量,吸引着数学家中的精华。
另一方面,我也注意到一些不曾研究过数论的伟大数学家,如帕斯卡尔、笛卡尔、牛顿和莱布尼兹,他们都把后半生的精力奉献给了哲学或宗教,惟独费尔马、欧拉、拉格朗日、勒让德、高斯、狄里克雷这几位对数论有着杰出贡献的数学家,却终其一生都不需要任何哲学和宗教。或许,这是因为他们心中已经有了最纯粹、最本质的艺术——数论。值得一提的是,对一些优美的数学定理或公式,高斯经常一而再、再而三地给出新的证明。例如被他称为“皇冠上的宝石”的二次互反律,高斯一共给出了六种证明方法。即便在今天,这个定律仍与中国剩余定理一样,出现在每一本基础数论教程中。
《算数研究》出版扉页
《算术研究》是数论的宪章。高斯总是迟迟不肯发表他的著作,这给科学带来的好处是,他付印的著作在今天仍然像第一次出版时一样正确和重要。他的出版物就是法典,比人类其它法典更高明,因为不论何时何地从未发觉出其中有任何一处毛病,这就可以理解高斯暮年谈到他青年时代第一部巨著时说的话:“《算术研究》是历史的财富。”他当时的得意心情是颇有道理的。
匈牙利邮票上的高斯整数
圆的分割定律,如何以几何方法将圆十七等分。
值得一提的是,这项结果在两个月后出版的《新知文献》杂志上就发表出来了,而当时的汉诺威科学并不发达。又如1796年7月10日的记载,
num = △ + △ + △
意指“每个自然数均可表为不超过三个三角形数之和”。此处三角形数是指按点排列可以构成正三角形状的数,例如1、3、6、10、15……这是17世纪法国数学家费尔马猜想的一个特例,后者说的是,当n大于2时,每个自然数均可表成不超过n个n角形数之和。高斯还在这条日记旁边写上Eureka!即“我发现了!”这是阿基米德在浴桶里悟出浮体定律时说的话。就像莫扎特一样,高斯年轻时候风起云涌的奇思妙想使他来不及做完一件事,另一件又出现了。
高斯不仅是数学家,还是那个时代最伟大的物理学家和天文学家之一。在《算术研究》问世的同一年,即1801年的元旦,意大利天文学家皮亚齐在西西里岛观察到在白羊座(Aries)附近有光度八等的星移动,这颗现在被称作谷神星(Ceres)的小行星质量只有月球的五十分之一。它在天空出现了四十一天,扫过八度角之后,就在太阳的光芒下没了踪影。当时天文学家无法确定这颗新星是彗星还是行星,这个问题很快成了学术界关注的焦点,甚至成了哲学问题。
比高斯年长七岁的哲学家黑格尔那时正任教于离哥廷根不远的耶拿大学,还只是个无薪讲师。他写文章嘲讽天文学家说,不必那么热衷去找寻第八颗行星,他认为用他的逻辑方法可以证明太阳系的行星,不多不少正好是七颗。几个月过去了,这场争论仍未见分晓。年轻的高斯也对此产生了兴趣,他想既然天文学家通过观察找不到谷神星,那么可否利用数学方法找到它呢?高斯相信,天文学是离不开数学的,开普勒正是凭借着自己的数学才能,发现了行星运动三大定律;牛顿也是凭着渊博的数学知识,发现了万有引力定律。
哲学家黑格尔。图源:维基百科
果然,高斯在欧拉工作的基础上,用自己发明的最小二乘法简易地计算出了行星轨道。他根据皮亚齐的观测资料,只用一个小时便算出了谷神星的轨道形状,并预测了它的下一次出现。不管黑格尔有多么不高兴,那年的最后一个夜晚和次年的第一个夜晚,两位天文爱好者在德国的两座城市把望远镜对准天空。果然,这颗最早被发现迄今仍是最大的小行星准时出现在高斯指定的位置上,这应该是他后来得以出任哥廷根天文台台长的重要原因。自那以后,小行星、大行星(海王星)和矮行星(冥王星)接二连三地被人发现了。
在物理学方面高斯最引人注目的成就是在1833年和物理学家韦伯发明了有线电报。韦伯只比狄利克雷年长一岁,他在洪堡召开的一次学术会议上做了一个报告,台下的高斯听了十分欣赏,随后不久便将其引荐延聘到哥廷根。两人各自善长理论和实践,加上韦伯性格温和谦让,可谓是一对黄金搭档,开始了愉快而卓有成效的合作。次年高斯曾在给鲍耶的信中情意绵绵地提到,“我的生活因为他的出现而变得更加精彩,他的性格非常亲切而又富有天赋”。
可是,四年以后,哥廷根发生了反对废除自由宪法的“七君子事件”,韦伯与6位文科教授(包括高斯的女婿和童话作家格林兄弟)失去了教职。在这场政治较量中,高斯作为哥廷根最有威望的教授并没有挺身而出,而是选择了明哲保身。韦伯被迫去了莱比锡任教(格林兄弟到了卡塞尔),直到十二年后才重返哥廷根,接替高斯担任天文台台长,但没有再担任教职。
高斯和韦伯的电报术利用了丹麦人奥斯特的电磁转向与电流方向垂直原理(1820)和苏格兰人法拉利的电磁感应原理(1831)。这项发明使得高斯的声望首次超出学术圈进入公众,但他们的商业意识不太强,一直使用那台电报机,直到1845年被一次闪电打坏为止。其时,在英国和美国,电报产业早已如火如荼地开展起来了。有趣的是,作为一名科学家, 高斯是韦伯的恩师;而作为磁场感应的单位, 一高斯只有一万分之一韦伯。
对于天文台台长高斯来说,望远镜是不可或缺的工具,除了用来观察天空以外,他还用自制的望远镜推动了光学研究。1843年,高斯的光学巨著《光折射研究》出版,书中首次提出了光的焦距、焦面和焦点等概念。他利用几何学的方法,证明了不论透镜有多厚,光的折射均可以用薄透镜或单折射面的简单公式来研究推导。在此以前,欧拉、拉格朗日和莫比乌斯都只考虑薄透镜的折射,而实际面临的应用问题并非如此。
在流体静力学方面,高斯写过一篇重要论文《关于力学的一个新的普遍原理》(1829),提出了后人所称的高斯最少约束原理,即任何一组相互影响并受外界影响的质点,在任何时刻其运动的方式必尽可能地接近自由运动,也就是最少约束运动。此处的约束是以每个质点离开自由运动轨迹的距离的平方乘上质量后,对所有质点求和来决定的。高斯曾感叹说,“自然对于一个物理运动方式的修正,与数学家对他的观察数据修正一样,都是采用最小二乘法进行的。”
除此以外,高斯在测地学、水工学、电动学等方面也有杰出的贡献。即使是数学领域,我们谈到的也只是他年轻时在数论领域里所做的部分工作,在其漫长的一生中,他几乎在数学的每个领域都有开创性的工作。例如,前文提及的最小二乘法便是一种数学优化技巧,通过平面上的一组坐标值来确定一条直线的方程。这是高斯当年用以找寻谷神星的数学工具,后来他把它写进著作《天体运动论》(1809)。最小二乘法如今在测绘学中有着广泛的应用,可是因为法国数学家勒让德独立发现并发表在先(1806),曾有过不太愉快的优先权之争。1829年,高斯还给出了最小二乘法的优化效果强于其他方法的证明。
又如,在高斯发表了《曲面论上的一般研究》之后大约一个世纪,爱因斯坦评论说:“高斯对于近代物理学的发展,尤其是对于相对论的数学基础所做的贡献(指曲面论),其重要性是超越一切,无与伦比的。”而他对椭圆函数的先驱性发现和非欧几何学方面的划时代工作,都没有在生前发表。说到椭圆函数,它是一种双周期的亚纯函数,最初是从求椭圆弧长时导出来的,直到今天仍是数学的研究热点。正是由于高斯在《算术研究》里暗示了这片未开采的处女地,引导后来阿贝尔和雅可比开展了一场著名的数学竞赛。
至于非欧几何学,堪称现代数学史上最伟大的发现。高斯是最早怀疑欧氏几何是自然界和人类思想所固有的人之一(拥护的人中有牛顿和康德)。欧几里德是建立系统性几何学的第一人,他的著作中的部分思想被称为公理,它们是通过逻辑构建整个系统的出发点。在这些公理中,平行公理显得尤为突出。依照这条公理,通过给定直线外的任意一个点只能作一条直线与该直线平行。许多人试图从其他公理推出这一公理,但没有一个证明都是正确的,高斯是最早意识到可能存在平行公理不适用的几何学的人之一,后来他自己证实了这一点,且新的几何学内部是相容的。
1830年前后,当俄国的罗巴切夫斯基和鲍耶先后发表他们的非欧几何学时,高斯才宣称早在三十年前他就得出了同样的结果。事实上,在1799年9月的一则日记里,高斯这样记载,“在几何基础的问题上,我们得到了很好的结果。”同年底他在给老鲍耶的信中写道,“面积任意大三角形的存在性与欧氏平行公理是等价的。而在非欧几何学里,所有三角形的面积都不能超过一个界限。”1824年,高斯在给一位业余数学家的信中写道,“由三角形内角和小于一百八十度的假设中可以导出一种奇异的几何,这种几何与欧氏几何大不相同,但其本质却是相合的。”对此老鲍耶十分理解,他说“很多事物仿佛都有那么一个时期,届时它们在许多地方同时被人们发现了,正如在春季看到紫罗兰处处开放一样。”
大自然啊,我的女神, 我愿为你献身,终身不渝。
高斯最钦佩的英语作家是苏格兰人司各特,几乎阅读了他所有的作品。有一次,高斯在司各特爵士有关自然景观的描述中找到了一个错误(满月是从西北方向升起来的),因而狂喜不已。他不仅在自己那本书上把它纠正过来,还跑到哥廷根书店把其它未售出的书都改了。
和所有伟大的数学家一样,抽象符号对高斯来说并非虚幻而不真实的。有一次他谈到:“灵魂的满足是一种更高的境界,物质的满足是多余的。至于我把数学应用到几块泥巴组成的星球,或应用到纯粹数学的问题上,这一点并不重要。但后者常常带给我更大的满足。”高斯的身体一直不错,而他的第二任妻子早他二十四年便已离世,在他晚年受到病魔袭击之前,他一直没有在宗教或精神上花时间。心脏病不断摧毁他的意志,1848年,高斯写信给他最亲密的朋友说:
我经历的生活,虽然像一条彩带飞舞过整个世界,但也有其痛苦的一面。这种感受到了年迈的时候更是不能自持,我乐于承认,如果换一个人来过我的生活的话,也许会快乐得多 。另一方面,这更使我体会到生命的空虚,每一个接近生命尽头的人,都一定会有这种感觉……
高斯还说过:“有些问题,如果能解答的话,我认为比解答数学问题更有超然的价值,比如有关人类和神的关系,我们的归宿,我们的将来等等。这些问题的解答,远超出我们能力之所及,也非科学的范围内能够做到。”
高斯之墓。作者摄于哥廷根
1855年2月23日清晨,高斯在睡梦中平静地与世长辞,享年77岁。他曾经要求在他的墓碑上刻一个正十七边形, 但事与愿违,因为雕刻工坚持认为正十七边形刻出来后几乎与圆一模一样。作为一种弥补,在其故乡不伦瑞克的高斯纪念碑的基座上刻下了一颗有十七个尖角的星。
高斯纪念碑基座上的正十七角星。作者摄于不伦瑞克
高斯曾被形容为:“能从九霄云外的高度按照某种观点掌握星空和深奥数学的天才。”他将自己的数种天赋——有创造力的直觉、卓越的计算能力、严密的逻辑推理、十全十美的实验——和谐地组合在一起,这种能力的组合使得高斯出类拔萃,在人类历史上找不到几个对手。习惯上只有阿基米德和牛顿与他相提并论(最多加上欧拉),他们都非常多才多艺。当然,爱因斯坦也属于同一水准,但他有所限制,因为他所依赖的数学工具不是自己创造的;另外,爱因斯坦也不是实验家,他的理论需要别的科学家检验。
1991年5月初稿;2001年5月二稿;2012年5月三稿。
注释:
[1]原德国马克纸币共8种,从5马克到1000马克。10马克纸币的反面是统计学里的正态(高斯)分布曲线。除了他和一位诺贝尔生理学医学奖得主以外,另外几位分别是诗人、作家、音乐家、画家和建筑师,包括童话作家格林兄弟和钢琴家克拉克·舒曼。
[2]乔治三世, 在位时间 (1760-1820) 。那时哥廷根隶属三个国家: 大英帝国、爱尔兰和汉诺威公国,哥廷根大学便是由其祖父英王乔治二世 (1727-1760年间在位) 于1737年所建。
《数字与玫瑰》
欢迎关注我们,投稿、授权等请联系
微信扫码关注该文公众号作者