尺规作图是古希腊数学家用来创建各种几何图形的一种方法，它只允许使用两种工具：一把没有刻度的直尺和一个圆规。这种方法的美妙之处在于其纯粹和简洁。
在高斯的时代之前，人们已经知道怎样用尺规画出几个特定的正多边形，例如正三角形、正方形、正五边形等。但对于任意给定的边数，尤其是较大的边数，是否可以用尺规作图来构造一个正多边形，这是个长达两年未解的问题。
1801 年，高斯发表的著名著作《算术研究》中给出了一个震撼数学界的结果：哪些正多边形可以用尺规作图构造：当且仅当其边数是 2 的某个非负整数次幂与若干个不同的费马素数的乘积。这里的费马素数指的是形如的素数。
最初的几个费马数为：
现在，让我们详细看看这个结论意味着什么：
所以说，一个正 n 边形的变数是下面就能可以用圆规和直尺作出。
n = 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40, 48, 51, 60, 64,…
但下面这些边数就不能用尺规作图构造出来：
n = 7, 9, 11, 13, 14, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 31, 33, 35, 36,…
▲ 已知可构造出正多边形的边数，边数不超过1000（黑色粗体）或奇数边数（红色），图自维基百科
高斯的这一理论不仅解答了一个古老的数学问题，还展示了数论与几何之间深刻的联系。不过，需要注意的是，尽管理论上可以构造像正 65537 边形这样的多边形，实际上这样的构造过程将是极其繁复和耗时的。
