数学群星MATHEMATICAL LUMINARIES

Carl Friedrich Gauss · 1777–1855

高斯

数学王子——每一击必中

φ(x)=1σ2π e−(x−μ)22σ2\varphi(x) = \frac{1}{\sigma\sqrt{2\pi}}\,e^{-\frac{(x-\mu)^2}{2\sigma^2}}
正态分布密度 · 误差与随机的钟形规律

卡尔·弗里德里希·高斯生于不伦瑞克的贫寒人家，父亲是泥瓦匠。天赋为公爵所知，得以资助入学。1796 年，十九岁的他证明正十七边形可以尺规作图，从此决意献身数学；同年开始记《数学日记》——一百四十六条短记里，埋着足够几代人开采的发现。

他的座右铭是「少而精」（Pauca sed matura）：非欧几何、椭圆函数等成果宁可压在箱底也不发表半成品。1807 年起，他执掌哥廷根天文台近半个世纪，从数论、天文、大地测量到电磁学处处插旗。同时代人称他 Princeps mathematicorum——数学王子。

高斯肖像
克里斯蒂安·阿尔布雷希特·延森绘，1840 · Wikimedia Commons，公有领域

生平

  1. 1777
    生于不伦瑞克

    泥瓦匠之子；据说三岁便纠正过父亲的账目。

  2. 1787
    课堂上的闪电求和

    十岁的高斯把 1+2+⋯+100 首尾配对，几秒钟报出 5050。

  3. 1796
    正十七边形尺规作图

    悬置两千年的公案落定；十九岁的他从此选择数学，并开始记《数学日记》。

  4. 1801
    《算术研究》出版；找回谷神星

    同余语言奠定现代数论；年底用最小二乘法预言谷神星方位，分毫不差，一夜之间名动欧洲。

  5. 1807
    出任哥廷根天文台台长

    终身任职，近半个世纪。

  6. 1809
    《天体运动论》

    系统给出轨道确定方法与误差理论。

  7. 1827
    《关于曲面的一般研究》

    绝妙定理：曲面的弯曲是内在的。微分几何由此奠基。

  8. 1833
    与韦伯建成首条电磁电报线

    从天文台跨越哥廷根城连到物理实验室，长约一公里。

  9. 1855
    逝世于哥廷根

    磁感应强度单位以「高斯」为名，沿用至今。

展品厅

绝大多数展品都可以亲手把玩——这是本馆的立馆之本；少数以叙述为主的，做成故事展签。

少年的求和

十岁的高斯把 1+2+⋯+100 首尾配对，几秒钟报出 5050。

1+2+⋯+n=n(n+1)21+2+\cdots+n = \frac{n(n+1)}{2}

101 × 50——这个课堂轶事浓缩了高斯一生的风格：不硬算，先看穿结构。等差数列求和公式，今天仍是许多人与「数学之美」的初次相遇。

1 + 2 + ⋯ + 100 = 100×101/2 = 5050。 再拿一份倒过来一扣，阶梯变矩形——十岁的高斯看穿的就是这个结构。

正十七边形

只用尺规画出正十七边形——一桩悬置两千年的公案。

自欧几里得以来，无人知道还有哪些正多边形可以尺规作出。十九岁的高斯证明十七可以，并给出一般判据。正是这一战让他决意献身数学；他曾希望把正十七边形刻上自己的墓碑。

1 / 9

第 1 步：画圆，圆心 O，取起点 P₁。这就是全部原料——一支圆规、一把无刻度直尺。

《算术研究》与同余

「时钟算术」——只看余数的运算，奠定现代数论。

a≡b(modn)a \equiv b \pmod{n}

a ≡ b (mod n) 这套语言，把散落三百年的数论结果整理成一门系统科学。两百年后，模运算成为 RSA 加密的引擎——你每一次网上支付，都在做高斯的算术。

0123456789101138 ≡ 2 (mod 12)绕了 3 圈，停在 2

只看余数的世界：38 和 2 在 mod 12 下是「同一个数」。高斯把这套算术写成系统，两百年后它成了 RSA 加密的引擎——网上支付的每一次握手，都在这个钟面上转圈。

代数基本定理

每个复系数多项式都有根——而这件事的骨头是拓扑的。

deg⁡p=n  ⇒  p 有 n 个复根\deg p = n \;\Rightarrow\; p \text{ 有 } n \text{ 个复根}

1799 年的博士论文。让 z 沿半径 r 的圆走一圈，看它的像绕原点几圈：r 很小时一圈也不绕，r 很大时最高次项压倒一切、绕满 n 圈。可绕数是整数，不能连续地从 0 变到 n——除非中途某个半径上，像正好压到原点，而那就是一个根。「代数」基本定理却几乎无法纯代数地证明，正是这个缘故。

