高斯与 19 世纪数学

一、从不伦瑞克到哥廷根

1777 年 4 月 30 日，卡尔·弗里德里希·高斯（Carl Friedrich Gauss）出生在德意志不伦瑞克的一个劳工家庭。关于他的早慧，流传最广的故事是：小学老师为让学童安静，要求计算 1 加到 100，小高斯立刻发现首尾配对各得 101、共 50 对，写下 5050。这个故事的细节未必可靠，但他的天赋很快引来了不伦瑞克公爵的资助：1792 年入卡罗琳学院，1795 年进入哥廷根大学。

1796 年 3 月 30 日，还不满十九岁的高斯证明了正十七边形可以用尺规作出——这是自欧几里得以来正多边形作图问题的第一次实质推进，因为古希腊人只会作三、五、十五边形及其加倍。据说正是这个发现让高斯放弃语言学、决心终身研究数学，他后来还要求把正十七边形刻在墓碑上（石匠以"刻出来会像圆"为由拒绝了）。

1799 年，高斯在赫尔姆施泰特大学获得博士学位，论文给出了代数学基本定理的第一个严格证明：任何复系数多项式在复数域内至少有一个根。他对此定理钟爱有加，一生先后给出四个不同的证明。1801 年，两件大事奠定了他的声望：巨著《算术研究》出版，以及他用自己发明的最小二乘法算出了年初被皮亚齐发现、随后"丢失"的谷神星的轨道——天文学界按他的预报在年底重新找到了这颗小行星。1807 年起，高斯出任哥廷根天文台台长兼教授，直到 1855 年去世，近半个世纪不曾离开。他的座右铭是"pauca sed matura"——少而精：宁可不发表，也不发表不成熟的东西。

二、数论与代数的高峰

1801 年出版的**《算术研究》**（Disquisitiones Arithmeticae）是高斯 24 岁时写成的著作，全书用拉丁文写就，系统化了此前散见于费马、欧拉、拉格朗日手稿中的数论知识，把数论从"聪明人的智力游戏"变成一门有体系的学科。

书中有几项基石性的贡献：其一是引入同余记号——“a ≡ b (mod m)“这个今天每个中学生都熟悉的写法，正是高斯的发明；其二是给出二次互反律的第一个完整证明。这条定理由勒让德最早陈述、欧拉也已察觉，它刻画了两个奇素数互为二次剩余之间的深刻对称关系，高斯称之为”黄金定理"（theorema aureum），一生共给出八个互不相同的证明；其三是分圆理论：高斯证明正 n 边形可以尺规作图的条件与费马素数（3、5、17、257、65537）挂钩，正十七边形只是这个一般判据的特例。

这一时期还有一桩著名的优先权之争：最小二乘法。法国数学家勒让德 1805 年率先发表了这一方法，而高斯在 1809 年的《天体运动论》中公布自己的版本时声称自 1795 年起就已在实际使用——谷神星轨道正是这样算出来的。两人的争执终未平息，后世的考证倾向于高斯私下先用、勒让德独立先发表。

《算术研究》里还埋着一颗迟爆的炸弹：二元二次型理论。高斯研究形如 ax²+bxy+cy² 的整系数式子能表示哪些整数，定义了二次型之间的"复合"运算——这套运算后来被狄利克雷、戴德金改写成更抽象的语言，19 世纪末凝成”类群“概念，成为代数数论的出发点。可以说，今天密码学里天天被引用的理想类群、椭圆曲线上的群结构，谱系都要追溯到这几章枯燥的整数演算。

高斯对代数还有一项常被忽略的贡献：让复数合法化。1831 年的论文中，他把复数 a+bi 解释为平面上的点——今天所谓的"高斯平面”，“复数"这个术语也由他确立。其实挪威测量员韦塞尔 1797 年、瑞士簿记员阿尔冈 1806 年都已给出类似的几何表示，但藏在不起眼的出版物里，无人理会。

三、非欧几何的沉默先声

高斯还是非欧几何最早的确信者——却也是最沉默的一个。自 1792 年起他就反复琢磨欧几里得的第五公设，到 1813 年前后已得出结论：平行公设不可能从其余公理推出，完全可以建立一种相容的"非欧几里得几何”。1824 年他在写给数学家陶里努斯的信中明确说：假定三角形内角和小于两直角，会导出一套自洽的几何——并郑重要求对方保密。

