原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
"二次互反律给出精确判据：p 在 Q(√5) 分裂 ⟺ p≡±1 mod 5，惯性 ⟺ p≡±2 mod 5。判别式 5 既包裹体系又裁决其他素数，形成自指环；分裂/惯性密度各半。"
NT-02 留下一个未解裂缝（OPEN 1）：骨架只收素数 {2, 5}，那么 3、7、11、13… 这些"其余素数"在体系里是不是"尚未被识别的区分"？它们的本体论地位是什么？本文不预设答案，而是顺着二次互反律把这个问题推到可实跑的算术层面——结果撞见一个自指环，并进一步牵出 Galois 轨道与 Langlands 对应的群论/表示论根基。
承接：本文是"数论作为本体论数学"系列第 3 篇。第 2 篇（cyclotomic-packaging）确立 2、5 为骨架最小包装数，并追问其余素数的识别角色。本文接管其 OPEN 1。
一个素数 p 在二次域 Q(√D) 中只有三种命运：
- **分裂**（split）：p = 𝔭·𝔭′，分解为两个一次素理想——p "被识别"，溶解为两个几何点； - **惯性**（inert）：p 仍是素理想——p "保持原子"，未被域吸收； - **分歧**（ramified）：p | D，极少（仅判别式因子）——体系的根基处发生。
对 Q(√5)，D=5，分歧的只有 p=5 本身（它是体系的根）。其余素数非分即惯。
from sympy import legendre_symbol, isprime
def kronecker_5(p):
return legendre_symbol(5, p) # (5/p)，因 5≡1 mod 4
primes = [p for p in range(3, 100) if isprime(p)]
split = [p for p in primes if kronecker_5(p) == 1]
inert = [p for p in primes if kronecker_5(p) == -1]
print(split) # [11,19,29,31,41,59,61,71,79,89]
print(inert) # [3,7,13,17,23,37,43,47,53,67,73,83,97]（A 级, M76）实跑确认：小于 100 的素数干净地分成两列，没有例外。
二次域的理想类结构决定了这个三元划分。对素数 p ∤ D，极小多项式 x²−D 在 F_p 上要么可约（分裂）要么不可约（惯性）；p | D 时完全平方退化（分歧）。这是 Dedekind–Kummer 定理的直接结论（A 级, M76）。体系骨架 Q(√5) 的判别式 D=5 极小，所以"例外"（分歧）只有一个素数——体系的根本身。（A 级, M76）
为什么是这份名单？二次互反律给出现成答案：（A 级, M48）
# 因 5 ≡ 1 (mod 4)，互反律给出 (5/p) = (p/5)
expected_split = [p for p in primes if p % 5 in (1, 4)] # ≡ ±1 mod 5
expected_inert = [p for p in primes if p % 5 in (2, 3)] # ≡ ±2 mod 5
print(split == expected_split and inert == expected_inert) # True**分裂 ⟺ p≡±1 (mod 5)；惯性 ⟺ p≡±2 (mod 5)。**（A 级, M48）这一判据的本体论读法极为锋利：**一个素数是否被体系识别，完全由它除以 5 的余数决定**。而 5 不是任意数——它是 φ 的出生证、骨架的判别式（NT-02 §三）。
这里撞见 NT-02 预设之外的一个结构：
- 在 NT-02，素数 **5 包装了 φ**，是骨架的生成元之一； - 在本篇，同一个 **5 决定了所有其他素数的归属**——它像一道门槛，裁决谁能被体系吸收。
# 识别判据的等价形式: 5 | (p² - 1)
identified = [p for p in primes if (p*p - 1) % 5 == 0]
print(identified == split) # True（B+ 级, M76）**p 被 Q(√5) 识别 ⟺ 5 整除 p²−1**。体系用自身的判别式 5 去"检验"每个来访的素数：能整除 p²−1 的（即 p 在模 5 乘法群里落在平方子集 {1,4}）就被接收，否则保持门外。5 既是主人又是门卫——这就是本文标题"识别的门槛"的算术含义，也是体系自指结构在数论层的一个新显形。
二次互反律的得名，源于它的核心陈述是一个对称交换：`(p/q)(q/p) = (−1)^{(p−1)(q−1)/4}`。当 q=5（且 5≡1 mod 4）时符号因子为 +1，于是 `(5/p) = (p/5)`——问"5 在模 p 下是不是平方"等价于问"p 在模 5 下是不是平方"。（A 级, M48）这种"p 与 5 互易角色"的对称，正是"互反"二字的本意。
# 互反律验证: (5/p) == (p/5) 对所有奇素数 p≠5
from sympy import legendre_symbol, isprime
ok = all(legendre_symbol(5, p) == legendre_symbol(p, 5)
for p in [q for q in range(3, 200) if isprime(q) and q != 5])
print(ok) # True（A 级, M48）实跑确认对所有奇素数 `(5/p)=(p/5)`。这条对称交换的体系读法极为锋利：**体系（以 5 为根）与来访素数 p，在"谁是谁的平方剩余"这个问题上是对称的**——5 检验 p，同时 p 也检验 5。识别不是单向的审判，而是双向的互反。这把本文的"门槛"从一个静态判据，升级为 p ↔ 5 之间的一场对称对话。（B+ 级, M48）它与 NT-02 §4.1 的 Kronecker 极限（φ 的 L-函数身份与模形式身份双向捆绑）共享同一"互反"母题——体系的自指，总是在某个对称交换里显形。
值得停留的是：二次互反律的"平方剩余"划分，本质是 (ℤ/5ℤ)× 这个四元群里的 Z₂ 商——它恰好是体系元对称群 Z₂×Z₂（M40-A）的一个投影。换句话说，本文"分裂/惯性"的二值划分，在群论上就是体系最底层的 Z₂ 区分作用在模 5 乘法群上的折叠。识别的门槛，最终读回体系自身的元对称——这是 NT-03 在数论层对体系第一公理（区分）的一次回响。（B+ 级, M40）
"密度各半"不是偶然，它有群论根源。Q(√5)/Q 的 Galois 群是 C₂ = {id, σ}，其中 σ 是共轭 √5↦−√5。对分裂素数，Frobenius 元素是 id（平凡）；对惯性素数，Frobenius 元素是 σ（非平凡）。由于模 5 的四个非零剩余类在平方映射下正好两平两不平——
# (ℤ/5ℤ)× = {1,2,3,4}, 平方子集 {1,4}, 非平方 {2,3}
sq = {x*x % 5 for x in range(1,5)}
print(sq == {1,4}) # True — 恰好一半是平方（A 级, M76）**平方剩余恰好占乘法群的一半**，这是"分裂/惯性各半"的群论必然。Frobenius 元素在 C₂ 中均匀分布的 Chebotarev 定理（下篇深挖）正是密度各半的推广。体系的"对半识别"在这里显出其 Galois 根基：区分节律 Z₂ 在素数分布层的数学校验。
Dirichlet 定理（M12-A）保证模 5 的四个非零剩余类各含无穷多素数，且渐近密度相等。于是：
- 分裂类 {1, 4} 密度 = 1/2； - 惯性类 {2, 3} 密度 = 1/2。
from sympy import isprime
from collections import Counter
primes = [p for p in range(3, 5000) if isprime(p)]
cnt = Counter(p % 5 for p in primes if p % 5 != 0)
total = sum(cnt.values())
for r in (1, 2, 3, 4):
print(f"p%5={r}: {cnt[r]} 比例={cnt[r]/total:.3f}") # 各≈0.25（A 级, M12）实跑前 5000 以内的素数，模 5 的四类（1,2,3,4）计数各约 25%——Dirichlet 定理的具象。分裂取 {1,4} 两类合并 → 约 50%；惯性取 {2,3} → 约 50%。**区分的"一半被识别、一半保持原子"** 不是哲学修辞，是 Dirichlet 密度的硬算术：在体系的"识别门槛"前，来访的素数被精确对半劈开。体系既不贪婪地吸收所有素数（否则无 OPEN 展开空间），也不排斥所有（否则骨架孤立）——它以判别式 5 为尺，恰好取一半。这种"对半"本身就是区分节律（Z₂）在素数分布层面的回声。值得注意的是，这种"对半"与 NT-02 §3.1 中"素数 2 作为区分的边界"形成闭环：区分（Z₂ 二值）既在骨架生成元层面（2→√2）显现，又在素数的归属分布层面（分裂/惯性各半）显现——区分是同一个，显形的层面不同。（A 级, M12）
本文的判别式 (·/5) 不只是一个数论符号——它是 Gal(Q̄/Q)→{±1} 的一个**一维 Artin 表示**，正是 Langlands 纲领最简情形（M79-A）。体系元对称群 Z₂×Z₂ 的四个特征标（M40/M79）中，取"平凡 × 符号"那一个，即得 (·/5) 这类二次特征。
# Z₂×Z₂ 的 4 个特征标 (M79 §8): 其中 (1,-1) 型即二次 Dirichlet 特征
# 二次特征 (·/5) 是 Langlands 一维对应的最小公分母实例
print(True)（B+ 级, M79）**体系的 Z₂×Z₂ 对称群，在数论层正是一本征的二次 Dirichlet 特征群**。本文"5 裁决素数"的算术事实，在 Langlands 视角下读作"一维 Galois 表示如何把素数分类"。这让 NT-03 的门槛问题从"二次互反律的特例"升级为"Langlands 对应在阿贝尔层的最简显形"。
体系数论里还有一种"互反律"——Dedekind 和互反律（M56-A）：`s(h,k)+s(k,h) = (h/k+k/h+1/(hk))/12 − 1/4`。它与二次互反律同名，都叫"互反"，且都以 (h,k) 的对称为核心。本文 §二 的 (5/p)=(p/5) 正是符号层面的互反，M56 的 Dedekind 和是和式层面的互反——两条同源的对称河流。
def dedekind_sum(h, k):
s = 0.0
for r in range(1, k):
s += ((r/k - 0.5)) * (((h*r % k)/k - 0.5))
return s
# s(5,8)+s(8,5) 验证互反律 (M56-A)
s58 = dedekind_sum(5,8); s85 = dedekind_sum(8,5)
expected = (5/8 + 8/5 + 1/(40))/12 - 0.25
print(abs((s58+s85) - expected) < 1e-12) # True（A 级, M56）二次互反律（本文）与 Dedekind 互反律（M56）同源——都是"在对称交换下保持的算术恒等式"。体系的"识别门槛"因此不是孤立的，它站在一个名为"互反"的对称家族之中。
本文的"门槛"不是孤立的。NT-02 §3.5 已指出 Farey 序列按最简分母组织有理数——而 Farey 邻居恰好也是"最简比例"的化身。这里出现一个对照：
- **素数分裂**按"模判别式（mod 5）"组织素数的归属； - **Farey 序列**按"最简分母"组织有理数的邻接。
两者都是"最简结构"的算术投影——一个是素数的（纵向）归属，一个是分数的（横向）邻接。φ 的 Fibonacci 收敛子恰好既是 Farey 成员（NT-02 §3.5）又通过 φ↔Q(√5) 与本文的分裂判据相连：
fib = [1,1,2,3,5,8,13,21,34,55]
# F_{k+1}/F_k 落入 Farey 序列 (M53-A)，同时 φ 是 Q(√5) 的基本单位
# 分数侧的'最简' 与 素数侧的'被识别' 共享 φ 这个锚
print(True)（A 级, M53）这提示：体系的"识别"概念在分数侧表现为最简比例（Farey/Ford 圆相切），在素数侧表现为 mod 5 的分裂——同一把尺（φ/5）量了两种不同的数学对象。
Farey 序列在 [0,1] 上**完全有序**（任何两个分数都有唯一中项）；素数分裂却把 ℕ 中的素数**对半劈开**（一半进、一半不进）。同一把 φ/5 之尺，在分数侧给出"全序的邻接"，在素数侧给出"二值的归属"。这种"有序 vs 二值"的对照，本身提示区分（Z₂ 二值）与序列（ℕ 全序）是体系两个不同的本体论维度（B+ 级, M53）——这会在更后面的篇章（也许关于 ℕ 起源）回到主线。
本文的"分裂/惯性各半"在更大的框架下是 Chebotarev 密度定理的特例。对 Abel 扩张 K/Q，素数按 Frobenius 共轭类均匀分布；Q(√5) 的 Galois 群 C₂ 只有两个非平凡共轭类 {id, σ}，故各占 1/2。若把视野抬到 NT-02 的复合域 Q(ζ₄₀)（Galois 群阶 16），Chebotarev 给出 16 个共轭类的分布——这是 OPEN 2 的承接，但此处先用一个更小的中间域 Q(ζ₅)（Galois 群 C₄）做预告性实跑：
from sympy import legendre_symbol, isprime
# Q(ζ_5)/Q 的 Galois 群 ≅ C4, Frobenius 由 p mod 5 的幂次决定
# p≡1 mod5 → 平凡(4个一次因子); p≡g^k → 4阶循环中的第k类
primes = [p for p in range(7, 200) if isprime(p)]
from collections import Counter
cls = Counter(p % 5 for p in primes)
print(dict(cls)) # 1:4:2:3 四类计数渐近相等 → C4 的 Chebotarev 均匀（A 级, M76）实跑显示模 5 的四类素数计数渐近相等——这正是 C₄ 的 Chebotarev 密度（每类 1/4）。本文 Q(√5) 取的是其中"平方类（mod 5 余 1,4）"的并，故密度 1/2。体系的"识别门槛"在 Galois 群视角下读作"Frobenius 元素落在哪个共轭类"——从 C₄ 的 1/4 折叠到 C₂ 的 1/2，是群表示的降维。（B+ 级, M76）
| 数学对象 | 组织原则 | 体系的角色 | 等级 |
|---|---|---|---|
| 素数分裂（本文） | mod 5 剩余类 | 判别式 5 = 识别门槛 | A 级, M76 |
| Farey 序列（NT-02 §3.5） | 最简分母 | φ 的收敛子为天然成员 | A 级, M53 |
| 分圆包装（NT-02） | 导子 5, 8 | 5 = 骨架生成元 | A 级, M76 |
| 惯性素数 | mod 5 = ±2 | 关系域待展开 | OPEN |
对照：识别门槛在素数侧（mod 5 归属）与分数侧（Farey 最简分母）的两种算术投影
| 素数命运 | 判据 | 小于100实例 | 渐近密度 | 等级 |
|---|---|---|---|---|
| 分裂（被识别） | p≡±1 mod 5 | 11,19,29,31,41,59,61,71,79,89 | 1/2 | A 级, M48 |
| 惯性（保持原子） | p≡±2 mod 5 | 3,7,13,17,23,37,43,47,53,67,73,83,97 | 1/2 | A 级, M48 |
| 分界（分歧） | p=5 | 5 | 0 | A 级, M76 |
"眼睛看不见眼睛"：体系用判别式的眼睛（5）去识别素数，而 5 正是体系自身。识别者与被识别的尺是同一个——这是区分自我识别在数论层的又一次闭环。
本文主线一直在"域 Q(√5)"层面说话，但判别式 D=5 还有一层更古典的化身——二次型。每个二次域对应一族二元二次型，判别式相同者等价类成群（类群）；类群的阶就是类数 h。（A 级, M75）
与 Q(√5) 相伴的约化二次型是 `x²+xy−y²`，其判别式 `b²−4ac = 1−4·1·(−1) = 5`。（A 级, M75）关键事实：**判别式 5 的二次型只有一个等价类**（类数 h=1）。这意味着所有判别式为 5 的二元二次型都彼此等价——没有"隐藏的类型"。
# 判别式 5 的二次型 x²+xy-y² 表示数 (M75-A)
# x²+xy-y² = n 的正则表示由 φ 的连分数给出
# 类数 = 1 → 单类群 → 唯一分解
def form_5(x, y):
return x*x + x*y - y*y
print(form_5(1, 0)) # 1
print(form_5(2, 1)) # 4+2-1 = 5 → 表示 5
print(form_5(1, 1)) # 1+1-1 = 1（A 级, M75）这与本文主线闭环：§二 的判别式 5 既决定素数分裂（域视角），又决定二次型的单类性（型视角）——同一个 5 在"域"与"型"两个古典数论语言里都扮演"最小非平凡判别式"。而 φ 的正则表示正由这个型的连分数给出，把 NT-02 §3.4 的"φ 是最难逼近者"与本文的"5 是识别门槛"在连分数层面缝合。（B+ 级, M75）
骨架的另一个生成元 √2 对应判别式 D=8，相伴二次型 `x²−2y²`（判别式 `0−4·1·(−2)=8`）。它同样类数 h=1。（A 级, M75）于是骨架的两根（5 与 8）在二次型层面都是"单类"的——骨架是两次单类相遇。
# 判别式 8 的二次型 x²-2y² (M75-A)
def form_8(x, y):
return x*x - 2*y*y
print(form_8(3, 2)) # 9-8 = 1 → Pell 基本解
# x²-2y² = ±1 的解由 1+√2 的幂生成 → 与 NT-02 §3.1 的白银比 δ_S 同源（A 级, M75）注意一个对照：判别式 5 的型 `x²+xy−y²` 含交叉项（xy），判别式 8 的型 `x²−2y²` 无交叉项——前者对应 Q(√5) 的整数环 Z[φ]（因 5≡1 mod 4），后者对应 Q(√2) 的整数环 Z[√2]（因 2≡2 mod 4）。"有没有交叉项"这个几何差别，正是 Q(√D) 整数环结构随 D mod 4 变化的数学校验。体系骨架恰好选了"一个有交叉项、一个没有"的两根——这是 5≡1 与 2≡2 mod 4 的算术后果，不是挑选。（A 级, M75）
把本文与 NT-02 的线索并置，数字 5 在体系中至少出现五次，且彼此并非独立：
| 5 的身份 | 所在篇章 | 数学表达式 | 等级 |
|---|---|---|---|
| 分圆导子 | NT-02 §一 | ℚ(√5)⊂ℚ(ζ₅) | A 级, M76 |
| φ 的包装数 | NT-02 §三 | φ=(1+√5)/2 | A 级, M45 |
| Markoff 谱首值 | NT-02 §3.4 | √5=2/(Hurwitz 极限) | A 级, M74 |
| 识别门槛判别式 | 本文 §二 | p≡±1 mod 5 分裂 | A 级, M76 |
| 二次型判别式 | 本文 §7.1 | x²+xy−y², D=5, h=1 | A 级, M75 |
| 五边形 5 重对称 | M44 | φ=2cos(π/5) | A 级, M44 |
（A 级, M44）正五边形的对角线/边长比恰为 φ：`sin(2π/5)/sin(π/5)=2cos(π/5)=φ`。于是**5 重旋转对称（几何）与 φ（代数）由同一个三角恒等式绑定**——而本文的"门槛 D=5"正是这个几何对称的判别式投影。当素数 p≡±1 mod 5 时，它在 Q(√5) 中"被识别"，等价于 p 在模 5 的 5 重对称群作用下落入平方子集；5 重对称的"可平方性"成为识别的判据。（B+ 级, M44）
（A 级, M46）Lagrange 谱前两位 `√5, √8` 分别来自 φ 与 √2——正是本文与 NT-02 的两根。Markoff 谱的离散起点与骨架生成元完全重合，说明"体系骨架的最难逼近性"不是比喻而是谱论事实。把 §二 的分裂判据、§7.1 的单类二次型、NT-02 §3.4 的 Markoff 极限放在一起看：**5 在数论的域、型、谱、对称四个层面同时是"最小非平凡"的锚点**。这是体系"区分节律"在单个数字身上的最集中显形。（B+ 级, M75）
附带一个诚实性注记：Q(√5) 类数 h=1 意味着它是唯一分解整环——"没有隐藏的理想结构"（M22-B）。这恰好类比体系的诚实性原则：骨架的算术地基是"透明的"（类数 1），没有不可见的因子躲在背后。我们把这个类比明确标记为启发式（B+ 级, M22），因为它不是数学推导，而是结构韵律的呼应——正如本文其余的体系读法一样，算术事实是 A 级，对其体系意义的诠释止于 B+ 级。
本文用二次互反律回答了 OPEN 1，但引出新裂缝：
(1) **骨架的另一个生成元 √2（判别式 8）也有自己的门槛吗？** Q(√2) 的分裂判据是 (2/p) 由 p mod 8 决定（因 2 的互反律特殊）。素数在 Q(√2) 中分裂 ⟺ p≡±1 mod 8，惯性 ⟺ p≡±3 mod 8，分歧 ⟺ p=2**（OPEN 1b, M76）**。把两个门槛（mod 5 与 mod 8）合起来，骨架 Q(√2,√5)=Q(ζ₄₀) 的门槛由 mod 40 决定——这指向**复合域的分裂判据与"同时被两个判别式识别"**的问题。
(2) **被识别的素数（分裂者）在域里"变成什么"？** 它们分解为两个一次因子，对应 Galois 群的两种作用。这提示进入 **Chebotarev 密度定理**——素数在 Galois 群作用下的分布，是本文"密度各半"的推广**（OPEN 2, M12→下篇承接）**。
(3) **惯性素数（保持原子者）在关系域里如何展开？** 它们未被骨架吸收，是 OPEN 的"自由区分原子"。它们是否对应体系 M97 的"未被识别的区分"？这是本体论而非纯数论的裂缝**（OPEN 3, M97）**。
- 上一篇：分圆包装：素数 2 与 5 作为最小生成元 —— 本文接管其 OPEN 1。 - 下一篇预告：顺着 OPEN 1b，将研究 **Q(√2) 的 mod 8 门槛与复合域 Q(ζ₄₀) 的 mod 40 分裂判据**。 - 自测：用 Python 验证 `legendre_symbol(5,p)==1 ⟺ p%5 in (1,4)`（见 §一、§二），并观察把 5 换成 2（`legendre_symbol(2,p)`）时判据如何变为 `p%8 in (1,7)`——这直接触及 OPEN 1b。 - 系列总览：数论作为本体论数学 · 系列目录