高斯与正十七边形：19 岁青年解开两千年悬案

背景

正三角形、正方形、正五边形，古希腊人都会用尺规作图——《几何原本》里就有。但正七边形、正十一边形怎么也作不出来；正十七边形能不能作，两千多年没人知道。

1796 年 3 月 30 日，哥廷根大学一名 19 岁的学生在日记里写下一行字，解开了这个悬案。这个学生叫高斯。据他自己后来说，正是这个发现让他下定决心：终身研究数学，而不是去学语言学。

史料辨析

史实 高斯 1796 年 3 月 30 日的日记条目明确记录了正十七边形的可作性证明。1801 年出版的《算术研究》第七卷给出完整理论：正 n 边形可尺规作图，当且仅当 n 是 2 的幂与若干互不相同的费马素数（形如 $2^{2^k}+1$ 的素数）的乘积。

史实 高斯给出的是可作性的证明，而非具体的作图步骤；第一种实际作图法由后人（如厄金格 1825 年）给出，步骤繁复。已知费马素数只有 3、5、17、257、65537 五个，是否存在第六个至今未知。

传说 「高斯遗愿墓碑刻正十七边形，石匠因太像圆而拒绝」广为流传，真实性不可考；但哥廷根的高斯纪念碑基座确实是十七棱柱形，以纪念这一发现。

数学内核

尺规作图与代数之间有一座桥：尺规能作出的长度，恰好是从 1 出发经有限次加减乘除与开平方能得到的一切数。因此「正 n 边形可作图」等价于「$\cos \frac{2\pi }{n}$ 能用这类数表示」。

对 $n=17$，高斯的工作本质上是把方程 $x^{17}-1=0$ 的复根（即正十七边形的顶点）用逐层嵌套的二次方程解出，最终得到

$\cos \frac{2\pi }{17}=\frac{1}{16}(-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}+2\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}})$

全是加减乘除与开平方——故可尺规作图。$17=2^{2^2}+1$ 是费马素数这一事实，正是嵌套恰好能进行到底的深层原因。

这个故事把几何（作图）、代数（方程求根）与数论（费马素数）三线拧成一股，是「数学各分支在深处相通」的教科书级案例；高斯本人也在《算术研究》同一卷中顺带奠定了同余理论与二次互反律，后者被他自己称为「黄金定理」。

说法与史实