为什么保密？1829 年他给老友贝塞尔的信里道破天机：他害怕"波奥提亚人的叫喊"——波奥提亚是古希腊人眼中愚钝之邦，高斯怕的是整个学术界把这看作亵渎几何的疯话。1831 年前后，匈牙利青年鲍耶的论文送到他手上，高斯回信称不能称赞此文，“因为称赞它就等于称赞我自己”——论文内容与他多年的思考如出一辙。这对鲍耶是毁灭性的打击，却也侧面证实：到 1830 年代，高斯早已把双曲几何的主要图景想清楚了。

然而终其一生，高斯没有为这门新几何发表过一行字。公开发表的荣誉落在了 1829 年的罗巴切夫斯基和 1832 年的鲍耶身上（详见本系列《非欧几何专题》）。高斯的沉默有他性格的因素，却也说明一件事：第五公设的坚冰在 19 世纪初已布满裂纹，只待有人敢公开踩上去。

四、群论的萌芽：阿贝尔与伽罗瓦

19 世纪代数学的中心问题是一个古老悬念：一般五次方程能用根式求解吗——像二次方程求根公式那样，用系数的加减乘除和开方表达全部根？拉格朗日在 1770 年前后系统梳理了前人的解法，发现三、四次方程的解法都依赖于根的某种置换技巧，并敏锐指出这条路在五次时会断掉。1799 年，意大利人鲁菲尼给出了第一个不可解性证明，但长达数百页的论证里留有漏洞，几乎没人读懂。

补上漏洞的是挪威青年尼尔斯·阿贝尔（Niels Abel，1802—1829 年）。1824 年他自费印行小册子，严格证明了一般五次方程不可用根式求解；1826 年扩展版发表在克雷尔新创办的《纯粹与应用数学杂志》创刊号上。阿贝尔随后在椭圆函数领域与雅可比展开竞争，成果斐然，却始终谋不到教职，1829 年 4 月在贫病中死于肺结核，年仅 26 岁——两天后，柏林大学的聘书寄到了他的住处。

真正照亮深渊的是埃瓦里斯特·伽罗瓦（Évariste Galois，1811—1832 年）。这位巴黎少年天才把问题彻底翻了个面：不再问"公式长什么样"，而是问"根的置换遵循什么规律"。他把方程的全部根所容许的置换组织成一个整体——后世命名为伽罗瓦群——并证明：方程可根式求解，当且仅当这个群能拆成一条由正规子群构成的链，且相邻两层的商群都是交换的。满足这一结构的群后来就叫"可解群"。五次方程的伽罗瓦群在一般情形下恰好卡在这条链之外，所以不可解——这不仅回答了五次方程问题，还给出一切方程可解性的统一判据，连"三等分任意角"“倍立方体"为何尺规不能完成，都成了同一个原理的推论。伽罗瓦 1830—1831 年间三度向巴黎科学院提交论文，得到的回应是遗失与"不可理解”；他又两度落榜巴黎综合理工学院，因共和派活动入狱。1832 年 5 月 29 日夜，他在一场动机至今成谜的决斗前通宵写信给友人舍瓦利耶，整理自己的数学手稿，次日腹部中弹，又一日后去世，不满 21 岁。

伽罗瓦的手稿直到 1846 年才由刘维尔在自己的杂志上全文发表，1870 年若尔当出版《置换论》使之系统化。又过了不久，克莱因 1872 年用群给几何分类（埃尔朗根纲领）、李用群研究微分方程——“群"从一篇决斗前夜的遗稿出发，最终成为整个数学的通用语言。

五、复变函数：三条路线一座大厦

19 世纪分析学最辉煌的成就是复变函数论，它由三条互不相同的路线建成。

第一条是柯西（Augustin-Louis Cauchy，1789—1857 年）的积分路线。这位法国保皇党人一生写了近八百篇论文：1821 年《分析教程》给出极限、连续、级数收敛的现代定义；1825 年的小册子定义了留数，建立了以他名字命名的积分定理——解析函数沿闭路的积分为零——以及由此推出的积分公式：解析函数在区域内任意点的值，完全由它在边界上的值决定。这个"边界决定内部"的性质，是复变函数区别于实变函数的灵魂。

