质数覆盖法：哥德巴赫猜想的完整初等证明

朱明君

质数覆盖法：哥德巴赫猜想的完整初等证明

作者：朱火华

摘要：本文以质数序列中大间隔右端点为锚点，将间隔值 K 定义为最大间隔，并在该右端点之后补充恰好 K 个连续质数，构建覆盖集合。通过正向构造证明该集合必覆盖对应偶数区间，沿大间隔右端点序列递推至无穷，完成哥德巴赫猜想的初等证明。

关键词：哥德巴赫猜想；质数覆盖法；大间隔；正向构造

一、定义与构造

设全体质数按升序排列：p1=2, p2=3, p3=5, p4=7, p5=11, ...

定义1（大间隔右端点及最大间隔K）

若相邻两质数 a = p_{m-1} 与 b = p_m 满足 [2, b] 内所有质数间隔均 ≤ b-a，则称 b 为大间隔右端点，记：

K = b - a

K 即前缀区间 [2, b] 的最大间隔。b 与 K 一体绑定。

定义2（前部质数集）

P_front(b) = { p ∈ P | 2 ≤ p ≤ b }

定义3（后部补充质数集）

P_rear(b, K) = { p_{m+1}, p_{m+2}, ..., p_{m+K} }

即 b 之后紧随的 K 个连续质数。

定义4（覆盖集合）

S_K = P_front(b) ∪ P_rear(b, K)

定义5（覆盖成功）

若任意 2n ∈ [4, 2b] 均可表为 S_K 中两质数之和，则 S_K 完整覆盖 [4, 2b]。

二、局部覆盖定理

定理1 设 b 为大间隔右端点，K = b-a，则 S_K 完整覆盖 [4, 2b]。

证明：

P_rear(b, K) ⊂ (b, 2b)，故 S_K ⊂ [2, 2b)。

任取 2n ∈ [4, 2b]，令 p0 = max{ p ∈ P_front(b) | p ≤ n }，r0 = 2n - p0 ≥ n。

若 r0 ∈ S_K 则得证。

若 r0 ∉ S_K，因 (p0, n] 无质数，故 n - p0 ≤ K，得 r0 ∈ [n, b+K]。

令 p1, p2, ... 为 P_front(b) 中逐次前减的质数，ri = 2n - pi 递增，步长 ≤ K。

在 [2, b+K] 内，S_K 相邻质数间隔 ≤ K。步长与间隔均 ≤ K，序列 {ri} 必在有限步内命中 S_K 中某质数。

故存在 ri ∈ S_K，2n = pi + ri。证毕。

三、全域递推

定理2 所有 ≥ 4 的偶数均可表为两质数之和。

证明：

全体大间隔右端点构成无穷序列 b1 < b2 < ...。

对每个 bi，定理1保证其覆盖 [4, 2bi]。相邻右端点间的偶数已被前一个 bi 覆盖。

沿此序列递推，所有偶数均被覆盖。证毕。

四、结论

本文以大间隔右端点为锚点，后补恰好 K 个连续质数，正向构造覆盖集合，沿右端点序列递推至无穷，完整证明哥德巴赫猜想成立。证毕。



哥德巴赫猜想成立，则弱哥德巴赫猜想自动成立。Q≥9为奇数，Q-3为≥6偶数，拆为两素数加3即得。