一个正 n 边形可以尺规作图若且唯若 n 是以下两种形式之一: 1、n = 2k,k = 2, 3,… 2、n = 2k × (几个不同「费马质数」的乘积),k = 0,1,2,… 费马质数是形如 Fk = 22k 的质数。像 F0 = 3,F1 = 5,F2 = 17,F3 = 257, F4 = 65537,都是质数。高斯用代数的方法解决二千多年来的几何难题,他也视此为生平得意之作,还交待要把正十七边形刻在他的墓碑上,但后来他的墓碑上并没有刻上十七边形,而是十七角星,因为负责刻碑的雕刻家认为,正十七边形和圆太像了,大家一定分辨不出来。