第二条是黎曼（Bernhard Riemann，1826—1866 年）的几何路线。1851 年他在高斯指导下完成哥廷根博士论文，发明了黎曼面来处理多值函数——把根号、对数这类"一个输入对应多个输出"的函数，摊在多层叠合的曲面上重新变回单值；并证明了黎曼映射定理：任何边界多于一点的单连通区域都可以共形映射到单位圆盘。据说素来吝于称赞的高斯听完黎曼的就职试讲后，罕见地表现出兴奋。

第三条是魏尔斯特拉斯（Karl Weierstrass，1815—1897 年）的幂级数路线。这位直到四十岁还在中学教体操的数学家，主张把一切建立在幂级数与解析开拓之上，拒绝依赖几何直觉；他推动的”分析算术化“运动，最终由他和追随者把微积分严格化为今天教材里的 ε-δ 语言，“一致收敛"这类关键概念也是他确立的。1872 年他构造出处处连续却处处不可微的函数，把"连续曲线总该有切线"的直觉击得粉碎。他的学生中既有康托尔，也有柯瓦列夫斯卡娅——1874 年获哥廷根博士、1889 年任斯德哥尔摩教授，欧洲第一位女数学教授。三条路线在 19 世纪末汇流，复分析成为整个世纪最精致、最完整的理论。

这套理论的威力立刻显现：借助留数定理，一大批此前算不动的实积分变成了机械操作；黎曼面的语言让椭圆函数、阿贝尔积分的混沌图景变得清澈；而"解析函数由边界值决定"的思想，日后在 20 世纪的流体力学、电磁学与量子力学里反复回响。

六、内蕴几何的诞生

1818 年起，高斯主持汉诺威王国的大地测量，在野外的三角网里泡了整整一个年代，还发明了利用日光信号进行观测的日光反射仪。繁重的实测没有白费：1827 年出版的**《关于曲面的一般研究》**把测量经验提炼成了微分几何的基石。

书中两个概念影响至今。高斯曲率定义为曲面上一点的两个主曲率之积：球面上处处为正，马鞍面上处处为负，平面上为零。更深刻的是”绝妙定理"（Theorema Egregium）：高斯曲率只由曲面的内在度量决定，与曲面如何嵌入三维空间无关。一张平坦的纸无论卷成圆柱还是圆锥，其上每点的高斯曲率仍是零——这正是任何平面地图都无法完美呈现球面地球的数学原因。高斯本人对这条定理极为得意，“绝妙"二字就是他自封的。

绝妙定理的真正革命性在于视角：曲面的弯曲性质可以不离开曲面本身、只凭曲面上的测量来确定。1848 年，博内把这一思路推广为高斯-博内定理的雏形：曲面上的总曲率与它的拓扑形状（欧拉示性数）挂钩——几何量第一次与拓扑量焊在一起。1854 年黎曼把内蕴思想推广到任意维空间，为半个世纪后的广义相对论备好了数学工具——这是后话，本系列《非欧几何专题》将展开讲述。

顺带一提，高斯与物理学家韦伯 1833 年在哥廷根架设了从天文台到物理实验室的电报线，约一公里长，是世界上最早投入实用的电磁电报之一——比莫尔斯在华盛顿与巴尔的摩之间的公开线路早了十一年。

七、少而精的遗产

高斯 1855 年 2 月 23 日在哥廷根去世。由于他"少而精"的发表原则，大量成果从未公开：1898 年他的科学日记被重新发现，146 条简短记录显示，椭圆函数、非欧几何乃至最小二乘，许多被 19 世纪数学家"重新发现"的东西，他早已锁在抽屉里。数学史家常设想：若高斯像欧拉那样有问必答，数学会被提前多少年。

高斯身后的 19 世纪，数学本身也在蜕变：它从贵族赞助下的个人爱好，变成研究型大学里的职业——柏林大学 1809 年创立、哥廷根继起，克雷尔 1826 年创办的《纯粹与应用数学杂志》至今仍是顶级期刊。一条师承链条从哥廷根伸出来：高斯、狄利克雷、黎曼、克莱因，最终在希尔伯特手中把这座城市变成 20 世纪初的世界数学中心。高斯那句名言至今悬在这条血脉的源头：数学是科学的皇后，数论是数学的皇后。