Ramanujan-Nagell theorem：平方数与 2^n 相差 7 的有限性

Ramanujan-Nagell theorem 研究的是一个看起来非常小的指数丢番图方程：

$$x^2+7=2^n.$$

它的结论是整数解只有有限个，而且正整数解恰好为

$$(x,n)=(1,3),(3,4),(5,5),(11,7),(181,15).$$

1. 初等筛选

先看奇偶性。若 $x$ 为偶数，则左边 $x^2+7$ 为奇数，不可能等于 $2^n$；所以 $x$ 必为奇数。再看模 $8$，奇数平方恒为 $1$，所以 $x^2+7\equiv0\pmod 8$，这只说明 $n\ge3$，但已经排除了很多无意义情形。

2. 代数数论中的分解

真正有力的观察是把方程写成

$$(x+\sqrt{-7})(x-\sqrt{-7})=2^n.$$

在 $\mathbb Q(\sqrt{-7})$ 的整数环中，$2$ 可以分解成两个共轭因子。由于这个二次域的类数很小，理想层面的分解可以被提升为元素层面的约束，于是 $x+\sqrt{-7}$ 必须接近某个基本元素的 $n$ 次幂。

3. Lucas 序列的出现

把共轭相减，得到的不是任意等式，而是一个 Lucas 型序列项必须等于很小的数：

$$\frac{\alpha^n-\bar\alpha^n}{\alpha-\bar\alpha}=\pm 1\quad\text{or}\quad \pm 7.$$

这种递推序列增长很快，同时在模意义下有强限制。少数小 $n$ 需要直接检查，大 $n$ 则被递推结构和同余条件排除。

4. 为什么这条定理有代表性

这类问题的典型形状是：初等同余给出粗过滤，二次域分解给出结构，最后用 Lucas 序列或线性形式估计把无限可能压成有限检查。Ramanujan-Nagell 方程的漂亮之处在于，所有这些工具都集中在一个非常短的公式里。