p(z) = z³ − 2z + 2。让 z 沿半径 r 的圆走一圈，看右边那条像曲线绕原点几圈： r 很小时一圈也不绕；r 很大时 z³ 压倒其余项，绕满 3 圈——正好是次数。 可绕数是整数，它不可能连续地从 0 变到 3，除非中途某个半径上， 曲线正好压到原点上。而那就是一个根。1799 年高斯的博士论文用的正是这个思路： 「代数基本定理」的骨头其实是拓扑的。

二次互反律

两个素数互相「看得见对方的平方」——答案被绑死了。

(pq)(qp)=(−1)p−12⋅q−12\left(\tfrac{p}{q}\right)\left(\tfrac{q}{p}\right) = (-1)^{\frac{p-1}{2}\cdot\frac{q-1}{2}}

「q 是不是 p 的平方剩余」和「p 是不是 q 的平方剩余」，看不出有什么关系，高斯却发现两者的答案被死死绑在一起：除非 p、q 都模 4 余 3，否则必定一致；都余 3 时必定相反。他管这叫「黄金定理」，一生给出八种证明。它是代数数论的第一块基石，此后整个类域论都可以看作它的推广。

「q 是不是 p 的平方剩余」和「p 是不是 q 的平方剩余」——两个问题看不出有什么关系， 高斯却发现它们的答案被死死绑在一起：除非 p 和 q 都模 4 余 3， 否则两者必定一致；都余 3 时则必定相反。整张表因此几乎完全对称， 只有描了金边的那些格子（两个都 ≡3 mod 4）才翻色。 他管这叫「黄金定理」，一生给出了八种不同的证明——今天已知的证明有两百多种。

镇馆之宝 · 亲手玩

正态分布

误差与随机背后的钟形规律。

φ(x)=1σ2π e−(x−μ)22σ2\varphi(x) = \frac{1}{\sigma\sqrt{2\pi}}\,e^{-\frac{(x-\mu)^2}{2\sigma^2}}

高斯在处理天文观测误差时导出这条曲线：单次测量不可信，大量误差却服从优雅的分布。曲线本身不是他先写下的——棣莫弗 1733 年为逼近二项分布就已经写过，馆里他那件展品讲的正是这件事；高斯走的是另一条路，他要求「算术平均值应当是最可信的估计」，从这条要求反推出误差该服从什么分布，再把它与最小二乘接在一起。它成为统计学的基石——民调、质检、机器学习，处处是这条钟形线。

每颗小球在每根钉子上随机向左或向右弹。单颗球的去向无法预测，可几百颗落下来，钟形曲线自己出现——金色曲线是理论预言。

已投 0 颗。单颗球去哪儿，谁也说不准。

最小二乘与谷神星

行星失踪了——二十四岁的高斯用数据算出它将在哪里重现。

1801 年，新发现的谷神星没入太阳光辉，全欧天文学家束手。高斯用最小二乘法从四十一天的观测中拟合轨道，预言方位分毫不差。这是「用数学从噪声中打捞真相」的第一次公开胜利，也是今日数据科学的原型。

「最小二乘」名副其实：直线的位置使所有金色正方形的总面积最小。 高斯用同样的原理，从 41 天的嘈杂观测里捞回了整颗谷神星。 画布可用 Tab 聚焦：方向键移动选中的点，空格换点，Shift 加速。

绝妙定理

曲面的弯曲是内在的——不离开曲面，就能测出它弯不弯。

高斯证明曲率无需借助外部空间即可定义（Theorema Egregium）。这个「内在几何」的眼光经黎曼推广，最终成为广义相对论描述弯曲时空的数学。地图永远画不平整，也是它的推论。

圆柱摊平毫发无损，球面一压就裂——弯曲藏在面内，不借外部空间也能测出。 这就是为什么世界地图永远画不准，也是黎曼几何与广义相对论的起点。

传承

他的工作没有留在十八世纪——每条链的终点，都是你今天正在使用的东西。

正态分布与最小二乘→统计学→民调、质检与机器学习
同余理论→现代数论→RSA 加密与网上支付
曲面论→黎曼几何→广义相对论与 GPS 时空修正

他在哪几条专题里

专题是按技术组织的演进线，一条从概念提出拉到今天的器物。这里一个字都没手写， 全是 tracks.ts 推出来的。

语录

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

—— 萨托里乌斯《高斯回忆录》转述

「少而精。」

—— Pauca sed matura——他一生的座右铭