布罗卡德问题 · 公开问题 27

问题

布罗卡德（Brocard, 1876/1885）问：方程

n! + 1 = m²

是否只有三组解 n = 4, 5, 7？对应 4!+1 = 25 = 5²、5!+1 = 121 = 11²、7!+1 = 5041 = 71²。问题看似轻巧——左边是阶乘，右边是平方——却一百四十年纹丝不动，是「陈述最简、手段最贫」的典范之一。

主要概念

因式分解视角

m² − 1 = (m−1)(m+1) = n!：方程等价于把 n! 分解成相差 2 的两个因子之积。当 n ≥ 4 时 n! 含因子 8，m 必为奇数，m−1 与 m+1 是相邻偶数——问题变成「阶乘能否写成两个相邻偶数之积」。这一视角把它与阶乘的因子结构（p-进赋值、Chebyshev 函数 θ(n) = Σ_{p ≤ n} log p）绑在一起。

与 Wilson 定理的关系

Wilson 定理断言 (p−1)! ≡ −1 (mod p) 当且仅当 p 素。布罗卡德方程要求更强的「阶乘加一恰为平方」，其素数情形 (p−1)!+1 = m² 会给出一类「平方级 Wilson 反例」——它与 Wilson 商 W_p = ((p−1)!+1)/p 的二次剩余性质相关，是 Wilson 型算术的加强形式。

主要命题与证明

命题 1（三组解的完整验算）　n = 4, 5, 7 时 n!+1 为完全平方数。

验算　4! = 24，24+1 = 25 = 5² ✓；5! = 120，120+1 = 121 = 11² ✓；7! = 5040，5040+1 = 5041 = 71² ✓（71² = 5000+2·71+... 精确为 71×71 = 5041 ✓）。有趣的是 71 也是 2⁷+17³ = 71²（问题 21）的底角——两个悬而未决的问题共享同一个数，纯属巧合而令人过目难忘。□

命题 2（abc 推出解有限；完整推导）　若 abc 猜想成立（问题 18），则布罗卡德方程只有有限多组解。取 ε = 1/2 时更具体：第四组解若存在，必属于 abc 的有限例外集。

证明　设 n ≥ 4 为一组解，对三元组 (a, b, c) = (n!, 1, m²) 应用 abc（ε = 1/2）：若它不是例外三元组，则 m² ≤ rad(n!·m²)^3/2。计算根积：rad(n!) = ∏_{p ≤ n} p = e^θ(n)，Chebyshev 经典估计 θ(n) < n log 4，故 rad(n!) < 4ⁿ；又 rad(m²) = rad(m) ≤ m。于是

m² ≤ (4ⁿ·m)^3/2 = 4^3n/2·m^3/2　⇒　m^1/2 ≤ 2^3n/2　⇒　m ≤ 2³ⁿ = 8ⁿ.

另一方面方程给出 n! = m²−1 < m²，而 Stirling 下界 n! ≥ (n/e)ⁿ 联立得 (n/e)ⁿ < m² ≤ 8²ⁿ，取对数：n(log n − 1) < 2n log 8 = 6n log 2，约去 n：

log n < 1 + 6 log 2 ≈ 5.16　⇒　n < e^5.16 ≈ 174.

结论：任何 n > 174 的解必是 abc 的例外三元组，而 abc 保证例外三元组只有有限多个——故解有限。（数值搜索已排除 n ≤ 10⁹，故在 abc 之下，除已知三组外再无他解。）□

命题 3（无条件下界；陈述）　穷举计算（Berndt 等）证明第四组解若存在则 n > 10⁹。无条件理论界方面，连「n 趋于无穷时解有限」都未证明——abc 是目前唯一能把命题 2 的有限性「接上地气」的桥梁。

说明　问题的顽固之处：可用的无条件工具（模算术、p-进估计）对「阶乘的完整平方性」毫无杠杆——n! 的素因子结构由 n 以下的全部素数决定，几乎不含任何刚性同余信息可被 m² 反向锁定。凡此类「结构过少、自由度过多」的方程，abc 型的根积不等式是唯一已知的切割工具。□

进展与文献

Brocard 原始提问（1876，Nouvelle Correspondence Mathématique；1885 重提）；Berndt–Galway 等的数值搜索（10⁹ 界）；abc 推论见 Granville 的 abc 综述中的布罗卡德条目。相关问题： Wilson 素数（(p−1)! ≡ −1 mod p²，问题 44 的姊妹现象）、Ljungstrand 方程 n!+1 = m² 的变体（含 n!+1 = m²·k 型计数）见 Erdős–Selfridge 关于「连乘与幂」的经典定理——后者证明了两个以上连续整数之积不是幂，是本问题最近的「已证邻居」。