↑ 点击蓝字关注极市平台

作者丨东城居士@知乎（已授权）

来源丨https://www.zhihu.com/question/35107219/answer/1758797698

编辑丨极市平台

极市导读

高斯，以一己之力推动人类知识的边界线。 >>加入极市CV技术交流群，走在计算机视觉的最前沿

先把数学王子的画像搬出来！

要想知道高斯到底有多厉害，那就得了解下面这些关于高斯的故事和事实.

高斯在 3 岁时便能够纠正他父亲的账目中的错误

高斯在 9 岁上小学的时候，有一天老师故意布置了一道为难学生的数学题

没想到高斯一下子就给出了正确答案，是 . 而且还解释了解答方法，那就是首尾相加，而现在等差数列的求和公式

就是用高斯的这种方法推导出来的.

高斯在 11 岁时独立推导出了牛顿的二项式定理

高斯在 14 岁的时候研究了下述数列：‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍

设

，

. 如下递推地定义数列

：

高斯证明数列了

，

皆收敛，且极限相等，此极限称为

和

的算术几何平均值，记作

. 高斯还给出了

的表达式：

1976 年，数学家 Salamin 和 Brent 等人在此基础上发展出了一种计算圆周率

的快速算法，这种算法就是目前计算圆周率最快的算法之一的 Salamin-Brent 算法：

取

，

. 则

1792 年，这一年高斯 15 岁. 有一天高斯偶然得到一本书，书上有一个对数表，还有一个素数表. 由于闲来无事，高斯花了将近一刻钟的时间计算了其中

个，他惊讶地发现素数的分布密度接近于对数的倒数，这一发现就是就是著名的素数定理：

1796 年，高斯 19 岁，这一年是高斯的高光时刻！

3 月 30 日：高斯证明了正十七边形可以尺规作图. 证明正十七边形可以尺规作图的关键是证明

可以用根式表达出来，高斯经过一顿巧算得到

正十七边形的尺规作图问题是一个千古难题，对于这一问题的解决高斯颇为得意，据说高斯因此决定在数学和文学之间选择将数学作为自己的终身事业，而把文学当做兴趣爱好，他还嘱咐后人将正十七边形刻在自己的墓碑上.

单单证明正十七边形可以尺规作图还不过瘾，高斯干脆一口气把正多边形的尺规作图问题一锅端了，即得到下述结论：

高斯定理：正

形边可以尺规作图当且仅当

，其中

，而

，

为两两不同的费马素数.

4 月 8 日：高斯证明了自己奉之为瑰宝的二次互反律：

高斯对二次互反律钟爱有加，前后一共给出过

种不同的证法，每一种证法都包含了重要的数学思想. 后来他又发现了四次互反律：

从二次互反律开始，然后发展到三次互反律和四次互反律，后面继续推广到艾森斯坦互反律，最后拓广到称之为类域论理论高峰的阿廷互反律. 由此可知二次互反律的重要性，高斯对之爱不释手也就不难理解了.

7月 10 日：高斯证明了下述结论：

高斯定理：每一个正整数都可以表示为不超过

个三角数之和.

比如我们观察前面几个正整数：

高斯的这一重要结论和下面这些著名的定理紧密相关：

拉格朗日四平方和定理：每一个正整数都可以表示为不超过

个平方数之和.

费马定理：当

时，每一个正整数都可以表示为不超过

个

角数之和.

10月 1 日：高斯得到了关于有限域系数的方程的解的个数的结果，即下述问题：

考虑有限域

上的方程

，此方程只有有限个解，我们将其解的个数记为

. 那

的值是多少呢？高斯给出了下述答案：

高斯定理：设

为素数，则

(1). 当

时，

其中，整数

满足

，且

(2). 当

时，

如当

时，显然有

，从而

而当

时，显然有

，从而

高斯的上述结果对后世影响极大，数学家韦依据此提出了对于 20 世纪的代数几何造成重大影响的韦依猜想.

1799 年，高斯 22 岁，他在这一年完成了博士论文，在其博士论文里高斯第一个给出了下述重要定理的证明：

代数学基本定理：复系数多项式方程

必有根. 其中

，

在高斯的博士论文中，他并未具体构造出多项式方程的解，而是一种纯粹的存在性证明. 高斯前后一共给出过代数学基本定理的四个证明，其中最后一个是在 1849 年给出的，是为了庆祝他获得博士学位 50 周年，此时高斯已 72 岁高龄.

