卡尔·弗里德里希·高斯 (Carl Friedrich Gauss, 1777-1855)

一、神童——7岁发现等差数列求和公式

1777年4月30日，德国不伦瑞克。高斯出生在一个贫穷的家庭。母亲不识字，父亲做园艺和泥瓦工。

关于高斯最著名的传说发生在小学。老师为了让学生们安静一会儿，出了一道题：从1加到100是多少？

不到30秒，7岁的高斯在黑板上写下了答案：5050。

不是通过一个一个加——他发现了模式：

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

老师震惊了。他自费给高斯买了高等数学教材——这在当时是不可思议的投入。

14岁的高斯已经被引荐给不伦瑞克公爵，公爵慷慨地资助了他的全部教育费用。高斯一生对此深怀感激。后来公爵在拿破仑战争中去世后，高斯的生活一度陷入困境。

他的格言：Pauca sed matura（少些，但要成熟些）。

这意味着他一生只发表完全成熟的结果。他的抽屉里有大量未发表的发现——后来其他数学家发表时，才发现高斯早就做过，只是他没拿出来发表。

二、高斯的三大核心贡献

2.1 最小二乘法

高斯在18岁（1795年）就发现了最小二乘法的原理。后来又用它在1801年做出了一个震惊世界的天文预测。

1801年元旦，意大利天文学家皮亚齐（Piazzi）发现了谷神星（Ceres）。但仅观测了41天后，谷神星运行到了太阳背后——天文学家们失去了它的踪迹。

绝大多数人认为它永远找不回来了。但24岁的高斯利用自己的最小二乘法，仅凭41天的观测数据预测了谷神星的轨道。

1801年12月31日，天文学家在高斯预测的位置附近重新发现了谷神星。误差不到0.5°。

最小二乘法的数学：

给定 $m$ 个数据点 $(x_i, y_i)$ ，寻找一条曲线 $y=f(x;\mathbf{a})$ 使得：

S = \sum_{i=1}^m [y_i - f(x_i;\mathbf{a})]^2

最小。对参数向量 $\mathbf{a}$ 求导，得到一组线性方程（正态方程）：

\mathbf{J}^T\mathbf{J} \mathbf{a} = \mathbf{J}^T \mathbf{y}

最小二乘法的思想至今仍是工程中数据拟合的标准方法。

2.2 正态分布（高斯分布）

p(x) = \frac{1}{\sigma\sqrt{2\pi}} \exp\left(-\frac{(x-\mu)^2}{2\sigma^2}\right)

高斯在1809年的《天体运动理论》中推导出了这个分布。但它的历史比高斯更早——棣莫弗在1733年已经发现，但没有引起注意。

为什么概率论中正态分布如此重要？ 因为中心极限定理保证了：大量独立随机变量的和趋于正态分布，无论每个个体是什么分布。这个性质在传感器噪声建模、金融风险分析和质量控制中无处不在。

2.3 高斯消元法

线性代数中最基本的算法——解线性方程组的系统性方法：

\begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{bmatrix} \longrightarrow \begin{bmatrix} a'_{11} & a'_{12} & \cdots & a'_{1n} \\ 0 & a'_{22} & \cdots & a'_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & a'_{mn} \end{bmatrix}

线性方程组——从混控器矩阵的解算到卡尔曼滤波器的更新步骤——几乎无处不在。对于某些看似无关的方程，高斯消元法是求解它们的基础方法。

三、19岁的高斯：正十七边形尺规作图

1796年，19岁的高斯证明了：正十七边形可以用尺规作图。

这是自欧几里得时代（~300 BC）以来2000年中，正多边形尺规作图的首次新增——欧几里得知道正3、5、15边形的作图法，Fermat发现了正多边形的条件，但17边形一直悬而未决。

高斯证明了：一个正 $n$ 边形可以尺规作图，当且仅当 $n = 2^k p_1 p_2 \cdots p_m$ ，其中每个 $p_i$ 是形如 $2^{2^r} + 1$ 的费马素数。

17 = $2^{2^2} + 1 = 2^4 + 1$ → 满足条件 → 可以作图。

高斯的反应：因为这个发现太重要了，他决定放弃学习语言学，终身从事数学研究。（他当时在哥廷根大学同时在读语言学和数学。）

他要求在墓碑上刻一个正十七边形。但石匠说”太难刻了”——最后刻的是十七角星。

四、高斯的谦逊与”隐藏”的工作

高斯一生有一个习惯：他只发表完全精炼、无懈可击的成果。

这意味着：

他发现的很多东西，没有发表
后来别人”发现了”这些结果时，高斯会说”我早就做过了”
这种情况发生了很多次，以至于数学史上产生了大量”高斯优先权争议”

后来被他人”重新发现”的高斯工作	独立发现者及年份	应用领域
非欧几何	罗巴切夫斯基(1829)、鲍耶(1832)	未直接出现
椭圆函数	阿贝尔(1827)、雅可比(1829)	复变函数的基础之一
最小二乘法	勒让德(1805)	数值分析、参数辨识

关于非欧几何有一个著名的故事：高斯在1820年代已经发展出了非欧几何的完整理论。但他没有发表——因为他担心”比奥提亚人（庸人）的喧嚣”。当年轻的匈牙利数学家雅诺什·鲍耶在1832年发表同样的结果时，高斯写信给他父亲说：”我不能赞美你的儿子，因为赞美他就是赞美我自己——他的全部工作几乎完全对应于我过去30-35年的思考。”

鲍耶被这句话击垮了。 他从此没有再发表任何重要的数学工作。

五、高斯在19世纪的声誉

到19世纪中期，高斯已经被公认为”数学之王”（Princeps Mathematicorum）。他是最后一个在数学中所有领域都做出了原创性贡献的人。

他的直接学生和受他影响的人几乎构成了19世纪德国数学的全部：狄利克雷、黎曼、戴德金、韦伯（与他合作建立了电磁学中的绝对单位制）。

高斯与韦伯的合作：1833年，高斯和物理学家韦伯在哥廷根建立了世界上第一个电磁电报系统——一条连接天文台和物理实验室的2公里长的线路。这是莫尔斯电报的前身。

六、对后世数学的影响

高斯去世后，他的数学遗产被伯恩哈德·黎曼（高斯的晚年在哥廷根的学生）继承。黎曼在1854年的就职演讲《论几何学的基础》中开创了黎曼几何——这个几何后来成为爱因斯坦广义相对论的数学基础。

黎曼积分和黎曼曲面——高斯的非欧几何工作为这些概念提供了深层基础。而黎曼则在其上建立了更宏大的几何大厦。

参考文献

Gauss, C. F. (1809). Theoria Motus Corporum Coelestium in Sectionibus Conicis Solem Ambientium. （中译本：《天体运动理论》）
Gauss, C. F. (1801). Disquisitiones Arithmeticae. （中译本：《算术研究》）— 21岁时完成的数论奠基之作
Bühler, W. K. (1981). Gauss: A Biographical Study. Springer-Verlag.
Eves, H. (1990). An Introduction to the History of Mathematics (6th ed.). Saunders College Publishing.
Stewart, I. (1977). “Gauss”. Scientific American, 237(1), 122-131.

1807年傅里叶提出：任何周期函数都可以分解为正弦和余弦的叠加——傅里叶级数。当时拉普拉斯和拉格朗日都难以接受。但傅里叶的洞察太有用了——从热传导到信号处理到JPEG压缩到神经网络中的频谱偏置，傅里叶变换无处不在。