0–99 → 1000 → 2025 → 19881 · 一路换窗口
质数探索手册
从一张 0–99 的对照表开始，每次换一扇窗看同一批质数：进制、余数车道、分形、螺旋。质数是数本身的性质——换什么窗口，它们都不变。
序章：一把石子
数字的记号是人发明的——刻痕、算筹、0–9、二进制，随便换。但有一件事不需要任何记号：一堆石子，能不能摆成两边都大于 1 的长方形。摆得成，是合数；怎么摆都只能排成一条线，是质数。毕达哥拉斯学派两千五百年前就在沙滩上这样给数分类——质数比 0–9 老，比文字老。
判断的全部动作就是"发牌"：按每组 2 颗、3 颗、4 颗……依次试着等分，试到 √n 为止——因为长方形躺着和立着是同一个，短边永远不超过 √n。本页往下的一切——进制、余数车道、分形、螺旋、ζ 函数——都只是在给这个沙滩上的动作提速、换视角。
第一扇窗：0–99，十进制 × 二进制
100 个数当中，质数一共有 25 个。
质数（25 个）
0 和 1：既不是质数，也不是合数
合数
看看二进制的最后一位
除了 2（二进制写作 10），所有质数的二进制都以 1 结尾——末位是 0 意味着这个数是偶数，一定能被 2 整除。这和十进制里"除了 2 和 5，质数只以 1、3、7、9 结尾"是同一个道理。
换一扇窗：一行只摆 6 个
还是这 100 个数，每行从 10 个改成 6 个。所有大于 3 的质数立刻站进"余 1"和"余 5"两列——也就是 6k ± 1。每个格子里的小字是这个数的六进制写法。
两条淡色竖道是这扇窗画出的"嫌疑区"：质数全在里面，但里面不全是质数（25、35、49、55……都是漏网的合数）。2 和 3 是仅有的例外——它们自己就是 6 的因数。
把这扇窗拉到 1000
0–999 里一共有 168 个质数。把六条车道横过来、拉长十倍——每根红色竖线是一个质数。两条嫌疑车道上质数一路都有（狄利克雷定理保证到无穷），但间隔越拉越大。
数完一千个数，两条车道 80 比 86，仍然几乎平手。"余 5"这点微弱领先是真实现象（叫切比雪夫偏差），而且已经证明：领先方往后还会换手无穷多次。车道上最长的空档在 887 到 907 之间——连续 19 个数一个质数都没有。
每一百个数里的质数个数：从 25 一路降到 14——变稀，但不是平滑的滑梯，一路颠簸。质数定理说 n 以内大约有 n ÷ ln n 个质数（1000 时约 145 个，实际 168），数越大这个估计越准。
分形窗口：杨辉三角 ÷ 质数
把杨辉三角里的每个数只记"除以质数的余数"：余 0 留白，其余涂色。除以 2，谢尔宾斯基三角形自己长了出来；除以 3，是另一套按 3 倍尺度自我复制的图案。
÷ 2 的余数（128 行）→ 谢尔宾斯基三角形
÷ 3 的余数（81 行，深浅 = 余 1 / 余 2）
又是"窗口"在起作用：卢卡斯定理（1878）说，组合数除以质数 p 的余数，由上下两个数的 p 进制数位逐位决定——数位逐层重复，图案就按 p 倍尺度自我复制。质数、进制、分形，在这颗钉子上焊在了一起。
乌拉姆螺旋：把数盘成蜗牛壳
1963 年，数学家乌拉姆在一场无聊的报告上涂鸦：把 1、2、3……从中心逆时针盘旋着写，再把质数涂色。结果质数自己排出了斜向条纹。左图 45 × 45 = 2025，正好装下 2000 以内全部 303 个质数（到 2025 是 306 个）。
近看：1–2025（45 × 45，中心是 1）
拉远：1–19881（141 × 141，共 2248 个质数）
斜条纹的身份查明了一半：每条纹对应一个二次多项式"车道"，比如欧拉的 n² + n + 41——前 40 个值个个是质数。但为什么这些车道如此高产，至今没有证明（哈代与李特尔伍德 1923 年的猜想给出了预测公式，一百年了还悬着）。又是那个熟悉的配方：大势看得清，细节没证完。
把数轴卷成螺旋：极坐标下的质数
另一张有名的螺旋：把实数轴整条盘起来——每个数 n 画在"半径 = n、角度 = n 弧度"的位置。左图画到 2000（淡点是全体整数，亮点是质数）；右图只画质数、拉到 20000，二十条旋臂自己浮现。
1–2000：整数盘成的螺旋，质数点亮其中一部分
1–20000：只画质数 → 20 条旋臂
旋臂不是新魔法，是老朋友：转一整圈是 2π ≈ 44⁄7，所以每隔 44 个数方向几乎回到原处，平面被分成 44 条隐形车道；能住质数的只有与 44 互质的那 20 条——又是余数车道加狄利克雷定理。放大到几十万，44 会换成更精确的 710⁄113，旋臂重组成 280 条射线。这张图 2019 年被 3Blue1Brown 的视频带红。
轨迹：质数的运动定律
换个身份——不把质数当名单，当一条随 x 展开的路径：π(x) 记录"走到 x 为止收集了几个质数"，每遇一个质数就上一级台阶。台阶的落点局部任性，但整条轨迹被一条光滑的"运动定律"死死抱住。
红色台阶：π(x)（0 ≤ x ≤ 200）· 灰实线：li(x) · 灰虚线：x ⁄ ln x
质数定理说这条轨迹的"平均速度"按 1 ⁄ ln x 缓缓减速；黎曼的显式公式是它完整的运动方程——光滑主项，加上每个 ζ 零点贡献的一份震颤。台阶与光滑线之间的缝隙 π(x) − li(x)，走起来像布朗运动：这正是"质数轨迹"通往量子混沌的那扇门。
缝隙：离黎曼猜想最近的曲线
把台阶与光滑线的缝隙 π(x) − li(x) 单独抽出来放大——这就是质数轨迹的震颤本体。左图：0 到一百万的原始缝隙；右图：同一条曲线除以 √x。
π(x) − li(x)，x 直到 1,000,000（虚线为零位）
(π(x) − li(x)) ⁄ √x——除以 √x 后被驯服在窄带里
三个看点：① 它走得像布朗运动里的醉汉——但它没有一丝随机，每次刷新都分毫不差地重演，这是"完全确定却像随机"的活标本；② 在我们画得出的范围里它始终待在零线下方（li 总是高估），但李特尔伍德 1914 年证明它终将翻到上方、且翻越无穷多次——第一次翻越藏在 10³¹⁶ 以内的某处，人类从未数到那里；③ 黎曼猜想的等价说法：这条醉汉永远被关在 √x·ln x 量级的喇叭口里——右图那条窄带若有朝一日失守，一百万美元当场易主。
公式梦想的结局：威兰斯公式
三百年的全民梦想：一个代入 n 就吐出第 n 个质数的函数。费马的 2^(2ⁿ)+1 五连胜后在第六把翻车（第六个 = 641 × 6700417）；欧拉的 n² + n + 41 四十连胜后崩盘；还有一条三行死刑定理：任何一元多项式都不可能只产出质数。但 1964 年，威兰斯真的写出了它——
p(n) = 1 + Σi=1…2ⁿ ⌊ ( n ⁄ Σj=1…i ⌊ cos²( π · ((j−1)! + 1) ⁄ j ) ⌋ )1/n ⌋
零件全是定理，所以整台机器是铁案：cos² 那块是"质数指示灯"——威尔逊定理（1771）保证 (j−1)!+1 被 j 整除当且仅当 j 是质数；逐个相加就是计数器；外层求和数出"质数还不足 n 个"的位置有多少，恰好等于 p(n) − 1；伯特兰公设（1852 年获证）保证第 n 个质数不超过 2ⁿ，搜索范围必然够。实测 n = 1 到 12 → 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37，分毫不差、严格按序——但算这 12 个花了一秒多。它的精确与缓慢同根同源：靠"从头重数一切"来保证不错，是穿西装的暴力。
所以公式梦想没有失败，它成年了：从"找一台吐出质数的机器"，升级成"理解质数的分布"——这正是下一节六招的由来。
六招：当一扇窗看不透时
进制窗口之间只差常数倍，改不了质数的本质难度。数学史的回答不是"换个更好的进制"，而是升级窗口的种类。套路有六招，每一招都真的赢过。
第一招
别问个体，问人群
"第 100 万个质数是谁"问不动，"100 万以内有多少个"就问得动。高斯翻质数表时问的就是后者，于是撞见质数定理。卡死的常常不是问题本身，是问法。
第二招
把所有质数打包进一个对象
欧拉的等号：∑ 1/nˢ（跑遍全体整数）= ∏ 1/(1 − p⁻ˢ)（跑遍全体质数）。加法世界和乘法世界被一个等号焊住；黎曼把 s 推进复平面，微积分的全部火力从此可用。进制一次看一位，ζ 函数一次看全部质数。
第三招
借别人家的望远镜
1972 年普林斯顿的下午茶：蒙哥马利把 ζ 零点间距的公式给物理学家戴森看，戴森当场认出——这是重原子核能级的间距公式。若零点真是某个物理系统的能级，黎曼猜想自动成立；今天真有人在找这个系统。分形弦的"听鼓辨形"是同一招。
第四招
与随机共舞
质数"像随机"是工具，不是障碍：按密度 1/ln n 随机撒点的模型能精准预测间隔行为；格林与陶哲轩把质数拆成"结构 + 伪随机"分而治之；圆法（傅里叶分析）正架在加法与乘法的裂缝上——三质数之和 2013 年彻底证完，哥德巴赫仍在包围之中。
第五招
算：计算是这个时代的翻表
高斯十五岁靠翻表猜中质数定理；今天人类验证了数万亿个零点，全球协作把七千万压到 246。猜想是从数据里长出来的——这招一台笔记本就够，本页每一张图都是它的练习。
第六招
把卡住的地方当出生地
为了追质数，人类被逼出了解析数论、圆法、和物理的联姻。没解开的部分恰恰是最有生产力的部分：每一次卡死，都在逼人发明下一扇窗。窗口的清单永远开放——下一扇，没准出自今天还不存在的学科。
方格的几何学：从对称到升维
序章说"能摆成长方形的是合数"，要说准一毫米：躲不开审判的不是"对称"——13 颗石子能围成带圆心的太阳、7 颗能摆成花朵，全是漂亮的对称，全是质数——躲不开的只有方格：两边都大于 1 的长方阵。欧几里得《几何原本》给这套分类起过正式名字：合数叫"平面数"，质数叫"线性数"。
圈上跳步
质数是拆不开的对称
把 n 颗石子围成一圈、每次固定跳 k 步：12 颗的圈里藏着小齿轮（跳 2 步只踩到 6 颗，跳 3 步只踩 4 颗）；13 颗的圈随便跳几步都一笔踩遍。所以五角星（5 点跳 2）能一笔画成，六芒星（6 点跳 2）必须画两笔——星星的画法里，早就写着质数与合数的区别。
升维
能摆到第几维 = 质因数的个数
1 是孤零零的点（0 维）；质数只能拉成线（1 维）；6 = 2×3 铺成面；12 = 2×2×3 能搭三维积木；16 能进四维；2048 = 2¹¹ 是十一维超立方。拆到最碎（每条边都是质数）的摆法只有一种——算术基本定理的石子版：每个数有唯一的积木尺寸。这也解释了 0 和 1 为什么非质非合：1 是点，连"线"的资格都没有。
审判流程：试除法完全体
三步：① 求 √N；② 请出 √N 以内的全部质数当法官；③ 挨个去除——有一个除尽就是合数，全部除不尽就是质数，零误判。逻辑链两环：因数成对出现，小的那个不超过 √N（方格躺着立着是同一个）；最小因数必是质数（9 列的方格总能重切成 3 列——合数分法是质数分法的下游）。
审判 221
被最后一位法官抓住
√221 ≈ 14.9，法官：2、3、5、7、11、13。前五位全放行，13 除——221 = 13 × 17，合数。提前收工就会放跑它：警戒线必须站满到 √N。
审判 199
全体放行，铁案质数
√199 ≈ 14.1，同一批法官，六位全部除不尽——质数，结案。彩蛋：2 和 3 是"免审释放"的，√3 还不到 2，法官名单是空的。
每一代质数都是找下一代质数的法官团——警察队伍自己扩编。这套算法对任何 N 都正确，此刻就作为第一道工序跑在全世界生成加密密钥的电脑里；它唯一的软肋是"正确 ≠ 可行"：N 大到天文尺寸时，法官多到点不完名。
警戒线为什么退不到 ∛N：殆质数
能不能只试到 ∛N 更省事？反例当场翻车：∛221 ≈ 6，法官只剩 2、3、5，三位全放行——把 221 错判成质数。当 N 是两个"中等身材"的质数相乘（接近正方形的方格），最小因数会一路顶到 √N。但这个想法没白想——试除到更高次方根，换来的是弱一档但真实有用的结论：
"至多 k 个质因数的数"叫殆质数（P₂、P₃……）。陈景润"1 + 2"里的"2"就是 P₂：大偶数 = 质数 + 至多两个质数之积。筛法这门学科的方向盘正是"筛到 N 的几分之一次幂"；从 P₂ 推进到纯质数卡住的地方，叫奇偶性障碍。RSA 则特意取两个差不多大的质数相乘——把锁造在"小根号"够不着的盲区里。
当 √N 也是天文数字：翻倍考试
开根号只把指数砍半，半个指数还是指数：2048 位的数，√N 以内的法官约有 10³⁰⁵ 位。出路是换计费方式——试除法的账单跟着数的大小走，现代算法的账单跟着数的长度走。就像查身份证：是"读"那 18 位数字，还是"从 1 数到"那个号码。
考试规则
费马测试的石子版
一颗石子起步，翻倍 n − 1 次；每次堆里超过 n 颗，就扔掉一整份 n。最后剩 1 颗 → 几乎肯定质数；剩别的 → 铁定合数。全程不找任何因数——所以 √N 里有多少法官与它毫无关系。
两场演示
审 5 与审 6
审 5：1 → 2 → 4 → 8（扔 5 剩 3）→ 6（扔 5 剩 1）→ 质数 ✓。审 6：1 → 2 → 4 → 8（扔 6 剩 2）→ 4 → 8（扔 6 剩 2）→ 不是 1，合数 ✗。
实战版叫米勒–拉宾：换几种翻倍底数多考几场，误判率压到比硬件被宇宙射线打错还低；2002 年的 AKS 更证明了不靠运气也能做到"读长度级"的判定。但"分解"没有逃出来——判定一个 2048 位的数是不是质数只要毫秒，找出它的两个质因数仍是天堑，RSA 加密就住在这条缝里。
文件就是数：Base256 的世界
位值制之间只差常数倍——想把数长减半，底必须平方。真正的鸿沟只有一条：一进制把成本藏在长度里，天文大底把成本藏在符号表里，两头都是灾难，甜点区在中间。
为什么有 Base64 没 Base256
底是量着管道裁的
Base256 其实存在——就是"原始字节"本身。转 Base64 不是压缩，是给数据办"文字世界通行证"（关税 33%）：控制字符会被吞、老邮件只传 7 位、引号尖括号会炸格式——在所有文字管道里都安全的符号只剩几十个，64 是其中最大的 2 的幂。家族还有 Base32（验证器密钥）、Base58（比特币地址，踢掉 0、O、I、l 防看错）、Base85（PDF 和 Git，关税 25%）。
一切文件都是一个数
播放电影 = 朗读一个 20 亿位的数
"柯"字在电脑里是三个字节，作为数是 15114159 = 3 × 3 × 1679351（可惜是合数）；本手册是一个两万多位（256 进制）的数；2G 的电影是一个约 20 亿位的数——复制是抄写，剪辑是算术。2001 年卡莫迪找到一个 1401 位的质数，其二进制恰好是一段破解 DVD 的程序压缩包——史上第一个"非法质数"。
彩蛋：按"符号表大小 × 数长"算综合成本，理论最优底数是 e ≈ 2.718，整数里的冠军是三进制——苏联 1958 年真造过三进制计算机 Setun。二进制赢下世界靠的不是数学最优，而是"开与关"的电路最好造。
终章：质数当符号的三次执行
如果把每个质数看成一个灵魂——属性一致、数值不同、本质相同——再把全体质数当成一类恒定的符号，另建一套体系来解释万物，会发生什么？这个念头在数学史上被认真执行过三次，结局一次比一次震撼。
执行一 · 乘法坐标系
谜的守恒定律
把质数当字母表，每个数写成"指数向量"：12 = 2²·3 记作 [2,1]，18 = 2·3² 记作 [1,2]，相乘只需相加：[3,3] = 216。乘法世界一览无余，质数真的成了恒定符号。但代价立现：100 = [2,0,2] 加个 1 变成 101——一个全新字母，向量彻底洗牌。谜没有消失，只是搬家：加法体系里 +1 平凡而质数神秘，质数体系里质数平凡而 +1 神秘。哥德巴赫与孪生质数就住在这条加法与乘法的裂缝里，换坐标系抹不平它。
执行二 · 哥德尔 1931
梦被自己的工具叫醒
哥德尔真的用质数当编码字母：把每条数学命题、每个证明编成一个数（第一个符号放进 2 的指数、第二个放进 3 的指数……），让数学第一次能谈论自己——然后证明了不完备定理：任何强大到包含算术的体系，必有真而不可证的命题。提案的前一半（质数 = 符号）被完美实现之日，恰是后一半（一套体系解释万物）被判不可能之时。
执行三 · F₁ 纲领
还没下班的"另一套数学"
有限域版的黎曼猜想靠"把质数看成曲线上的点"被真正证明（韦伊提出，德利涅 1974 终结）。于是一批数学家生出执念：现行数学对质数也许就是错误的语言——应该存在一套尚未建成的体系（"一元域 F₁ 上的几何"），在那里整数真的变成一条曲线，黎曼猜想会自然倒下。这个纲领追了三十多年，体系至今未完工：那"另一套解释万物的数学"，是一群人的正式职业，而且还没下班。
底线：无论换什么地基——集合论、类型论、范畴论、乃至外星人的数学——只要体系强大到能数数，质数就原封不动地在里面重现。它们是一切可能数学的公共不变量：不装在软件里，焊在"计数"这件事本身的硬件上。这就是 1974 年阿雷西博信息敢拿质数当宇宙通用语的原因——也是这本手册从一把石子走到这里，每一扇窗后面都是同一批质数的原因。
两个和平的国度与一条边境线
数学能不能干脆建立在质数上——斩断"2 = 1 + 1"这条脐带，让每个数都是独立的存在？答案：能，而且 1930 年建成了。看数学史上最戏剧性的三连击：
1929 · 加法国
普雷斯堡算术
只有加法、没有乘法的算术。完备且可判定——每句话的真假都有算法能裁决，彻底和平。但在这个国度里，"质数"这个概念根本无法定义（判断质数需要乘法）。
1930 · 乘法国
斯科伦算术
只有乘法、没有加法——"2 = 1 + 1"这句话说不出口，每个数是独立的存在。在这里：算术基本定理降格为公理；把 2 和 3 互换，一切命题真假不变——"质数是无差别的恒定符号"在此是定理；而且同样完备可判定，没有任何谜。
1931 · 边境
哥德尔
加法与乘法一合并，完备性永久失去——真而不可证的命题必然存在。结论一句话：质数之谜不住在质数里，住在加法与乘法的国境线上。两个国家各自都是天堂，边境才是战场——那场永不停歇的边境战争，名字叫数论。
代价清单：乘法国里说不出"下一个"、"谁大谁小"、"第三个质数"——顺序、间隔、孪生、越来越稀，质数的全部个性与命运都是 +1 给的。纯质数的数学存在，但安静得像真空；我们的数学吵闹，因为两套完美的秩序在同一批数字上打架。
创世四幕
再进一步：如果一开始只有质数，而且"只要不一样，什么东西都能被定义成一个新的数"——这个思想实验真的能开机。跑出来分四幕，结尾有一个反转。
第一幕
质数升格为坐标轴
让指数可以为负——分数免费诞生：1/2 = [−1]，3/4 = [−2,1]；让指数可以是分数——√2 = [1/2]。全体正分数构成一个以质数为基的无穷维空间：数是点，质数是轴（取对数后 log 2、log 3、log 5……线性无关——唯一分解定理的向量化身）。算术变成了几何。
第二幕
加法闯入：造轴的怪兽
在质数空间里做加法：[1] + [0,1]（2 + 3 = 5）——一根全新的坐标轴凭空炸出。每加一次都可能创造一个方向；哥德巴赫猜想变成诡异的几何题：两个格点相加，何时恰好落回某根轴上？谜的守恒定律第三次应验。
第三幕
超现实数：创造规则的极限
"只要它和所有已有的数都不一样，它就是一个新数"——这是康威超现实数的创世规则，一字不差。从虚无逐日创造：0；±1；±2、±1/2……无穷日后 ω、ε、√ω 全部登场。所有实数、无穷大、无穷小统一进最大的有序数域，数多到集合装不下。它的出身：围棋残局——连游戏都是数。
第四幕 · 反转
你描述的世界，往窗外看就是
"不一样就收编为新数"正是我们数学的建造原理：√2（当年的丑闻）、负数（"荒谬之数"）、i（"虚数"本是嘲讽）、四元数、无穷小、超限数——数系家谱就是收编史。而"一开始只有质数"，现代数论也照办了：每个质数拥有一整个自己的数字宇宙（p 进世界），实数世界只是并列一员；命题在所有宇宙里分别受审、再合并判决（局部–整体原则）。"一人一个世界"，是教科书。
所以"那个世界会是什么样子"的最终答案：它长成了今天的数学。这个提案从未被拒绝——数学正是靠着它，从一把石子活到了超现实数。
柯的规律：三种跳法
2026 年 9 月 1 日，柯盯着质数间隔提出一套跳跃规则，用三种招从一个质数跳到下一个：红弧 · 加中间数（自己加上和邻居之间的那个数）、绿弧 · 进位 +2、金弧 · 借旧数（虚线标出借来的数是从哪个旧间隔里拿的）。
从 2 跳到 31 的全过程，以及 31 之后的分岔
图里藏着三个真发现：① 红色跳全是 p → 2p + 1——能这样跳的质数有专名：索菲·热尔曼质数，连跳 2 → 5 → 11 → 23 → 47 叫"坎宁安链"；② 绿色 +2 每次成功，踩中的都是一对孪生质数；③ 走到 31，规则出现分岔——+6 落在 37（正确的下一个），+12 落在 43（也是质数，却跳过了 37），而三招体系事先说不死该选哪条。这就是下一步要修理的地方：把三招合并成一条"没有选择余地"的规则，再拿一万个质数打靶。
【死因鉴定书】这套跳跃体系后来阵亡了。死因不是招数不够，而是机器类别：它是"竖式机器"——有限的规则加进位借位。有定理背书（明斯基与帕佩特，1966）：在任何进制下，靠有限规则逐位工作的机器都无法识别质数。两行版证明：有限规则的机器跑久必入循环，输出带周期，则间隔有界；但无质数的沙漠可以任意长（n!+2 到 n!+n 全是合数），间隔无界——矛盾。出路不是加招数，是换机器等级。见下一章。
柯的筛子
2026 年 9 月 4 日，柯提出新机器：只在奇数 2k+1 里找，去掉 3j、5j、7j……（j 为奇数）。打上三个补丁后实测：一万以内产出 1229 个质数，与标准质数表逐个相同。这次是筛法类机器——草稿纸无限，每个新质数成为新鼓手——类别对了，所以完备、零误判。下图是它在 100 以内的工作现场：
红色 = 幸存者（全体奇质数）；被划掉的格子标着"是谁的鼓点"（最小的那位鼓手）——100 以内只需 3、5、7 三位鼓手就筛干净了（下一位 11 的首个鼓点 121 在场外）。三个补丁：① j 从 3 起（j = 1 会误杀质数本人）——等价于每个鼓手从自己的平方开鼓；② 9j、15j 等合数鼓手裁员（它们的鼓点全被更小的质数敲过——最小因数定律）；③ 开除 1（零维的点），场外请回 2（创世遗民）。升级路径：只看奇数 = 2 号轮，6k±1 = 6 号轮，下一档 30 号轮只剩 27% 候选——同一台机器，涡轮随便加。这台机器的原版名叫埃拉托斯特尼筛（公元前 240 年）；这一版的名字，写在本章标题上。