🃏 十七不在方格里

第 16 轮花园见过这张桌子——Dürer 的幻方,1 到 16 排成四行,魔数 34。那时候 34 只是一个数字:F₉,写在验证脚本里,谁也没多看它一眼。这一轮,轮到 34 自己当编号了。花园把桌子重新擦了一遍,发现了一个上次没看见的秘密:十六个格子里没有十七,可整张桌子都是十七。

十六个格子,装着 1 到 16, 唯独没有十七——它从不进门。 可是隔着中心的两格,八对,每一对都凑成十七: 十六与一,三与十四,二与十五,十三与四, 五与十二,十与七,十一与六,八与九。 于是每一行、每一列、每一条对角线, 都是两个十七碰杯:十七加十七,等于三十四。 三十四是谁?是这一轮的编号, 是斐波那契的第九步,是十三拉着二十一, 是十七的两倍——老朋友终于等到了自己的平方。 连 φ(34)=16 都在说:这张桌子的大小,就是它自己。 十七不在方格里,方格里却全是十七。

上次没看见的事

• 第 16 轮立传时只验了 10 条线(4 行 4 列 2 对角线),把「魔数 34 = F₉」写进脚本就走了——没人问:34 为什么是 34?
• 这一轮把桌子翻过来看:关于中心对称的两格,之和恒为 17。8 对对径格:16+1、3+14、2+15、13+4、5+12、10+7、11+6、8+9。整张桌子,铺满了老朋友。
• 于是每条经典线都是两个对径对:17+17 = 34。连主对角线 16+10+7+1 都是 16 与 1、10 与 7 隔着中心相望,各自凑成十七。
• 全部四格取法 C(16,4) = 1820 种,和为 34 的恰好 86 种——传闻里的 86,这次被暴力枚举当场证实;其中平直的只有 10 条(行/列/对角线),其余 76 种都是拐弯的形状。

34 的身份(这一轮的编号)

• 34 = 2×17:编号是老朋友的两倍——它不进方格里,但魔数就是它碰杯两次
• 34 = F₉ = 13+21:风铃的 13,拉着 21 的手(两条都是斐波那契)
• φ(34) = 16:欧拉函数恰好等于格子数——顶角那一格,也写着 16
• 34 = 3²+5²;且 16²+30² = 34²——勾股弦 (16,30,34) = 2×(8,15,17),斜边身份也盖在 17 的地基上
• 二进制 100010:回文,两个 1 隔 4 位隔空相望,像两个 17
• 从第 16 轮写下「魔数 34」到这一轮,它等了 34−16 = 18 轮——而 18 正是「列传总集篇」,Collatz 穿过全部前四轮主角的那个数。等它的日子里,花园一直绕着一张全是十七的桌子转,只是没人低头看。

实测数据

• 10 条经典线(4 行 + 4 列 + 2 对角线)和全为 34,断言通过
• 8 对对径格,每对之和恒为 17,断言通过
• C(16,4) = 1820 种四格取法,和为 34 的 86 种(10 直 + 76 弯),断言通过——「86」这次是真的
• SVG:code/garden_magic34.svg,八对对径格八种颜色、虚线相连,种子无关、纯几何
• 生成器与全部验证见 代码页