高斯

生平#

卡尔·弗里德里希·高斯（Carl Friedrich Gauss，1777—1855）被誉为"数学之王"（Princeps Mathematicorum），是人类历史上最伟大的数学家之一。他出生于德国不伦瑞克的一个贫穷家庭，父亲是园丁和砌砖工，母亲是石匠的女儿。高斯的数学天赋在童年时就已显现。最著名的故事是：上小学时，老师（传说中名叫 Büttner）出题让学生把一长串数相加，高斯几乎立刻把写着答案的石板交了上去——他用首尾配对的技巧瞬间算出了结果，相当于等差数列求和公式：

$$1 + 2 + 3 + \cdots + 100 = \frac{100 \times 101}{2} = 5050$$

不过，这个流传最广的"1 到 100"版本需要打个学术折扣。这个故事最原始的来源是萨托里乌斯（Sartorius von Waltershausen）1856 年——高斯去世仅一年后——写的纪念文集，但原始记载里既没有出现"1 到 100"这些具体数字，也没有提到配对求和的技巧或公式，只说老师出了一道求和难题、高斯第一个交上唯一正确的答案。"1 到 100"以及配对法等细节是后世（包括高斯的曾孙女）添加的，史学家（如 Brian Hayes 在《American Scientist》上的考证）认为这些细节很可能是经年累月被润色加工出来的。故事的内核——高斯幼年就展现出惊人的算术直觉——是可信的；具体数字则不宜当作信史。

高斯的天赋引起了不伦瑞克公爵卡尔·威廉·斐迪南的注意。公爵资助高斯完成了教育——先进入卡罗琳学院（1792—1795），再进入哥廷根大学（1795—1798）。

1796年3月30日，19岁的高斯发现了正十七边形的尺规作图法。这一发现使他决定终身从事数学研究。同年，他给出了代数基本定理的第一个严格证明。

1799年，高斯在黑尔姆施泰特大学获得博士学位，论文题目是《代数基本定理的新证明》。1801年，他发表了《算术研究》（Disquisitiones Arithmeticae），这部著作奠定了现代数论的基础。

1801年，高斯用最小二乘法成功预测了谷神星的轨道——这颗小行星刚被发现就消失在太阳的光芒中。这一成就使他声名大噪。

1807年，高斯被任命为哥廷根大学天文学教授和天文台台长。此后，他在哥廷根度过了余生，进行了广泛的科学研究——从数论到大地测量学，从电磁学到晶体学。

高斯是完美主义者，只发表他认为完美的结果。他的日记显示他有许多重大发现比正式发表早了几十年。非欧几何、椭圆函数、四元数——这些19世纪的重大发现，高斯都独立得到过，但从未发表。

1855 年 2 月 23 日，高斯在哥廷根去世，享年 77 岁。他的大脑被保存下来供解剖学研究（瓦格纳等人发现其脑回异常发达）。这里有一段曲折的后续：2014 年发表于《Brain》期刊的一项研究（施韦泽等人用磁共振成像）发现，一个半世纪以来被当作"高斯的大脑"研究的标本，其实与哥廷根医生康拉德·福克斯（Conrad Fuchs）的大脑在去世后不久被装错了瓶子——直到现代影像技术才纠正了这桩百年乌龙。

核心贡献#

代数基本定理#

高斯在他的博士论文中给出了代数基本定理的第一个严格证明：

定理：每个次数大于零的复系数多项式在复数域中至少有一个根。

等价表述：$n$ 次复系数多项式恰好有 $n$ 个复根（计重数）。

高斯一生给出了四个不同的证明（1799 年博士论文、1815 年、1816 年、以及 1849 年他博士毕业 50 周年时的纪念性证明），每个都使用了不同的方法。值得点破一个常被忽略的微妙之处：高斯 1799 年的"第一个证明"其实也不是完全严格的——它依赖一个看似显然的几何断言（某条实代数曲线必与另一条相交），而这个交点存在性直到 1920 年才由奥斯特洛夫斯基（Alexander Ostrowski）补全。也就是说，"高斯给了第一个严格证明"这一通俗说法需要打个折扣：他给出的是第一个实质上正确、远比前人（达朗贝尔、欧拉、拉格朗日）完整的证明，真正无懈可击的版本是他 1816 年那个纯代数（其实是代数-拓扑）的第三证明，它只假设奇数次实系数方程必有实根、以及复二次方程可解。

还有一个常被搞错的点：代数基本定理不能纯靠代数手段证明。任何证明都必须在某处用到实数的完备性（连续性）——这是一条分析性质，不是纯代数性质。原因很简单：在不完备的有序域（如实代数数域）上，会有奇数次多项式没有根。所以"代数基本定理"这个名字略有误导——它的内核是分析的。

