$a^n - 1$ 的最大素因子下界估计综述

作者： 一个综述

摘要

本文旨在综述关于 $a^n - 1$ 形式整数的最大素因子下界估计的研究进展，其中 $a \ge 2$ 和 $n \ge 1$ 均为整数。我们将探讨从经典的 Zsigmondy 定理到基于 Baker 理论（对数线性形式）的现代显式下界，并讨论 ABC 猜想在这一问题上的深刻蕴涵。

目录

• 1. 引言
• 2. 早期经典结果：Zsigmondy 定理
• 3. 与分圆多项式的联系
• 4. 基于对数线性形式的下界
  • 4.1 Baker 理论的应用
  • 4.2 Stewart 的工作
• 5. 条件性结果与猜想
  • 5.1 ABC 猜想的推论
• 6. 总结与展望
• 参考文献

1. 引言

对于一个整数 $m \> 1$，我们用 $\mathrm{P}(m)$ 表示 $m$ 的最大素数因子。例如，$\mathrm{P}(100) = \mathrm{P}(2^2 \cdot 5^2) = 5$。研究特定形式整数序列的最大素因子是一个古老而核心的数论问题。本文关注的是序列 $a^n - 1$，其中 $a \ge 2$ 是一个固定的整数底。

这个问题有着悠久的历史，它与数论中的许多领域紧密相关，包括本原素因子（Primitive Prime Divisors）的存在性、分圆多项式（Cyclotomic Polynomials）的性质以及丢番图逼近（Diophantine Approximation），特别是对数线性形式（Linear Forms in Logarithms）的理论。

我们的目标是找到一个尽可能“大”的、随 $n$ 增长的函数 $f(n, a)$，使得不等式

$\mathrm{P}(a^n - 1) \ge f(n, a)$

对所有（或除了少数例外之外）的 $n$ 都成立。

2. 早期经典结果：Zsigmondy 定理

对 $\mathrm{P}(a^n - 1)$ 的第一个非平凡下界估计来源于对“本原素因子”的研究。

一个素数 $p$ 如果满足 $p \mid (a^n - 1)$ 但对所有 $1 \le k < n$ 都不满足 $p \mid (a^k - 1)$，则称 $p$ 是 $a^n - 1$ 的一个 本原素因子 (Primitive Prime Divisor)。

定理 2.1 (Bang (1886) / Zsigmondy (1892))

设 $a \ge 2$ 和 $n \ge 1$ 为整数。$a^n - 1$ 至少有一个本原素因子，除非出现以下两种例外情况：

1. $a=2, n=6$。此时 $2^6 - 1 = 63 = 3^2 \cdot 7$。$\mathrm{P}(63)=7$。$7$ 是 $2^3-1$ 的因子，所以 $2^6-1$ 没有本原素因子。
2. $a \ge 2, n=2$，且 $a+1$ 是 $2$ 的幂。例如 $a=7, n=2$，$7^2-1=48=2^4 \cdot 3$。$\mathrm{P}(48)=3$，$3$ 是 $7^1-1=6$ 的因子。

Zsigmondy 定理有一个非常重要的推论。如果 $p$ 是 $a^n - 1$ 的一个本原素因子，那么 $a$ 在模 $p$ 下的阶 (order) 是 $n$。根据费马小定理，$a^{p-1} \equiv 1 \pmod{p}$，因此 $n \mid (p-1)$。这蕴含了 $p \equiv 1 \pmod{n}$，所以 $p \ge n+1$。

推论 2.2 (Zsigmondy 定理的推论)

如果 $a \ge 2, n \ge 1$，且 $(a, n) \ne (2, 6)$ 且 $n \ne 2$ 且 $a+1$ 不是 $2$ 的幂，则

$\mathrm{P}(a^n - 1) \ge n+1$

这个线性下界 $n+1$ 是第一个重要的里程碑。

3. 与分圆多项式的联系

对 $\mathrm{P}(a^n - 1)$ 的研究与 $n$ 次分圆多项式 $\Phi\_n(x)$ 紧密相关。我们有分解：

$a^n - 1 = \prod_{d \mid n} \Phi_d(a)$

