并非所有正多边形都能用圆规和直尺作图
计算器对任何合法的角度输入都会返回一个整数边数——但如果你随后想用经典工具（圆规和无刻度直尺）实际画出这个多边形，有些边数可以，有些则不行。这不是工具的缺陷，而是一个深刻的代数定理。
卡尔·弗里德里希·高斯于1796年（19岁时）证明了：正 n 边形能用圆规和直尺作图，当且仅当 n 是2的幂与若干个费马素数的乘积。皮埃尔·旺策尔于1837年完成了证明，展示了该条件的必要性。目前已知的费马素数为 3、5、17、257、65537。因此可作图的正多边形边数为 n = 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 32, 34, ...。著名的不可作图边数有：7、9、11、13、14、18、19、21、22、23、25。
这解释了为什么硬币、宗教符号和建筑构件往往集中在某些形状上。英国20便士和50便士硬币是七边形（7条边），但它们并非正七边形——它们是"勒洛七边形"，边呈弧形以逼近角度，因为用经典工具无法画出等边的正七边形。伊斯兰几何艺术中广泛使用八角星，部分原因在于其底层的正八边形易于作图（n = 8）。十一边形在设计中极为罕见，原因相同——不存在简洁的圆规直尺作图法。
现代CNC加工和CAD软件通过数值计算顶点坐标，可以绕过作图限制，达到任意精度。但古典制图、手工雕刻硬币和传统建筑都受限于作图可能性——这就是为什么世界中充满了三角形、正方形、六边形和八边形，而正七边形却几乎不存在。
为什么六边形在蜂窝、玄武岩柱和石墨中占主导地位
在正多边形中，六边形（n = 6）具有一个独特的几何性质：它是仅有的三种能够无间隙密铺平面的正多边形之一。另外两种是等边三角形（n = 3）和正方形（n = 4）。六边形为何在自然界中占主导地位，是角度几何与能量最小化共同作用的结果。
正六边形的内角为 (6 − 2) × 180° / 6 = 120°。三个六边形在一点相遇，恰好覆盖 360°——形成平整、无缝的铺砌。蜜蜂建造蜂巢时自然形成六边形蜂房，因为在所有具有相同围合面积的空间铺砌形状中，六边形蜂房的周长最小，从而最小化了蜜蜂在建造过程中消耗的能量和材料。蜂窝猜想最早由帕普斯于公元300年左右提出，直到1999年才由托马斯·黑尔斯最终证明。
同样的六边形偏好也出现在冷却的玄武岩熔岩中（北爱尔兰的大堤之路是著名例子），因为六边形裂纹图案在玄武岩冷却收缩时能最小化表面能。铅笔芯中的石墨层是碳原子的六边形排列，同样因为六边形晶格能最小化每个原子的键能。雪花呈现六重对称性，源于其底层的六边形冰晶格。"内角120° + 每点三个 + 周长最小"的组合，赋予了六边形其他任何多边形都无法企及的独特地位。
关于推导边数的实用问题
如果计算器的答案不是整数怎么办？
这意味着不存在具有你所输入角度的正多边形。例如，内角为100°会给出 n = 360 / 80 = 4.5——不是整数，因此没有正多边形具有该内角。最接近的有效选项是 n = 4（内角90°，正方形）和 n = 5（内角108°，正五边形）。如果你测量了一个真实多边形并得到100°，则该多边形要么不规则，要么你的测量有误。现实中的正多边形内角来自一个离散集合：60°（三角形）、90°（正方形）、108°（正五边形）、120°（正六边形）、128.57°（正七边形）、135°（正八边形）等——你可以为常见情况记住这些值。
随着边数增加，正多边形看起来像什么？
它趋近于一个圆。内角趋近于180°（每个"角"变得更平缓）；周长趋近于圆的周长；面积趋近于 π·R²，其中 R 是外接圆半径。阿基米德大约在公元前250年就直接利用这一点来估算π——他在圆内接和外切了96边形，证明π介于 223/71 和 22/7 之间。现代计算机可以对 n = 1,000,000 的多边形做同样的事情：内角变为 (1,000,000 − 2) × 180° / 1,000,000 ≈ 179.99964°，在该顶点处几乎与一条平直的直线无法区分。
当我无法看到所有边时，如何在实物上数边数？
尽可能准确地测量任意一个内角，然后使用第二种方法（n = 360 / (180 − 内角)）。对于部分硬币或瓷砖碎片，你只需要一个角。使用分辨率至少为0.5°的量角器；该计算能容忍几分之一度的测量误差。如果结果四舍五入后接近一个小整数（例如5.97 → 6），则该物体几乎肯定是六边形。如果结果不是整数或不能四舍五入到接近整数，则要么多边形不规则，要么你的量角器读数有误。对于古代文物，测量噪声可能很大，考古学家会在决定边数之前对多个角的测量值取平均。
是否存在最小的正多边形？
是的——等边三角形（n = 3）。一个两边形"多边形"将是一个退化对象：两条连接两点的线段，实际上只是同一条线段被遍历两次，而非一个平面区域。一边形的概念更说不通。三角形是拥有直边且内角面积非零的最小封闭平面图形，这就是为什么 n = 3 是公式的下界。上界则是无限的——不存在最大的正多边形，随着 n 增大，它只是渐近地趋近于圆。