代数基本定理的意义在于它封闭了数的系统——从自然数到整数到有理数到实数再到复数，每一步扩展都是为了使某种方程有解。复数域是代数封闭的——任何代数方程在复数域中都有解；而这一步扩展之后，不必再继续：你不会为了解复系数方程而需要发明"超复数"。

正十七边形的尺规作图#

1796年，19岁的高斯证明了正十七边形可以用尺规作图。这是自欧几里得以来，尺规作图理论最重大的突破。

高斯的结果更一般化：正 $n$ 边形可以用尺规作图，当且仅当 $n$ 是2的幂与若干不同的费马素数的乘积。

费马素数是形如 $F_k = 2^{2^k} + 1$ 的素数。已知的费马素数只有5个： - $F_0 = 3$ - $F_1 = 5$ - $F_2 = 17$ - $F_3 = 257$ - $F_4 = 65537$

因此，正 $n$ 边形可作图的条件是：

$$n = 2^a \cdot p_1 \cdot p_2 \cdots p_k$$

其中 $a \geq 0$，$p_i$ 是不同的费马素数。由于 $17 = F_2$ 是费马素数，正十七边形可作图。高斯对这一发现极为自豪，遗嘱要求在他的墓碑上刻上正十七边形（石匠以"无法与圆区分"为由拒绝了）。

《算术研究》与数论#

高斯的《算术研究》（Disquisitiones Arithmeticae，1801）是数论史上最重要的著作。这部著作系统化了欧拉、拉格朗日和勒让德的数论研究，并引入了许多全新的概念。

同余理论：高斯系统发展了同余理论，引入了同余符号：

$$a \equiv b \pmod{n}$$

表示 $a - b$ 被 $n$ 整除。高斯证明了同余的基本性质，如同余的加法、乘法和幂运算。

二次互反律：高斯给出了二次互反律的第一个完整证明。这一定理描述了两个素数之间的深刻关系：

$$\left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}}$$

其中 $\left(\frac{p}{q}\right)$ 是勒让德符号，表示 $p$ 是否是 $q$ 的二次剩余。

这里有一处优先权的微妙之处值得讲清楚：二次互反律并非高斯首先陈述——欧拉早已通过实验观察到它，勒让德（Legendre）在 1785/1798 年也给出了完整表述并尝试证明。但勒让德的"证明"有一个未填的漏洞——他暗中假设了"算术级数中有无穷多素数"（即后来的狄利克雷定理），而这一点当时尚未证明。高斯正是指出了这个漏洞，并在 1801 年的《算术研究》中给出了第一个完整、无漏洞的证明。他称二次互反律为"黄金定理"（theorema aureum），一生为它给出了八个不同的证明（生前发表六个，另两个见于遗稿）——之所以反复求证，是因为他相信这条定理是通向更高互反律（最终发展为类域论与朗兰兹纲领）的钥匙。

原根：高斯证明了每个素数 $p$ 都有原根——一个数 $g$，使得 $g^1, g^2, \ldots, g^{p-1}$ 在模 $p$ 下遍历 $1, 2, \ldots, p-1$。

最小二乘法#

高斯发展了最小二乘法——一种从带有误差的观测数据中估计参数的方法。设观测数据为 $(x_1, y_1), (x_2, y_2), \ldots, (x_n, y_n)$，要拟合线性模型 $y = a + bx$。最小二乘法选择 $a, b$ 使得残差平方和最小：

$$S(a, b) = \sum_{i=1}^{n} (y_i - a - bx_i)^2 \rightarrow \min$$

通过求偏导并令其为零：

$$\frac{\partial S}{\partial a} = 0, \quad \frac{\partial S}{\partial b} = 0$$

得到正规方程组，解出最优参数 $a, b$。高斯用最小二乘法处理天文观测数据，成功预测了谷神星的轨道。这一方法至今仍是统计学、工程学和机器学习的基础工具。

高斯分布#

高斯深入研究了正态分布（高斯分布）——统计学中最重要的概率分布：

$$f(x) = \frac{1}{\sigma\sqrt{2\pi}} e^{-\frac{(x-\mu)^2}{2\sigma^2}}$$

其中 $\mu$ 是均值，$\sigma$ 是标准差。高斯分布的重要性体现在中心极限定理中：大量独立随机变量的和趋向于正态分布。这解释了为什么正态分布在自然界中如此普遍——身高、体重、测量误差等都近似服从正态分布。

非欧几何#

高斯是第一个意识到非欧几何存在的数学家。他发现否定欧几里得第五公设（平行公设）不会导致矛盾——可以构造出一种自洽的几何系统，其中过直线外一点可以作无数条平行线。