$a^n - 1$ 的本原素因子 $p$ 必定整除 $\Phi_n(a)$。因此，研究 $\mathrm{P}(a^n - 1)$ 的问题在很大程度上可以转化为研究 $\mathrm{P}(\Phi_n(a))$ 的问题。
Rotkiewicz (1963) 改进了推论 2.2 的结果，证明了：

定理 3.1 (Rotkiewicz (1963))

除少数例外情况外，如果 $n > 2$，则 $\Phi_n(a)$ 至少有一个本原素因子 $p$ 满足 $p \ge 2n+1$。因此，

$\mathrm{P}(a^n - 1) \ge \mathrm{P}(\Phi_n(a)) \ge 2n+1$

这表明 $\mathrm{P}(a^n - 1)$ 至少以 $2n$ 的速率线性增长。

4. 基于对数线性形式的下界

4.1 Baker 理论的应用

在 20 世纪 60 年代，Alan Baker 在超越数理论领域取得了革命性 breakthrough，他给出了对数线性形式 (Linear Forms in Logarithms) 的非平凡有效下界。Baker 理论为许多丢番图问题（包括 $\mathrm{P}(a^n - 1)$ 的下界问题）提供了强大的新工具。

Schinzel (1974) 首次应用 Baker 方法，证明了一个超线性 (superlinear) 的下界，表明 $\mathrm{P}(a^n - 1)$ 的增长速度快于 $n$ 的任意常数倍。

4.2 Stewart 的工作

C. L. Stewart 在这一领域做出了奠基性的贡献。他利用对数线性形式的最新进展，不断改进 $\mathrm{P}(a^n - 1)$（或 $\mathrm{P}(\Phi_n(a))$）的下界。

定理 4.1 (Stewart (1977))

存在一个正常数 $C$，使得对所有 $n \> 2$（除了可能的例外 $n=3$），

$\mathrm{P}(a^n - 1) \ge \mathrm{P}(\Phi_n(a)) \> C \frac{n \log n}{\log \log n}$

这个结果不仅是超线性的，而且是 有效 (effective) 的，意味着常数 $C$ 和例外的范围都可以原则上被计算出来。这也一举证实了 Erdős 的一个猜想，即 $\mathrm{P}(a^n - 1) / n \to \infty$ 随着 $n \to \infty$。

在随后的几十年里，随着对数线性形式下界估计的定量改进（例如 Matveev (2000) 的工作），Stewart 和其他学者（如 Bugeaud, Mignotte, Roy）得以给出更精确的显式下界。

定理 4.2 (Stewart (2013))

存在一个可有效计算的常数 $n_0$，使得对于所有 $n > n_0$（且 $a \ge 2$），

$\mathrm{P}(a^n - 1) \ge \mathrm{P}(\Phi_n(a)) \> n \exp\left( \frac{\log n}{104 \log \log n} \right)$

这是目前已知的最好的 无条件 (unconditional) 显式下界。它表明 $\mathrm{P}(a^n - 1)$ 的增长速度不仅是超线性的，而且比 $n (\log n)^k$ 对任意固定的 $k$ 都要快。

5. 条件性结果与猜想

5.1 ABC 猜想的推论

尽管 Baker 理论给出的下界已经非常强大，但它与数论学家们普遍相信的“真相”之间仍有巨大鸿沟。这种差距在 ABC 猜想的推论中体现得淋漓尽致。

ABC 猜想（由 Masser 和 Oesterlé 在 1980 年代提出）粗略地讲，如果三个互素整数 $A, B, C$ 满足 $A+B=C$，那么 $C$ 的大小受到 $A, B, C$ 素因子之积（即 $\text{rad}(ABC)$）的严格限制。

猜想 5.1 (ABC 猜想)

对于任意 $\epsilon \> 0$，存在一个仅依赖于 $\epsilon$ 的常数 $K\_{\epsilon}$，使得对于任意满足 $A+B=C$ 且 $\gcd(A, B, C)=1$ 的正整数 $A, B, C$，都有

$C < K_{\epsilon} \cdot \left( \text{rad}(ABC) \right)^{1+\epsilon}$

其中 $\text{rad}(m) = \prod_{p \mid m} p$ 是 $m$ 的素因子之积。

