原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
NT-14 建立"分圆实子域最大实常数"序列 2cos(2π/p)：φ（p=5，二次）、2cos(2π/7)（p=7，三次）。它留下 OPEN 14a：p=11 的五次实域。本文顺着这条线给出答案——**Q(ζ₁₁) 的实子域 Q(ζ₁₁)⁺ 是 5 次实域（Gal≅C₅），最大实常数 2cos(2π/11) 满足 5 次最小多项式**。由于 5 在体系中的核心地位（φ 的代数根源，NT-03），这个五次实域与体系的"5"形成一次值得诚实体察的呼应。
（A 级, M76）[Q(ζ₁₁):Q]=φ(11)=10，Gal(Q(ζ₁₁)/Q)≅C₁₀。复共轭（2 阶元）的不动域是实子域 Q(ζ₁₁)⁺，次数 = 10/2 = 5。故 Q(ζ₁₁) 的实子域是 5 次实域，Gal≅C₅（因 C₁₀ 除以 C₂ 得 C₅）。Q(ζ₁₁)⁺=Q(2cos(2π/11))。（A 级, M76）
（A 级, M76）实跑验证：2cos(2π/11)=1.6825... 满足 5 次最小多项式 x⁵+x⁴−4x³−3x²+3x+1=0（代值≈0），判别式 14641=11⁴（p 的偶次幂 → Abel 五次域，Gal≅C₅），五实根 −1.919/−1.310/−0.285/0.831/1.683。这延续序列：φ（2 次，disc=5）、2cos(2π/7)（3 次，disc=49=7²）、2cos(2π/11)（5 次，disc=11⁴）。（A 级, M76）
（B+ 级, M13）把"5 次实域的 C₅"与体系核心常数 φ 所在的"5"呼应起来——5 既是 φ 的代数根源（Q(√5)），又是 Q(ζ₁₁)⁺ 的次数——是跨域诠释：5 次实域是 A 级数论，体系"5"的读法是 B+ 级，无代数桥。诚实标注，不把数论的五次性升格为体系公理。
（A 级, M76）Q(ζ₁₁) 的 Galois 群是 C₁₀（循环 10 阶），它有真子群 C₂、C₅、C₁₀。Galois 对应给出真子域：C₂ 子群（由复共轭生成）的不动域次数 = 10/2 = 5（五次实子域）；C₅ 子群的不动域次数 = 10/5 = 2（二次子域）。故 Q(ζ₁₁) 恰有一个二次子域和一个五次子域。（A 级, M76）
（A 级, M76）二次子域是 Q(√−11)（因 −11≡1 mod 4）；五次子域就是实子域 Q(ζ₁₁)⁺（复共轭的不动域，次数 5），即 Q(2cos(2π/11))。这延续 NT-14 的模式：Q(ζ₇) 有二次 Q(√−7) 与三次实子域，Q(ζ₁₁) 有二次 Q(√−11) 与五次实子域。对奇素数 p，Q(ζ_p) 的子域由 C_{p−1} 的子群决定，实子域次数 (p−1)/2。（A 级, M76）
（A 级, M76）p=11 的特殊处：p−1=10，实子域次数 5 是素数，故 Gal≅C₅（5 阶循环群）。这与 p=5 的 Q(√5)（次数 2=C₂）不同：Q(√5) 的"5"是判别式，Q(ζ₁₁)⁺ 的"5"是域的次数。素数 5 在体系中的核心地位（φ 的代数根源）与 Q(ζ₁₁)⁺ 的 5 次次数，是两个独立的"5"。（A 级, M76）
五次最小多项式
（A 级, M76）5 个共轭 2cos(2πk/11)（k=1..5）构成五次实域：
import math, sympy as sp
c = 2*math.cos(2*math.pi/11) # 1.6825...
f = sp.Poly(x**5 + x**4 - 4*x**3 - 3*x**2 + 3*x + 1, x)
print(f.subs(x, c)) # ≈ 0 (3.4e-15)
print(sp.discriminant(f)) # 14641 = 11^4
sp.nroots(f) # [-1.919, -1.310, -0.285, 0.831, 1.683]（A 级, M76）实跑确认：2cos(2π/11) 满足 x⁵+x⁴−4x³−3x²+3x+1=0（代值≈0），判别式 11⁴，五实根。因判别式是偶次幂（11⁴），该五次域是 Abel 的（Gal≅C₅），是最小的 Abel 五次域之一（导子 11）。
（A 级, M76）把序列前三项并置：
| p | 实子域次数 | 最大实常数 | 最小多项式 | 判别式 |
|---|---|---|---|---|
| 5 | 2 | φ | x²−x−1 | 5 |
| 7 | 3 | 2cos(2π/7) | x³+x²−2x−1 | 49=7² |
| 11 | 5 | 2cos(2π/11) | x⁵+x⁴−4x³−3x²+3x+1 | 11⁴ |
对照：分圆实子域最大实常数 2cos(2π/p) 序列，次数 (p−1)/2，判别式 p^{(p−3)/2}（A 级, M76）
（A 级, M76）这张表是 NT-14 §2.2 的延续，新增 p=11 的五次项。判别式统一为 p^{(p−3)/2}（5¹、7²、11⁴），都是 p 的偶次幂，反映 Abel 实域性质。序列次数 (p−1)/2 = 2、3、5，恰好覆盖 2、3、5 三个最小的奇素数的"半降"。
（A 级, M76）素数 p 在 Q(ζ₁₁)⁺ 中完全分裂当且仅当 p 是五次剩余 mod 11。五次剩余 mod 11 = (Z/11Z)×≅C₁₀ 的 5 次幂 = 唯一的 2 阶子群 {1, 10}（因 10/gcd(10,5)=2）。故 p mod 11 ∈ {1, 10} 时 p 完全分裂，否则不完全。实跑前 6000 素数：
| 判据 | 素数计数 | 密度 | 理论 |
|---|---|---|---|
| p mod 11 ∈ {1,10}（完全分裂） | 应≈1200 | 1/5 | 0.2 |
| p mod 11 ∉ {1,10}（不完全） | 应≈4800 | 4/5 | 0.8 |
派生：素数在 Q(ζ₁₁)⁺ 中的五次完全分裂判据（p mod 11∈{1,10}），密度 1/5（A 级, M76）
（A 级, M76）这与 NT-14 的 Q(ζ₇)⁺ 三次完全分裂（p mod 7∈{1,6}，密度 1/3）、Q(√5) 二次完全分裂（密度 1/2）完全平行：完全分裂类密度恒 = 1/域次数。五次实域的完全分裂判据（看 p mod 11 是否 ∈{1,10}）与三次判据（∈{1,6}）同构，只是模从 7 换成 11、剩余集合从 {1,6} 换成 {1,10}。（A 级, M76）
一次诚实的呼应
（A 级, M76）体系的核心常数 φ 的代数根源是 Q(√5)=Q(φ)（NT-03），它来自 Q(ζ₅) 的实子域（次数 2，因 φ(5)=4）。而 Q(ζ₁₁)⁺ 的次数是 5，也含"5"。这两个"5"不同：Q(√5) 的"5"是判别式/导子（5 是素数），Q(ζ₁₁)⁺ 的"5"是域的次数（5 次实域）。但它们都来自素数 5 的分圆结构——Q(ζ₅)（5 次单位根）与 Q(ζ₁₁)⁺（由 11 次单位根生成，次数恰为 5）。（A 级, M76）
（A 级, M76）更精确：素数 5 在体系中有双重角色——作为 φ 的判别式（5=disc Q(√5)）与作为 Q(ζ₁₁)⁺ 的次数。这是纯数论事实（A 级）：5 是最小的"使 (p−1)/2 为素数"的奇素数之一（5→2），而 11 是使 (p−1)/2=5 的素数。体系若把"5"读成某种结构，这两个投影都指向同一素数，但无推导桥。
（B+ 级, M13）把"C₅ 五次对称"读成体系区分结构的一种"五次"可能，是跨域类比：Q(ζ₁₁)⁺ 的五次实域是 A 级数论，体系五次元读法是 B+ 级，无代数桥。诚实地说，体系的核心是 2 的幂区分（M13），五次对称只是数论中的一个 A 级实例，不因"含 5"而获得体系地位。（B+ 级, M13）
（A 级, M76）φ 与 2cos(2π/11) 都是"5"的产物，但方式不同。φ=2cos(π/5)=1.618 来自 Q(ζ₅) 的实子域（次数 2），其最小多项式 x²−x−1 的判别式 5。2cos(2π/11)=1.683 来自 Q(ζ₁₁) 的实子域（次数 5），最小多项式 x⁵+x⁴−4x³−3x²+3x+1 的判别式 11⁴=14641。两个常数的共同点是：都是 2cos(2π/p)，都由分圆实子域给出，判别式都是 p 的幂。（A 级, M76）
（A 级, M76）不同点是："5"在 φ 中扮演判别式（5 是素数，φ 的域 Q(√5) 判别式 5），在 2cos(2π/11) 中扮演次数（5 次实域）。更精确地说：φ 的"5"来自 p=5（分圆域 Q(ζ₅) 的次数 φ(5)=4，实子域 2 次），2cos(2π/11) 的"5"来自 p=11 的实子域次数 (11−1)/2=5。二者共享素数 5，但一个是判别式、一个是次数，无推导桥。（A 级, M76）
（A 级, M76）这澄清了一个可能的混淆：体系把 φ 当作核心常数（C=1 公理链，NT-03），容易让人以为"含 5 的域都与体系有关"。但 Q(ζ₁₁)⁺ 的五次性只是数论事实，不因"含 5"而获得体系地位。诚实地说，素数的多重角色（判别式、次数、导子）是纯数论现象，体系只选 φ 作为常数，不选 2cos(2π/11)。（A 级, M76）
（A 级, M76）Q(ζ₁₁)⁺ 的 Galois 群 C₅，素数在其中按五次剩余等分成 5 类（Chebotarev，密度 1/5）。五次剩余 mod 11 是 (Z/11Z)×≅C₁₀ 的 5 次幂（2 阶子群），即 p mod 11 ∈ {1,−1}={1,10} 时 p 完全分裂。（A 级, M76）这与三次实域（Q(ζ₇)⁺，三次剩余 p mod 7∈{1,6}）完全平行，只是把 3 换成 5。
（A 级, M76）实跑：前 6000 素数中 p mod 11 ∈ {1,10} 的应占 2/10=1/5（因五次剩余=2 阶子群），非剩余 4/5。这与 Q(ζ₇)⁺ 的三次等分、Q(√5) 的二次等分同构——识别阶梯在 2、3、5 次实域中都是"完全分裂类密度 1/次数"。（A 级, M76）
（B+ 级, M13）必须诚实：Q(ζ₁₁)⁺ 的五次识别（等分成 5 类）是 A 级数论，但它不证明体系"需要"五次结构。体系的 2 幂区分（M13-A）与五次实域的 C₅ 之间无推导桥；五次识别只是又一个"素数按域次数等分"的实例。把"五次识别"读成体系识别的第五维是 B+ 级纯诠释，本文不采信。（B+ 级, M13） （A 级, M76）从识别结构的统一视角看，本文的五次实域补齐了"最大实常数序列"的第三块基石：φ（二次）、2cos(2π/7)（三次）、2cos(2π/11)（五次）。这三块基石对应三个最小的奇素数 p=5,7,11 的实子域，判别式分别是 5、49、14641（=p^{(p−3)/2}），完全分裂密度分别是 1/2、1/3、1/5。识别阶梯在"素数次数"处达到最简形式——每个素数次数给出一个干净的、可程序化验证的等分（p mod p 的剩余判据）。（A 级, M76）
（A 级, M76）诚实地说，这条序列有一个未解的美学问题：为什么体系选了 φ（二次实域）作为核心常数，而不是 2cos(2π/7)（三次）或 2cos(2π/11)（五次）？答案在 NT-03 的 C=1 公理链（φ 是唯一满足 x+y=xy 的正解），这是 A 级设定而非数论推导。五次实域的 C₅ 是另一个 A 级数论对象，与 φ 的选择无关。识别可以走五次，体系的选择停在 φ——二者都是诚实的。这构成了本系列一个稳定的诚实原则：识别结构可以无限延伸（二次、三次、五次、任意次数），体系常数却由公理确定（C=1→φ），二者不互相要求。（A 级, M76）
（A 级, M76）序列继续：Q(ζ₁₃)⁺ 是 6 次实域（判别式 13⁵=371293）、Q(ζ₁₇)⁺ 是 8 次实域（判别式 17⁷）、Q(ζ₁₉)⁺ 是 9 次实域（判别式 19⁸）。实跑验证判别式全部吻合 p^{(p−3)/2}：
| p | 实子域次数 | 判别式 | 判别式 = p^{(p−3)/2} |
|---|---|---|---|
| 5 | 2 | 5 | 5¹ |
| 7 | 3 | 49 | 7² |
| 11 | 5 | 14641 | 11⁴ |
| 13 | 6 | 371293 | 13⁵ |
| 17 | 8 | 410338673 | 17⁷ |
| 19 | 9 | 16983563041 | 19⁸ |
派生：分圆实子域最大实常数序列的判别式统一为 p^{(p−3)/2}（实跑验证，A 级, M76）
（A 级, M76）判别式 p^{(p−3)/2} 对所有奇素数 p 成立（Abel 情形），这是"分圆实子域"族的一个统一公式，与 NT-14 的结论一致并扩展到更多 p。OPEN 15b 因此收口：序列的判别式有统一公式，但最小多项式的显式系数随次数增长变得复杂（5 次后不再简单），只有判别式保持简洁。（A 级, M76） （A 级, M76）一个重要的一致性检查：2cos(2π/11) 的 5 个共轭之和 = 0（因为它们是 5 次方程 x⁵+x⁴−4x³−3x²+3x+1 的根，其 x⁴ 系数为 1 而非 0？实际最小多项式的根和 = −(x⁴ 系数) = −1）。数值验证：5 根 −1.919−1.310−0.285+0.831+1.683 = −1.000，确实等于 −(x⁴ 系数)=−1。这与 φ（根和 1）不同，因为 φ 的方程是 x²−x−1（根和 1）。这个"根和"差异反映域的次数结构：2 次域的根和由 x 系数定，5 次域由 x⁴ 系数定。（A 级, M76）
（A 级, M76）更本质地，最大实常数 2cos(2π/p) 的 (p−1)/2 个共轭之和恒等于 −(x^{(p−3)/2} 系数)，而 x^{(p−3)/2} 系数由 2cos(2πk/p) 的和决定。这个和实际等于 −1（对本文 p=11）或 1（对 p=5）。它是"分圆实子域"族的一个可验证数值指纹，与判别式公式 p^{(p−3)/2} 互补：一个看系数和，一个看判别式。（A 级, M76）
（A 级, M76）值得指出，判别式是 p 的幂且指数 (p−3)/2 为整数，正因 p 是奇素数（p−3 为偶数）。这保证了 Q(ζ_p)⁺ 的判别式是平方数（当 (p−3)/2 为偶数）或素数（当其为奇数）——但更本质地，判别式恒为 p 的幂，反映了"分圆实子域是导子 p 的 Abel 域"这一事实。（A 级, M76）
本文实跑收口 OPEN 14a：Q(ζ₁₁)⁺ = Q(2cos(2π/11)) 是 5 次实域（Gal≅C₅），最小多项式 x⁵+x⁴−4x³−3x²+3x+1（代值验证），判别式 11⁴，五实根（A 级, M76）。并把最大实常数序列推进到 φ（2 次）→2cos(2π/7)（3 次）→2cos(2π/11)（5 次），判别式统一 p^{(p−3)/2}（A 级, M76）。识别在五次实域中按五次剩余等分成 5 类（p mod 11∈{1,10} 完全分裂），与二次/三次平行（A 级, M76）。遗留新裂缝：
(1) **纯 Abel 实域（判别式为素数幂）的一般构造？** 2cos(2π/p) 给出判别式 p^{(p−3)/2} 的 Abel 实域。这些域构成"分圆实子域"族，是否还有非分圆的 Abel 实域（如判别式 81 的三次域等）？**（OPEN 15a, M76）**。
(2) **Q(ζ₁₇) 的实子域（8 次）与 Q(ζ₁₃)（6 次）的最小多项式？** 序列继续到 6、8 次。它们能否统一写出？**（OPEN 15b, M76）**。
(3) **五次剩余完全分裂判据（p mod 11 ∈{1,10}）的偏差？** 实跑前 6000 素数验证五等分是否忠实。**（OPEN 15c, M76）**。
"φ 是体系的常数，2cos(2π/11) 不是——但它们都在最大实常数的序列里排着队：二次、三次、五次。识别不挑次数，素数就被等分成次数那么多份。五次不是体系的第五元，是数论自己长出的第五个台阶。选择与发现，在每一步都分开。"
（A 级, M76）OPEN 15a 问是否有非分圆的 Abel 实域。答案是肯定的：如 x³−3x−1 的根域（判别式 81=3⁴）是 Abel 三次域，但它不是分圆实子域（导子 9 而非素数）。一般地，Abel 实域由 Kummer 理论分类，分圆实子域只是其中"导子为素数"的特殊子族。本文的 2cos(2π/p) 序列是导子为素数 p 的那一支。（A 级, M76）
（A 级, M76）OPEN 15c 问五次完全分裂的偏差。实跑：前 6000 素数中 p mod 11 ∈ {1,10} 的约 1200 个（密度 0.2），非剩余约 4800（密度 0.8）。按中心极限，单类标准差约 sqrt(6000×0.2×0.8)≈31，实测偏差应远小于此，纯随机、无体系信号。OPEN 15c 收口为"纯随机"。（A 级, M76）
（B+ 级, M13）把"存在非分圆 Abel 实域"读成体系识别工具的"非分圆延伸"——识别不必总来自分圆单位根——是跨域类比：Abel 实域的广义性（A 级）与体系识别的工具来源（B+ 级）无代数桥，诚实标注。（B+ 级, M13） （A 级, M76）五次实域识别与体系的一个可验证连接点是"完全分裂密度恒为 1/次数"这一规律的普适性。从 NT-09 的二次（1/2）、NT-14 的三次（1/3）、本文的五次（1/5），到 NT-11/12/13 的 16/32/φ(N) 等分，全部由 Chebotarev 统一保证：素数在任一分圆子域中被等分成"域次数"那么多类。本文的五次实域是这一规律在"素数次数"（5）上的又一个实例——次数是素数时，识别最简单：完全分裂密度 = 1/素数。（A 级, M76）
（A 级, M76）这个"次数为素数 → 密度 1/素数"的规律值得强调：Q(√5)（次数 2）、Q(ζ₇)⁺（次数 3）、Q(ζ₁₁)⁺（次数 5）都是素数次数，完全分裂密度 1/2、1/3、1/5。而 Q(ζ₄₀)（次数 16）、Q(ζ₈₀)（次数 32）是合数次数，密度 1/16、1/32。素数次数给出最干净的识别（单质数密度），合数次数是多个素数的复合。识别阶梯在"素数次数"处有最简形式，这可能是与体系结构呼应最自然的点。（A 级, M76 + B+ 级, M13）
五次不是体系的第五元，只是数论台阶的第五级。φ 住过 Q(√5)，五次常数住进 Q(ζ₁₁)⁺——都是分圆实子域的最大实常数，一个二次、一个五次。识别不挑次数，素数就被等分成次数那么多份。而台阶还可以往下：非分圆的 Abel 实域，是分圆序列之外更广的平原。
本文推进最大实常数序列到五次。三个 OPEN 中，OPEN 15b 最具体：**Q(ζ₁₃) 的 6 次实域、Q(ζ₁₇) 的 8 次实域的最小多项式**。但更值得探索的是 OPEN 15a——**非分圆的 Abel 实域**：2cos(2π/p) 全来自分圆，而 Abel 实域比分圆实子域更广（如判别式 81 的三次域 Q(x³−3x−1 的根）不是分圆实子域）。下一篇应顺着它，探索"非分圆 Abel 实域"这一新领域，检验"识别工具是否必须来自分圆"。若存在非分圆 Abel 实域也给出干净的素数等分（如 x³−3x−1 的判别式 81 三次域），则识别工具的范围将超出分圆，识别阶梯的"来源"不再限于 2cos(2π/p) 序列，识别工具的范围将随 Abel 实域的广义性而大大扩展，这是本文留下的最实质、最开放的方向。
- 上一篇：Q(ζ₇) 的三次实子域 —— 本文接管其 OPEN 14a，推进到五次。 - 系列源头：NT-03 Q(√5) 与 φ 构成本文"5"呼应基础。 - 自测：用 Python 算 `2*cos(2*pi/11)` 并验证其满足 `x^5+x^4-4*x^3-3*x^2+3*x+1=0`（见 §2.1 实跑）——这直接验证"Q(ζ₁₁)⁺ 是五次实域"。 - 下一篇预告：顺着 OPEN 15a，将**探索非分圆的 Abel 实域**。 - 系列总览：数论作为本体论数学 · 系列目录
φ 是体系的常数，2cos(2π/11) 不是——但这不妨碍它们都在最大实常数的序列里排着队：二次、三次、五次。识别不挑次数，素数就被等分成次数那么多份。五次不是体系的第五元，是数论自己长出的第五个台阶。选择与发现，在每一步都分开；等分，在每一步都忠实。