奇完全数存在吗 · 公开问题 28

问题

完全数等于自身真因子之和：6 = 1+2+3，28 = 1+2+4+7+14。欧几里得《原本》第九卷给出偶完全数的构造，欧拉补全了逆向刻画——偶完全数已全部认清。奇完全数是否存在，是数论中最古老的整体未解问题：两千三百年里包围圈收得极紧（超过 1500 位、至少 9 个不同素因子、特定同余类），却始终没有出口。

主要概念

因子和函数 σ

σ(n) = n 的全部正因子之和；n 完全 ⇔ σ(n) = 2n。σ 完全可乘（gcd(a,b) = 1 时 σ(ab) = σ(a)σ(b)），且 σ(p^e) = 1+p+⋯+p^e = (p^e+1−1)/(p−1)。完全数研究的一切都从这两条性质展开。

Euler 形式

任何奇完全数必形如 n = p^α·s²，其中素数 p ≡ α ≡ 1 (mod 4)——「唯一一个奇指数的素因子必须披着 1 mod 4 的外衣」。这是奇完全数理论的脊柱（命题 2），与偶情形的欧几里得–欧拉定理（命题 1）合璧，构成完全数世界的完整骨架。

主要命题与证明

命题 1（欧几里得–欧拉定理；完整证明）　偶数 n 完全当且仅当 n = 2^p−1(2^p−1)，其中 2^p−1 为素数。

证明　（欧几里得方向）设 N = 2^p−1 为素数。σ(2^p−1) = 2^p−1，σ(N) = N+1 = 2^p，两数互素，故 σ(2^p−1N) = (2^p−1)·2^p = 2·[2^p−1(2^p−1)] = 2n ✓。（欧拉方向）设 n 偶且完全：写 n = 2^km，m 奇，k ≥ 1。由可乘性：(2^k+1−1)σ(m) = σ(n) = 2^k+1m。gcd(2^k+1−1, 2^k+1) = 1，故 2^k+1−1 整除 m：记 N = 2^k+1−1，m = N^eu（e ≥ 1，gcd(u,N) = 1）。代回得 σ(m) = 2^k+1N^e−1u，而 2^k+1 = N+1，故 σ(m) = (N+1)N^e−1u = N^eu + N^e−1u = m + M，其中 M = m/N。关键一步：m 的因子包括 m 本身；若 M > 1，则 M 与 1 也是 m 的因子，且 N（素因子 ≥ 3）与 M 不同时为「M = N」之外的重复——逐一排查：M ≠ N 时因子 1, M, N, m 互异，σ(m) ≥ 1+M+N+m > m+M，矛盾；M = N 时 m = N²，因子 1, N, N² 给出 σ(m) = 1+N+N² = m+N+1 > m+M，矛盾。故 M = 1，即 m = N = 2^k+1−1，且 σ(m) = m+1 = 2^k+1。N 的因子只有 1 与 N（否则 σ(N) > N+1），故 N 为素数，n = 2^k(2^k+1−1)，令 p = k+1 即得。最后补一刀：2^p−1 为素数推出 p 为素数——若 p = ab（a,b > 1），则 2^a−1 整除 2^ab−1（因 x−1 | x^b−1，取 x = 2^a），矛盾。□

命题 2（Euler 形式；完整证明）　若奇完全数 n 存在，则 n = p^α·s²，素数 p ≡ 1 (mod 4) 且 α ≡ 1 (mod 4)。

证明　σ(n) = 2n 两边的 2-进赋值：右边 v₂(σ(n)) = v₂(2n) = 1（n 奇）。写 n = ∏q_i^e_i，σ(n) = ∏σ(q_i^e_i)。对奇 q，σ(q^e) = 1+q+⋯+e 项：e 偶时是奇数个奇数之和，为奇数；e 奇时为偶数。v₂(σ(n)) = 1 迫使恰有一个指数 e_i 为奇数（记该素数为 p，指数 α），且 v₂(σ(p^α)) = 1——而 α 为奇数。其余指数全偶，故 n = p^α·s²。剩证 p ≡ 1 (mod 4) 且 α ≡ 1 (mod 4)。用提升指数引理（LTE，q 奇、e+1 偶）：v₂(q^e+1−1) = v₂(q−1) + v₂(q+1) + v₂(e+1) − 1，于是

v₂(σ(q^e)) = v₂(q+1) + v₂(e+1) − 1　（e 奇）.

若 p ≡ 3 (mod 4)，则 v₂(p+1) ≥ 2，得 v₂(σ(p^α)) ≥ 2，与 v₂ = 1 矛盾。故 p ≡ 1 (mod 4)，v₂(p+1) = 1，于是 v₂(σ(p^α)) = v₂(α+1) = 1，即 α ≡ 1 (mod 4)。□

命题 3（现代包围圈；陈述）　Ochem–Rao（2012）：奇完全数若存在则 n > 10¹⁵⁰⁰；Nielsen 证明其不同素因子个数 ω(n) ≥ 9。另有 Touchard 定理：奇完全数必 n ≡ 1 (mod 12) 或 n ≡ 9 (mod 36)——负性条件的完整清单见 Guy 书 D 节。

说明　包围圈的方法论：命题 2 型的 Euler 形式给出「结构模板」，再对模板逐项施压（σ(p^α) 的素因子必须如何、ω 与 σ 比值的不等式如何互锁），每压一处就换算成对 n 的新下界。一切结果都是「若存在则如何如何」——证明不存在需要一条全新的原理。□

进展与文献

欧几里得《原本》IX.36（欧几里得方向）；Euler, Commentationes arithmeticae（欧拉方向）；Touchard 定理见 Holdener 的整理；Ochem–Rao, Math. Comp. 81 (2012)；Nielsen, Integers (2007) 与后续改进。系统综述见 Guy《Unsolved Problems in Number Theory》B1 与 Dris 的奇完全数工作目录。姊妹问题：拟完全数（σ = 2n+1）、多功能数与 Odd multiperfect 数的搜索仍在进行。