1801 年，高斯 24 岁，在这一年高斯的数论专著《算术研究》问世，这是一部划时代的著作. 在书中高斯对前人在数论中的一些杰出而又零散的成果予以系统地整理并加以推广，还给出了标准化的记号，把研究的问题和解决这些问题的方法进行了分类，还引进了新的方法，这部著作奠定了近代数论的基础. 现如今的印度数学家 Bhargava 就是研究了高斯的《算术研究》后获得启发做出了一些开创性的工作，从而获得了 2014 年的菲尔兹奖，由此可见高斯的这部著作的深刻性和重要性.

1807 年，高斯 30 岁，在这一年高斯被任命为哥廷根大学的天文学教授和天文台台长. 1809 年，高斯的天文学专著《天体运动理论》出版，书中包含了高斯发明的最小二乘法，高斯在 1801 年用这一方法计算出了小行星谷神星的运动轨道. 高斯在小行星智神星的轨道计算方面也获得了类似的成功，此后小行星和行星被接二连三地发现，这时的高斯声名远播，荣誉滚滚而来. 高斯在《天体运动理论》中叙述的方法今天仍在使用.

1812 年，高斯 35 岁，这一年他研究了超几何函数，并且把研究成果写成了专题论文，呈献给皇家科学院. 所谓的超几何函数是下述无穷级数：

超几何函数是下述超几何方程的解.

超几何函数是很广的一类函数，很多我们常见的函数都可以由其表示出来：

现在，超几何函数已经被推广到了所谓的广义超几何函数：

此时超几何函数可以表达为

1827 年，高斯 50 岁，这一年他发表了论文《关于一般曲面的研究》，这篇论文对微分几何做出了划时代的贡献，我们现在大学学的古典微分几何课程里面的理论框架就是由高斯的这篇论文建立的. 空间中的曲面有第一基本形式和第二基本形式，即

它们分别描述了曲面的度量和其在空间中的形状. 曲面上每一点有所谓的主曲率

和

，我们称

为高斯曲率，其表达式为

从表达式上看好像高斯曲率与第一基本形式和第二基本形式都有关系，但高斯通过计算发现第一基本形式和第二基本形式其实是有关系的，以致高斯曲率最终可以表达成下面这个样子

也就是说高斯曲率其实只和第一基本形式有关，这一重要结论就是所谓的高斯绝妙定理. 高斯绝妙定理是微分几何发展过程中的里程碑，高斯的这一发现开创了微分几何的一个新纪元. 正是因为高斯的这一发现，使得我们能够研究一张抽象曲的仅具有第一基本形式的曲面，专门研究曲面上由它的第一基本形式所决定的几何学称为内蕴几何. 后来，黎曼继承并发扬了高斯的这一思想，提出了高维的内蕴微分几何学的概念，即大名鼎鼎的黎曼几何.

在微分几何方面，高斯还留下了著名的 Gauss-Bonnet 公式：

特别地，当

时，也就是

为测地线时，Gauss-Bonnet 公式变成

若记

为测地三角形

的内角，即

，则上式等价于

由此可见，测地三角形的内角和一般不再等于

，它与

之差恰好为曲面的高斯曲率

在测地三角形所围成的区域上的积分，因此欧式平面几何学与一般的曲面上的几何学的本质差别就在于空间本身的弯曲性质不同，这是欧式几何与非欧几何的根本区别.

由 Gauss-Bonnet 公式还可以推出重要的 Gauss-Bonnet 定理：

这是一个十分重要且漂亮的定理，它把微分几何的不变量（高斯曲率

）与拓扑学的不变量（欧拉示性数

）联系了起来，它在高维情形的推广就是著名的 Gauss-Bonnet-Chern 定理.

1833 年，高斯 56 岁，这一年他从他的天文台拉了一条长八千尺的电线，跨过许多人家的屋顶，一直到韦伯的实验室，以伏特电池为电源，构造出了世界上第一台电报机.

高斯猜想

设

无平方因子，则域

为二次数域，当

时称

为实二次数域，当

时称

为虚二次数域.

高斯经过计算发现，当

时，

的类数为

，但对于是否还有其他类数为

