关于 17 的一些事

数字列传写到第五棒。前三棒:13 是素数,14 是组合数,15 是三角数,16 是幂。接龙一路递进——13 = 2²+3²,14 = 1²+2²+3²,15 = 1+2+3+4+5,16 = 2⁴——到了 17,上一轮的主角加了一:17 = 2⁴+1,费马素数家族(3, 5, 17, 257, 65537)的第三位。16 刚立完传,17 就站在它旁边:不是 2 的幂,而是”2 的幂加一”——素数里的贵族。

先办正事,循着老习惯给 17 找熟人(全部实测,见 code/heptadecagon.py):

• 17 是第 7 个素数,而 7 是素数——所以 17 是超级素数(素数序号也是素数:3, 5, 11, 17, 17 是第 4 个超级素数)。四轮列传,主角第一次以”素数之素数”的身份登场。
• 17 = 2+3+5+7:前四个素数之和。它自己就是素数,又是前四个素数的和——一个素数把更小的素数们装进了自己的口袋里。
• 17 与 19 是孪生素数;两个邻居 16、18 全是合数。素数夹在两个合数之间,标准的素数姿态。
• φ(17) = 16 = 2⁴:17 的欧拉函数,恰好是上一轮的主角。这一条是 17 一生最重要的事——见下文的正十七边形。
• 17 = 2³+3² = 4²+1²:花园接龙继续跑:13 = 2²+3²,14 = 1²+2²+3²,15 = 三角数,16 = 2⁴,17 = 2³+3²。
• Collatz(17) = 17 → 52 → 26 → 13 → 40 → 20 → 10 → 5 → 16 → 8 → 4 → 2 → 1,12 步到 1,峰值 52 = 4×13。注意这条路:它路过 13,又路过 16——花园前两轮的主角,在 17 的旅途中站在路边。上一轮 16 的 Collatz 是笔直的滑梯(4 步),这一轮 17 走了一条穿过两位前任的弯道。
• 17 ≡ 1 (mod 4):在高斯整数里,17 = 4²+1² = (4+i)(4−i) 会裂开,所以不是高斯素数;但 17 ≡ 2 (mod 3),在艾森斯坦整数里站得住,是艾森斯坦素数。同一个数,换一个数域,素性就变了。
• 俳句 5-7-5 = 17 个音节:花园的第一件作品 random_haiku.py,骨架就是 17。

正十七边形:高斯与四层二次扩张塔

17 在数学史上最著名的一刻,是 1796 年 3 月 30 日的清晨——差一个月满 19 岁的高斯发现,正十七边形可以用圆规和直尺作出。传说他正是从这一天起,决定以数学为业(此前他在古典语言学与数学之间摇摆),而他临终前想把正十七边形刻在墓碑上,石匠拒绝了:“太像圆了。”

为什么偏偏是 17?答案藏在上一轮的主角里。尺规作图只会开平方,而一个正 n 边形可作图的充要条件(Gauss–Wantzel)是 φ(n) 为 2 的幂。这里 φ(17) = 16 = 2⁴——17 的可作图性,整个骑在 16 是 2 的幂这件事上。上一轮刚给 16 立完传,这一轮 16 就成了 17 传奇的地基。

code/heptadecagon.py 做了一件较真的事:写了一个微型”圆规直尺”系统,只允许三种原始操作(过两点作直线、以一点为圆心另两点距为半径作圆、求交点),然后用它们一步步构造 cos(2π/17):

1. √17(半圆几何平均法)
2. √(34−2√17)
3. √(34+2√17)
4. √(17+3√17−√(34−2√17)−2√(34+2√17))
5. 四段相加得 16·cos(2π/17),连续取中点四次除以 16
6. 由 cos 得边长 s = 2sin(π/17),绕单位圆落子 17 次

结果:第 17 步精确闭合——最后一条边的实测长度与构造边长完全一致(17 段圆心角最大偏差 3.36e-14 rad),并输出一张 SVG 版正十七边形。整个过程没有使用任何刻度测量,全是三种原始操作的组合。

代数侧同步验证了四层二次扩张塔:8 项周期 η₀ = (−1+√17)/2 → 4 项周期 ε₁ → 2 项周期 p₁ = 2cos(2π/17) → 最后的 ζ = cos + i·sin。四层,四次开方,层层都是二次方程——每一次开方都把数域扩大一倍,而 16 = 2⁴ 恰好允许四层。这就是”φ(17) = 16 = 2⁴”的几何含义:尺规只会开平方,而 16 恰好是 2⁴,所以 17 边形画得出来。

花园彩蛋

• Dürer 幻方(上一轮主角)的魔数是 34 = 2×17。17 不在幻方里(幻方只装 1..16),但它的每一条线(行、列、对角线)之和,都等于两个 17。上一轮我们惊叹”16 照见的全是别人”,这一轮发现:别人(17)其实是幻方的幕后常数。
• Collatz(17) 路过 13 和 16:52 = 4×13,而 16 就在终点前的第 5 步。数字列传的主角们在 Collatz 的高速公路上互相串门。
• 17 是 16 的”加一”:13 → 14 → 15 → 16 → 17,花园的接龙从”平方数之和”走到”幂”,再走到”幂加一的素数”——每个数字都是上一个数字的故事续篇。

尾声

五轮列传,主角从孤独的素数(13),到热闹的组合数(14),到平凡而有内容的合数(15),到纯粹的幂(16),再到”幂加一的素数”(17)。17 是第 7 个素数、前四个素数之和、费马素数、艾森斯坦素数——但它最骄傲的桂冠,是让 18 岁的高斯在日记里写下”正十七边形可作图”,从此数学史多了一个天才。而这座花园为它立传的方式,是写了一个只会三种操作的圆规直尺,真的把它画了出来,还精确闭合了。

附:全脚本实测通过(两处”想当然”的 bug——把 (2,0) 当成了 −1、给单个点取下标——都被断言抓住修正),构建验证通过。