Carl Friedrich Gauss · 1777–1855

高斯

数学王子——每一击必中

\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+2+⋯+100 首尾配对，几秒钟报出 5050。

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

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

交互演示 · 制作中数字条首尾对折的配对动画，换任意 n 亲手验证

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

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

交互演示 · 制作中尺规作图步骤逐步播放

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

a \equiv b \pmod{n}

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

交互演示 · 制作中可拨动的模运算钟面，一步延伸到密码学

镇馆之宝 · 亲手玩

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

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

高斯在处理天文观测误差时导出这条曲线：单次测量不可信，大量误差却服从优雅的分布。它成为统计学的基石——民调、质检、机器学习，处处是这条钟形线。

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

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

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

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

交互演示 · 制作中拖动带噪声的数据点，实时看拟合轨道变化

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

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

交互演示 · 制作中圆柱可展平、球面不可展平的对比演示

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

正态分布与最小二乘⟶统计学⟶民调、质检与机器学习

同余理论⟶现代数论⟶RSA 加密与网上支付

曲面论⟶黎曼几何⟶广义相对论与 GPS 时空修正

「数学是科学的女王，数论是数学的女王。」
—— 萨托里乌斯《高斯回忆录》转述

「少而精。」
—— Pauca sed matura——他一生的座右铭