前言

本书讨论一个古老而具体的问题：给定一个圆，哪些正多边形能够只用没有刻度的直尺和圆规作出？

这个问题看似属于几何作图，真正深入下去却会自然通向代数：可作长度、数域、维数、多项式、分圆多项式，以及高斯关于正十七边形的著名发现。全书的主线，是把“能不能画出来”这个直观问题，逐步转化为一个可以严格证明的代数判定问题。

特点一：初等但严谨

只需要高中知识作为起点，但每个关键细节都会给出完整证明。

所谓“初等”，是指阅读本书不需要预先学过抽象代数或近世代数。读者只要具备高中阶段的代数、函数、复数和基础几何知识，就可以跟随正文往前读。书中会在需要时补充数域、维数、最小多项式、模 $p$ 多项式等概念，并尽量把它们解释成可以直接使用的工具。

所谓“严谨”，是指本书不把关键结论当作黑箱使用。每一个影响主线推理的细节，都会给出完整证明；即使某个结论在高等数学教材中通常被直接引用，本书也会在正文或附录中补上必要的论证。这样做会让篇幅变长，但好处是读者不需要凭直觉跳过任何关键台阶。

从高斯发现正十七边形的历史线索出发，沿着他的代数思路推进，并补上逻辑上不可缺少的必要性证明。

正多边形尺规作图问题从古希腊开始，长期停留在少数已知例子上。直到 1796 年，19 岁的高斯发现正十七边形可以尺规作图，并由此给出了更一般的可作性公式。高斯的思路极其深刻：他不是单独寻找一个作图技巧，而是抓住了正多边形背后的代数结构。

本书基本沿着高斯的思路展开：先从尺规作图的原子操作出发，说明可作长度为什么只能来自有限次加、减、乘、除和开平方；再把正 $n$ 边形问题转化为 $\cos \frac{2\pi}{n}$ 的可作性问题；随后建立必要性与充分性的证明，最后回到正十七边形的实际作图。

不过，本书并不只是复述高斯的论文。高斯在当时主要证明了充分性，也预言了必要性；而本书会补上这条逻辑上不可缺少的证明：如果一个正 $n$ 边形可以尺规作出，那么 $n$ 必须满足相应的高斯条件。换句话说，本书不仅说明“这些正多边形一定能作出”，也说明“除此之外的正多边形为什么不能作出”。

希望读者读完本书后，得到的不只是一个关于正十七边形的故事，而是一条完整的数学链条：从尺规的每一步操作，到代数结构的抽象；从高斯的灵感，到必要性与充分性的闭合证明；从一个古老几何问题，到一个完全可判定的定理。