讲解
螺旋属于整数,不属于质数:6、44、710 弧度都几乎是整圈(44/7 和 710/113 是 2π 最好的分数逼近)。质数只是避开和这些数有公因数的臂,再在剩下的臂上平分(狄利克雷定理)。
01一个数,一个点
极坐标用"离中心多远"和"转了多少"确定一个点。把整数 放在
所有点都落在阿基米德螺线 上,相邻两个数相差 1 弧度(约 57.3°)。画板上琥珀色是质数,蓝色是其他整数。
近看只有一条松散的螺旋;规律要拉远才出现。
02为什么是 6、44、710
和 的方向相差 弧度。如果 几乎是整数圈, 就落在 的正外侧、只偏一点点,于是每隔 个数连成一条慢慢弯过去的臂,一共 条:
偏得越少,臂越直:6 条臂每向外 133 个数就绕一圈,所以要在 150 左右看;44 条螺旋绕一圈要约 1.56 万;710 条要 7400 万,在 100 万以内看起来就是射线。
这些数来自 的连分数
它的渐近分数是 。下一项越大,这个分数逼近得越好,对应的臂也越清楚:6 后面是 3,44 后面是 7,710 后面是 146。约掉 2 就是 π 的著名近似 和 。
03质数挑走了哪些臂
第 条臂上的数都是 。如果 和 有公因数 ,这条臂上的每个数都能被 整除,最多只有 本身是质数。所以质数只落在 和 互质的臂上,这样的臂有 条(欧拉函数):
44 条里空掉的 24 条,是偶数臂和 11 的倍数臂;,空掉的是 2、5、71 的倍数。
04狄利克雷定理:平分
1837 年狄利克雷证明:只要 和 互质, 里就有无穷多个质数,而且长远看每条这样的臂分到的质数一样多。
画板上的数据可以验证:100 万以内有 78498 个质数,按除以 44 的余数分到 20 条臂上,每条在 3874 到 3964 个之间;分到 710 的 280 条射线上,平均约 280 个。
所以这些图案说的不是"质数有隐藏的螺旋结构",而是两件更朴素的事:整数在极坐标里排成螺旋,质数在允许的臂上分布均匀。
常见问题
这能用来找质数吗?
不能。图案只告诉你哪些臂上一定没有质数(和模数有公因数的臂);在允许的臂上,哪个数是质数仍然要逐个判断,看起来和随机差不多。
和乌拉姆螺旋是一回事吗?
不是。乌拉姆螺旋把整数绕成方形螺旋,质数常排在斜线上,那些斜线对应二次多项式,比如欧拉的 $n^2+n+41$ 在 $n=0$ 到 $39$ 时全是质数。这里的螺旋和射线则来自 2π 的分数逼近。
如果用角度而不是弧度呢?
那每 360 个数正好转回原处,图案变成 360 条笔直的射线,不会弯。质数落在其中 $\varphi(360)=96$ 条上。弧度让 2π 成为无理数,螺旋才会出现。
课本里的这部分
相关曲线
资料: Dirichlet’s theorem on arithmetic progressions — Wikipedia · Continued fraction — Wikipedia · Ulam spiral — Wikipedia