然而，高斯从未发表这一发现。1829 年 1 月 27 日他在给天文学家贝塞尔（Bessel）的信中坦言，自己关于这一主题的庞大研究可能终生都不会整理发表，因为他"害怕彼奥提亚人的叫喊"（die Geschrei der Böotier）。"彼奥提亚人"（Boeotians）是古希腊人对头脑迟钝、不解风情者的蔑称——高斯借此暗指那些把欧几里得几何当作绝对真理、无法理解新思想的同行；这句话常被误传为"害怕法国人的叫喊"，但原文针对的并非法国人。

罗巴切夫斯基（1829）和鲍耶（1832）独立发表了非欧几何。高斯在私下赞扬了他们的工作，但从未公开表态——这一保守态度，连同他从不发表"不完美"成果的习惯，使他与非欧几何的优先权擦肩而过。

高斯-博内定理#

高斯发现了高斯-博内定理的二维形式：

$$\int_M K \, dA = 2\pi \chi(M)$$

其中 $K$ 是高斯曲率，$dA$ 是面积元，$\chi(M)$ 是曲面的欧拉示性数。这一定理将局部几何性质（曲率）与整体拓扑性质（欧拉示性数）联系起来，是微分几何中最深刻的结果之一。

历史背景#

高斯生活在法国大革命和拿破仑战争的时代。这一时期欧洲经历了剧烈的政治动荡，但科学和数学却蓬勃发展。在数学方面，18世纪末到19世纪初是严格化的时代。欧拉和拉格朗日的分析学需要更严格的基础，柯西和魏尔斯特拉斯后来完成了这一任务。高斯的工作体现了这一严格化趋势——他的证明总是力求完美，从不发表他认为有漏洞的结果。

高斯的完美主义既是优点也是缺点。一方面，他的工作质量极高，几乎没有错误；另一方面，他的许多发现因未发表而被其他数学家独立发现，导致优先权争议。

思想遗产#

高斯的影响深远而持久：

1. 数论：《算术研究》奠定了现代数论的基础，同余理论和二次互反律至今仍是数论的核心
2. 代数学：代数基本定理封闭了数的系统
3. 几何学：高斯-博内定理和非欧几何的发现开辟了微分几何的新纪元
4. 统计学：最小二乘法和高斯分布成为统计学的基础
5. 天文学：用数学方法预测天体轨道，开创了计算天文学

高斯被称为"数学之王"，因为他几乎在数学的每个分支都做出了重大贡献。他的工作质量之高、范围之广，在数学史上无人能及。

与其他数学家的关系#

• 欧拉：高斯继承并发展了欧拉的数论研究
• 黎曼：高斯的学生和继承者，发展了高斯的微分几何
• 勒让德：与高斯就最小二乘法的优先权发生争论
• 波尔约：非欧几何的独立发现者，高斯承认了他的优先权
• 狄利克雷：继承了高斯的数论研究
• 牛顿：高斯称牛顿为"最伟大的天才"

跨域连接#

• 大地测量：三角网把大范围距离化成一串角度观测，误差在网中传播，并在闭合处暴露出来。推论：多余观测不是浪费，它是唯一能把误差揪出来的手段，观测数超出未知数越多，可分辨的系统差越细——正是这种冗余逼出了"让残差平方和最小"的估计方法。
• 地球磁场：地表磁场可以按球面上的一组正交函数逐阶展开，各阶系数由全球观测点拟合确定。推论：低阶项对应偶极场，高阶项对应局部异常；台站分布一旦不均匀，高阶系数就不可靠——同理，用低阶模型去解释局部异常必然失败。
• 临床试验：从带噪观测里估参数，靠的是对误差分布的假设：误差近似独立且对称时，残差平方和最小的估计才是最优的。推论：一旦存在系统性偏倚或长尾，最小二乘不再最优，样本量再大也补不回被偏倚污染的估计——所以设计上必须先控偏倚。
• 民意测量：总体量由带误差的样本反推，精度随样本数按平方根改善。推论：加样本的回报递减，而修正抽样偏差的回报不递减——这解释了为什么调查的关键投入在覆盖面而不在规模，对任何抽样式测量都成立。
• 统计学：把"最可能的真值"定义为使残差平方和最小者，等价于假设误差服从正态分布。推论：正态性不是观察到的普遍事实，而是被选中的前提——换一种误差分布，"最优估计"就换一个公式，稳健估计正是从放弃这一前提出发的。

参考文献#

1. Carl Friedrich Gauss, Disquisitiones Arithmeticae (1801)
2. G. Waldo Dunnington, Carl Friedrich Gauss: Titan of Science (1955)
3. W.K. Bühler, Gauss: A Biographical Study (1981)
4. Victor Katz, A History of Mathematics: An Introduction (2008)

延伸阅读#

1. 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992

「数学是科学的女王，数论是数学的女王。」——高斯