的虚二次数域一直无法做出回答. 这个问题直到 1966 年才由数学家 Baker 和 Stark 解决，那就是类数为

的虚二次数域只有高斯给出的那

个，Baker 和 Stark 由于此项工作而获得了菲尔兹奖.

对于虚二次数域高斯进一步猜测：具有任意给定类数

的虚二次数域的个数

是有限的. 1971 年，Baker 和 Stark 证明了

. 到 1983 年，Goldfeld，Gross 和 Zagier 最终证实了高斯的猜测.

对于实二次数域，高斯还有一个猜测：

高斯猜想：有无限个

，使得

的类数为

现如今，虽然对于高斯的这一猜想已有许多结果，但猜想远未完全得到解决.

正态分布

高斯在研究测量误差时得到了所谓的正态分布

，这是概率论与数论统计学中最重要的分布. 因此现在我们也把正态分布的密度函数

称为高斯函数. 现今德国 20 马克的硬币上就印有正态分布的密度函数的图像，以向世人传达高斯在这方面的杰出贡献.

双纽线周率

高斯考虑了跟

类似的常数

！我们都知道圆周率

是圆的周长与直径的比，其实数学中还有下面这种曲线：

这种曲线称为半径为

的 Bernoulli 双纽线，简称为双纽线.

高斯考虑了双纽线的周长与直径的比. 不难知道双纽线在极坐标下的方程为

，现以极径

为参数，可得双纽线的周长为

从而双纽线的周长与直径的比为

由此可知双纽线的周长与直径的比为一个常数，现在我们称这个常数为双纽线周率，记为

. 由上面的推导可知

由定义可知

和

长的像两兄弟，不仅如此，它们还有类似的积分表达式

更有意思的是

还与下面这些级数有关系.

高斯引理

高斯引理（代数）：本原多项式的乘积仍为本原多项式.

高斯引理（数论）：

高斯引理（几何）：从点

出发的测地线与以点

为中心的测地圆是彼此正交的.

高斯公式

高斯在研究电磁学的时候得到了我们现在大学数学课本中都能够看的高斯公式：

现在高斯公式和格林公式一起被推广成了现在数学中最漂亮的公式之一——斯托克斯公式：

高斯的其他贡献

高斯的研究成果绝不仅仅限于上述列出的. 事实上，高斯还在复变函数、椭圆函数、非欧几何、费马大定理、原根、二次型和快速傅立叶变换等方面做出了重要贡献.

高斯的高徒

高斯不仅自己是神一样的人物，教出来的学生也一个个都是神一样的人物.

世人对高斯的尊崇

1855 年高斯辞世，享年 78 岁. 由于高斯对科学的贡献巨大，故后人给予了他各种荣誉：

(1). 磁场的CGS制计量单位以高斯来命名.

(2). 月球上的坑洞以高斯的名字来命名。

(3). 小行星 1001 又称为高斯星。

(4). 1901 年德国建造了一艘名为高斯的船，并进行了被称为“高斯号远征”的南极探险活动。

(5). 2007 年的时候，高斯的半身像被移进瓦尔哈拉神殿.

(6). 德国把高斯的肖像印在了纸币上.

推荐阅读

《science》职业栏目：如何顺利的写出博士论文

2021-03-03

拒绝不公平的师生关系，MIT霸气护学生：你换导师，我替你买单

2021-03-02

从选题到答辩：优秀博士论文写作最全面的经验分享

2021-03-01

# CV技术社群邀请函 #

△长按添加极市小助手

添加极市小助手微信（ID : cvmart2）

备注：姓名-学校/公司-研究方向-城市（如：小极-北大-目标检测-深圳）

即可申请加入极市目标检测/图像分割/工业检测/人脸/医学影像/3D/SLAM/自动驾驶/超分辨率/姿态估计/ReID/GAN/图像增强/OCR/视频理解等技术交流群

每月大咖直播分享、真实项目需求对接、求职内推、算法竞赛、干货资讯汇总、与 10000+来自港科大、北大、清华、中科院、CMU、腾讯、百度等名校名企视觉开发者互动交流~

△点击卡片关注极市平台，获取最新CV干货

觉得有用麻烦给个在看啦~

奠定高斯数学王子地位的20个论据

高斯在 11 岁时独立推导出了 牛顿 的 二项式定理

高斯在 11 岁时独立推导出了牛顿的二项式定理