我们可以将 ABC 猜想应用于等式 $(a^n - 1) + 1 = a^n$。设 $A = a^n - 1, B = 1, C = a^n$。它们互素。
根据 ABC 猜想，

$a^n < K_{\epsilon} \cdot \left( \text{rad}((a^n - 1) \cdot 1 \cdot a^n) \right)^{1+\epsilon} = K_{\epsilon} \cdot \left( \text{rad}(a^n - 1) \cdot \text{rad}(a) \right)^{1+\epsilon}$

令 $P = \mathrm{P}(a^n - 1)$。我们知道 $\text{rad}(a^n - 1) = \prod_{p \mid a^n-1} p$。这个乘积中的所有素数都 $\le P$。因此，$\text{rad}(a^n - 1) \le \prod_{p \le P} p = e^{\theta(P)}$，其中 $\theta(P)$ 是 Chebyshev 函数。根据素数定理，$\theta(P) \sim P$。
因此，$\text{rad}(a^n - 1) \le e^{(1+o(1))P}$。
代入 ABC 不等式：

$a^n < K_{\epsilon} \cdot \left( \text{rad}(a) \cdot e^{(1+o(1))P} \right)^{1+\epsilon}$

两边取对数：

$n \log a < (1+\epsilon) \log(\text{rad}(a)) + (1+\epsilon)(1+o(1))P + \log K_{\epsilon}$

由于 $a$ 是固定的，$\log(\text{rad}(a))$ 和 $\log K_{\epsilon}$ 都是常数。$\epsilon$ 可以任意小。这表明 $P$ 必须至少与 $n$ 呈线性关系，即 $P > C n$.
这个简单的应用只得到了线性下界，这比我们已知的无条件结果还要弱。然而，通过更精细的论证（例如 Vojta 和 Silverman 的工作），ABC 猜想可以导出强得多的结论。

定理 5.2 (ABC 猜想的推论)

假设 ABC 猜想成立。那么对于任意 $\epsilon \> 0$，存在一个常数 $C_{\epsilon, a}$ 使得

$\mathrm{P}(a^n - 1) > C_{\epsilon, a} \cdot n^{2 - \epsilon}$

这是一个 多项式 级别的下界，其强度远远超过了目前已知的任何无条件结果。

6. 总结与展望

我们总结一下 $\mathrm{P}(a^n - 1)$ 下界估计的发展脉络：

1. 经典结果 (Zsigmondy): $\mathrm{P}(a^n - 1) \ge n+1$ （线性）。
2. 改进的经典结果 (Rotkiewicz): $\mathrm{P}(a^n - 1) \ge 2n+1$ （线性）。
3. 无条件现代结果 (Stewart, 2013): $\mathrm{P}(a^n - 1) > n \exp\left( \frac{\log n}{104 \log \log n} \right)$ （超线性，但弱于 $n^{1+\epsilon}$）。
4. 条件性结果 (ABC 猜想): $\mathrm{P}(a^n - 1) > C n^{2-\epsilon}$ （多项式）。

当前最好的无条件结果（定理 4.2）和基于 ABC 猜想的条件性结果之间存在巨大的鸿沟。填补这一鸿沟——即无条件地证明 $\mathrm{P}(a^n - 1)$ 的多项式下界（例如 $\mathrm{P}(a^n - 1) > C n^{1.1}$）——是数论中一个重大且极具挑战性的开放问题。

参考文献

[1] Baker, A. (1990). Transcendental Number Theory. Cambridge University Press.

[2] Rotkiewicz, A. (1963). O liczbach $a^n \pm b^n$ (On the numbers $a^n \pm b^n$). Prace Mat. 7, 1-13.

[3] Schinzel, A. (1974). Primitive prime factors of $a^n - b^n$. Acta Arithmetica, 25, 259-266.

[4] Stewart, C. L. (1977). Primitive prime divisors of $a^n - 1$. Proceedings of the Cambridge Philosophical Society, 82(2), 195-201.

[5] Stewart, C. L. (2013). On the greatest prime factor of $\Phi_n(a)$. Integers: Electronic Journal of Combinatorial Number Theory, 13, A71.

[6] Zsigmondy, K. (1892). Zur Theorie der Potenzreste. Monatshefte für Mathematik, 3(1), 265-284.