为什么素数的极坐标图会形成螺旋和射线

讲解者探索 Math Stack Exchange 上关于素数图像的一个问题。图像将 π 的有理近似与素数在剩余类中的分布联系起来。

在极坐标中，每个点由半径 r 和角度 θ 表示。图像把每个整数 n 放在 (r, θ) = (n, n)，角度以弧度计；给角度增加一整圈不会改变方向。

随着 n 增大，点每次向外移动并旋转一弧度，形成阿基米德螺线。只保留素数后会出现看似旋臂和缺口的图样；继续缩小视图又能看到近乎笔直的射线。

第一个关键点是：画出所有整数也会出现类似旋臂。几何形状来自坐标选择及对整圈角度的近似；素数则决定哪些旋臂仍有点。

先看每次增加 6：6 弧度略小于 2π，因此加 6 后方向几乎回到原处。重复增加时方向缓慢偏移，形成一条可见旋臂。

每条旋臂由模 6 余数相同的数组成。除 2 和 3 外，素数只能出现在模 6 余 1 或余 5 的类中；其他类中的数可被 2 或 3 整除。

剩余类就是除以选定模数后余数相同的一组整数。这个术语让讲解者可以把每条几何旋臂描述为一个等差数列。

在更大尺度上，44 弧度略多于七整圈，因为 44/7 近似 2π，也就是 22/7 近似 π。因此模 44 的每个剩余类，每走一步角度只轻微偏移。

模 44 的大多数类不能包含较大的素数：偶数余数可被 2 整除，而可被 11 整除的余数与模数共享这个因子。剩下可能出现素数的类与 44 互素。

欧拉 φ 函数 φ(n) 计算不超过 n 且与 n 互素的正整数个数。对 44 而言，φ(44) = 20，因此例子中有二十条符合条件的旋臂。

在更大尺度上，710 弧度极接近 113 整圈。这等价于用 355/113 近似 π，因此模 710 的同一剩余类中的连续点几乎沿同一方向排列。

由于 710 = 2 × 5 × 71，可以根据整除性排除大多数包含较大素数的剩余类。去掉被 2 或 5 整除的类后，射线呈现四条一组；被 71 整除的类则解释了偶尔出现的缺口。

与 710 互素的剩余类共有 φ(710) = 280 个。符合条件不意味着类中的每个数都是素数，只是排除了与 710 有公因子的直接障碍。

为了研究分布，讲解者转向模 10。除 2 和 5 外，素数的末位只能是 1、3、7 或 9，对应与 10 互素的四个剩余类。

直方图显示，符合条件的四个类中，素数所占比例似乎都趋向四分之一。这是关于上界不断增大时的渐近结论，并不保证每个有限区间的数量完全相等。

更一般地，等差数列的素数定理说明：对于固定模数 n，素数在与 n 互素的 φ(n) 个剩余类中渐近等分布。

视频将较强的等分布结论归功于 Dirichlet，但视频说明纠正了这一历史错误：Dirichlet 证明每个符合条件的类中素数倒数之和发散，从而证明其中有无穷多个素数；更强的渐近结论后来才得到证明。

讲解者指出，复分析成为研究素数分布的重要工具。视频没有尝试展示证明，因为证明比图像解释复杂得多。

极坐标图本身是一种任意选择的可视化，但探索其形状的原因可以引向有意义的数学。讲解者重视这种探索，因为它能让后来学习的定义和定理更有来由。