费马平方和定理

哪些整数可以写成两个平方数之和，是数论中一个典型的、彰显数学之美的问题。它始于一个简单的算术谜题，但很快揭示了素数、模算术和复平面之间的深刻联系。虽然初步的观察可以排除某些数，例如那些除以4余3的数，但这个检验并不完备，未能捕捉到全貌。完整的答案需要一次深刻的视角转变，从我们熟悉的整数世界转向结构更丰富的高斯整数世界。

本文将引导您完成这段引人入胜的旅程。在第一章“原理与机制”中，我们将揭示判断一个数是否为两数平方和的完整法则，并利用高斯整数及其独特的分解性质从头开始建立理论。随后，“应用与跨学科联系”一章将探讨该定理令人惊讶且影响深远的用途，展示它如何为现代计算提供工具，帮助解决其他数论问题，甚至描述量子力学中的物理现象并保障密码学中的数据安全。

数学中最美妙的一些思想，是那些能够连接看似无关的领域、揭示其背后隐藏统一性的思想。哪些数可以写成两个整数平方和的问题就是一个完美的例子。这个最初只是一个简单算术好奇心的问题——我能把5写成 $a^2+b^2$ 吗？可以，$1^2+2^2$。那7呢？不行，无论你怎么尝试——最终展开成一个涉及素数、模算术以及进入复数世界的壮丽叙事。

让我们像任何优秀的科学家一样，从摆弄数字和寻找规律开始我们的研究。我们想知道哪些整数 $n$ 可以表示为 $n = a^2 + b^2$。

这里的基本构成要素是什么？是平方数。让我们看看它们的行为。任何整数不是偶数就是奇数。

• 如果一个数 $x$ 是偶数，比如说 $x=2k$，它的平方是 $x^2 = (2k)^2 = 4k^2$。这是一个4的倍数。
• 如果一个数 $x$ 是奇数，比如说 $x=2k+1$，它的平方是 $x^2 = (2k+1)^2 = 4k^2+4k+1 = 4(k^2+k)+1$。这个数除以4余1。

用模算术的语言来说，这意味着任何完全平方数模4同余于0或1。 $x^2 \equiv 0 \pmod{4} \quad \text{or} \quad x^2 \equiv 1 \pmod{4}$

那么，两个平方数之和 $a^2+b^2$ 呢？我们可以检查它们除以4可能得到的余数：

• 如果 $a$ 和 $b$ 都是偶数，则 $a^2+b^2 \equiv 0+0 \equiv 0 \pmod{4}$。
• 如果一个是偶数一个是奇数，则 $a^2+b^2 \equiv 0+1 \equiv 1 \pmod{4}$。
• 如果两者都是奇数，则 $a^2+b^2 \equiv 1+1 \equiv 2 \pmod{4}$。

看看少了什么！没有任何平方数的组合相加后模4同余于3。这给了我们一个强大而简单的规则：​​一个整数如果除以4余3，那么它永远不能被写成两个平方数之和​​。

这是极好的一步。我们可以立即排除无限多个数：3、7、11、15、19、23，等等。例如，如果你被问到199是否可以写成两个平方数之和，你不需要检查每一种可能性。你只需注意到 $199 = 4 \times 49 + 3$，所以它的余数是3，答案是确定无疑的“否”。

但这就是全部了吗？如果一个数模4不同余于3，它就总是两个平方数之和吗？让我们来检验一下。数字6除以4余2。它是两个平方数之和吗？$1^2+1^2=2$， $1^2+2^2=5$， $2^2+2^2=8$。不是。数字21除以4余1。它是两个平方数之和吗？不是。我们简单的测试是一个必要条件，但不是充分条件。这背后还有一个更深层次的结构。

为了找到完整的答案，我们必须进行一次想象力的飞跃，这个飞跃曾困扰了数学家们几个世纪，直到伟大的 Carl Friedrich Gauss 提供了钥匙。表达式 $a^2+b^2$ 对于任何接触过复数的人来说应该都很熟悉。它是复数 $z=a+bi$ 的模长的平方，也就是​​范数​​。

让我们定义一个新的数集，我们称之为​​高斯整数​​，记作 $\mathbb{Z}[i]$。它们就是实部和虚部都是整数的复数： $\{a+bi \mid a,b \in \mathbb{Z}\}$。这个集合表现得非常优美；你可以对高斯整数进行加、减、乘运算，结果总会是另一个高斯整数。它构成了一个数学家称之为​​环​​的结构。

对于任何高斯整数 $\alpha = a+bi$，其范数为 $N(\alpha) = a^2+b^2$。我们最初的问题“哪些整数 $n$ 是两个平方数之和？”现在可以在这个新世界中重新表述为：​​“哪些整数 $n$ 是某个高斯整数的范数？”​​

这似乎只是语言上的改变，但它是一种深刻的视角转变。它允许我们在这个新领域使用因式分解和素数的强大工具。

范数最优雅的性质之一是它的​​可乘性​​：对于任意两个高斯整数 $\alpha$ 和 $\beta$，它们乘积的范数等于它们范数的乘积。 $N(\alpha\beta) = N(\alpha)N(\beta)$

让我们看看这意味着什么。假设我们有两个数 $m$ 和 $n$，它们各自都是两个平方数之和。用我们的新语言来说，这意味着 $m=N(\alpha)$ 和 $n=N(\beta)$，其中 $\alpha=a+bi$ 和 $\beta=c+di$ 是某个高斯整数。那么乘积 $mn$ 就是： $mn = N(\alpha)N(\beta) = N(\alpha\beta)$ 由于 $\alpha\beta$ 只是另一个高斯整数，它的范数也必然是两个平方数之和！让我们来计算乘积 $\alpha\beta$： $\alpha\beta = (a+bi)(c+di) = (ac-bd) + i(ad+bc)$ 这个乘积的范数是： $N(\alpha\beta) = (ac-bd)^2 + (ad+bc)^2$ 所以我们发现 $mn = (ac-bd)^2 + (ad+bc)^2$。这个被称为​​婆罗摩笈多-斐波那契恒等式​​的奇妙公式表明，可以写成两个平方数之和的数集在乘法下是封闭的。例如，由于 $5=1^2+2^2$ 和 $13=2^2+3^2$ 都是两数平方和，它们的乘积 $65$ 也必定是。使用公式，令 $a=1, b=2, c=2, d=3$，我们得到 $65 = (1\cdot2-2\cdot3)^2 + (1\cdot3+2\cdot2)^2 = (-4)^2+7^2 = 16+49=65$。

这个性质非常强大。它告诉我们，要理解哪些合数是两数平方和，我们首先需要理解其基本构成部分：素数。

就像我们可以将整数12分解为其素因子 $2^2 \times 3$ 一样，我们也可以将高斯整数分解为​​高斯素数​​。高斯素数是指不能分解为两个非单位高斯整数之积的高斯整数。（单位元仅为 $\{\pm 1, \pm i\}$，即范数为1的数）。

我们整个谜题的关键在于，当我们把一个来自 $\mathbb{Z}$ 的普通素数放到 $\mathbb{Z}[i]$ 的世界里看待时，它会发生什么。事实证明，一个有理素数会面临三种命运之一：

1. ​​分歧（素数2的情况）：​​ 素数2是特殊的。在 $\mathbb{Z}[i]$ 中，它分解为 $2 = (1+i)(1-i)$。由于 $1-i = -i(1+i)$，这两个因子本质上是相同的（它们是相伴元）。数字2“分歧”成一个平方素因子（在单位元意义下）。这个分解立即给出了它作为两数平方和的表示：$N(1+i) = 1^2+1^2=2$。

2. ​​分裂（形如 $4k+1$ 的素数）：​​ 形如 $4k+1$ 的素数 $p$（如5、13、17、29）在高斯整数中总是不再是素数。它会​​分裂​​成两个不同的、共轭的高斯素数之积：$p = \pi \cdot \overline{\pi}$。例如：

   • $5 = (2+i)(2-i)$
   • $13 = (3+2i)(3-2i)$ 如果我们对这个方程取范数，我们得到 $N(p) = p^2 = N(\pi) N(\overline{\pi})$。由于高斯素数 $\pi = a+bi$ 的范数必须大于1，且 $N(\pi) = N(\overline{\pi}) = a^2+b^2$，这迫使 $N(\pi)=p$。答案就在这里！在 $\mathbb{Z}[i]$ 中分裂这个行为本身就意味着该素数是某个高斯整数的范数，因此 $p = a^2+b^2$。这种情况当且仅当 $p \equiv 1 \pmod 4$ 时发生。

3. ​​惰性（形如 $4k+3$ 的素数）：​​ 形如 $4k+3$ 的素数 $p$（如3、7、11、19）保持​​惰性​​。它在 $\mathbb{Z}[i]$ 中不分解；在这个新世界里它仍然是素数。如果这样一个素数是两数平方和，比如说 $p=a^2+b^2$，那么它必须能分解为 $p=(a+bi)(a-bi)$，这与其惰性相矛盾。这就为我们最初通过模4测试观察到的规律提供了深刻的、结构性的原因。

我们现在可以将所有部分组合起来，陈述完整而优美的平方和定理。

一个正整数 $n$ 可以写成两个平方数之和，当且仅当在其素数分解中，​​每个形如 $4k+3$ 的素数因子都以偶数次幂出现​​。

让我们看看为什么这必须是真的。假设一个整数 $n$ 可以写成两个平方数之和，即 $n = a^2+b^2$。在高斯整数环中，这表示为 $n = (a+bi)(a-bi)$。设 $q$ 是 $n$ 的一个形如 $4k+3$ 的素数因子。正如我们所见，这样的素数是惰性的——它们在 $\mathbb{Z}[i]$ 中仍然是素数。由于 $q$ 整除乘积 $(a+bi)(a-bi)$ 并且它本身是一个高斯素数，它必须整除其中一个因子。假设 $q$ 整除 $a+bi$。这意味着存在某个高斯整数 $c+di$，使得 $a+bi = q(c+di)$。因此，$a=qc$ 且 $b=qd$。这表明 $q$ 必须同时整除 $a$ 和 $b$。因此，$q^2$ 必须同时整除 $a^2$ 和 $b^2$，所以 $q^2$ 必须整除它们的和 $n = a^2+b^2$。然后我们可以写出 $n/q^2 = (a/q)^2+(b/q)^2$，这是一个更小的、同样是两数平方和的数。我们可以重复这个论证，不断除以 $q^2$ 的因子，直到 $q$ 的因子不再存在。这意味着，如果我们从 $n$ 的素数分解开始，任何形如 $4k+3$ 的素因子 $q$ 都必须成对出现，因此它的总指数必须是偶数。

2和形如 $4k+1$ 的素数的指数可以是任意的。它们本身已经是两数平方和，并且由于婆罗摩笈多-斐波那契恒等式，它们的乘积也是。

让我们用我们之前的反例来检验一下，$n=6=2 \times 3$。素因子3是形如 $4k+3$ 的，它的指数是1（奇数）。所以6不能是两数平方和。那 $n=18=2 \times 3^2$ 呢？这里，素数3以指数2（偶数）出现。该定理预测它是一个两数平方和，事实也确实如此：$18 = 3^2+3^2$。

这个定理不仅仅是一条规则；它是通往数字深层结构的一扇窗。两个平方相加这个简单问题，将我们引向一个隐藏的高斯整数世界，在那里，素数的行为以一种既令人惊讶又具有深刻逻辑性的方式揭示了答案。从一个简单的模式到一个深刻的结构性解释的旅程，正是数学之美的精髓所在。值得注意的是，这些表示的性质并非随机。对于一个素数 $p \equiv 1 \pmod 4$，它作为两数平方和的表示在本质上是唯一的。将任何整数 $n$ 写成两数平方和的方法数，可以通过一个涉及其因数的公式精确计算出来——这证明了整数内部隐藏着惊人的秩序。

在体验了高斯整数的优雅机制和费马定理“当且仅当”的精确性之后，人们可能会倾向于将两数平方和问题视为广阔数学海洋中一个美丽但自成一体的岛屿。但事实远非如此。这个看似简单的问题不是终点，而是一个十字路口，一个来自看似迥异的科学和数学领域的道路以最意想不到和令人愉快的方式汇合的地方。要欣赏一个思想的真正力量，我们必须看它能做什么。那么，让我们来探索这个定理深远的影响和惊人的应用，看看它如何帮助我们计数、计算、加密，甚至理解宇宙的基本振动。

该定理告诉我们哪些数可以写成两数平方和，但它没有立即给我们平方数本身。我们如何为一个像 $p=65537$ 这样巨大的素数找到 $a$ 和 $b$ 呢？这个实际问题将我们从纯粹存在性的领域带到了算法和计算的世界。

理论本身提供了蓝图。自然产生于高斯整数中范数乘法性质的婆罗摩笈多-斐波那契恒等式，为我们提供了一个构造的配方。如果我们知道两个数的表示，比如 $n_1 = a^2+b^2$ 和 $n_2 = c^2+d^2$，我们只需将相应的高斯整数 $a+bi$ 和 $c+di$ 相乘，然后取结果的范数，就可以找到它们的乘积 $n_1 n_2$ 的表示。这使我们能够从素数因子的表示构建出合数的表示。

对于素数因子本身，与高斯整数的联系是我们的指南。一个素数 $p \equiv 1 \pmod 4$ 在 $\mathbb{Z}[i]$ 中是可约的，这一事实是关键。在这个更大的环中找到 $p$ 的因子等价于找到这两个平方数。这可以通过构造性方法完成：首先找到 $x^2 \equiv -1 \pmod p$ 的一个解，然后利用 $\mathbb{Z}[i]$ 中的欧几里得算法计算 $p$ 和 $x+i$ 的最大公约数。这个最大公约数将是一个高斯整数，其实部和虚部（在符号意义下）就是我们寻求的数。令人惊奇的是，这个过程可以转化为一个高效的、纯粹基于整数的程序，称为Cornacchia算法，该算法在常规整数上使用我们熟悉的欧几里得算法来提取所需的平方数，从而在抽象代数和实际计算之间架起了一座桥梁。

两数平方和定理不是一个孤立的结果；它是解决其他数论问题的重要工具。考虑将一个数表示为三个平方和的问题。Legendre的三平方和定理给出了一个完整的答案：一个数 $n$ 可以写成 $x^2+y^2+z^2$ 当且仅当它不是 $4^k(8m+7)$ 的形式。

如何找到这样的表示呢？一种自然的方法是尝试将问题简化为我们已经知道如何解决的问题。我们可以将方程重写为 $n - z^2 = x^2+y^2$。对于一个给定的 $n$，我们的任务就变成了一个搜索：我们能找到一个整数 $z$，使得剩下的部分 $n-z^2$ 是一个可以写成两数平方和的数吗？我们从费马定理中得到了一个完整而有效的检验方法。对于某些数，比如 $n=2023$，这个搜索将总是失败。一个巧妙的利用模8算术的论证表明，对于任何 $z$ 的选择，$2023-z^2$ 永远不可能是两数平方和。对于其他数，比如 $n=2026$，搜索保证成功，我们能找到像 $2026 = 1^2 + 45^2 + 0^2$ 这样的表示。在解决三平方和问题的大算法中，两数平方和定理成了一个必不可少的子程序。

也许最令人叹为观止的联系在于谱几何领域，它提出了一个由 Mark Kac 提出的著名问题：“能听出鼓的形状吗？” 这个领域研究物体的几何形状与其可以振动的频率之间的关系。这些特征频率是一个基本物理算子——拉普拉斯算子——的特征值。

让我们想象一个非常奇特的鼓：一个二维平环面，你可以把它想象成一个方形的视频游戏屏幕，移出右边界会从左边重新出现，移出上边界会从下边重新出现。在物理学中，这可以代表一个生活在小型周期性盒子里的粒子的宇宙。这个粒子的可能量子能级，或者等效地说，这个环面能产生的“纯音”是什么？

答案是惊人的。特征值（决定能级）都是 $\lambda_n = 4\pi^2 n$ 的形式，其中 $n$ 是一个非负整数。但并非每个 $n$ 都会产生一个特征值。一个值 $n$ 对应一个允许的能级，当且仅当它可以写成两个整数平方之和，即 $n=k_1^2 + k_2^2$。此外，该能级的多重性或简并度——即共享相同能量的不同量子态的数量——恰好是 $r_2(n)$，也就是将 $n$ 写成两数平方和的方式数（计算顺序和符号）。

所以，对于一个素数 $p \equiv 1 \pmod 4$，对应于 $n=p$ 的能级的多重性为8，因为我们发现恰好有八种表示（例如，对于 $p=5=1^2+2^2$，这些对是 $(\pm 1, \pm 2)$ 和 $(\pm 2, \pm 1)$）。相比之下，对于一个素数 $q \equiv 3 \pmod 4$，对应于 $n=q$ 的能级是被禁止的；它的多重性为零。我们关于整数表示的抽象数论问题，变成了一个关于量子系统中允许能量的物理陈述。整数的结构决定了宇宙的音乐。

故事又有了新的转折，将我们引向现代信息安全的前沿。椭圆曲线密码学是保护我们金融交易和数字通信的系统的基石。这些系统的安全性依赖于在有限域上定义的椭圆曲线上的某些问题的数学难度。

有限域 $\mathbb{F}_p$ 上椭圆曲线的一个基本性质是其上的点数。这个点数由一个称为弗罗贝尼乌斯迹的整数 $a_p$ 控制。对于一类具有“复乘”性质的特殊曲线，这个迹与数论有着深刻的联系。考虑曲线 $E_{-1}: y^2 \equiv x^3 - x \pmod p$。事实证明，它的弗罗贝尼乌斯迹 $a_p$ 与素数 $p$ 的两数平方和表示密切相关。

如果 $p \equiv 3 \pmod 4$，迹很简单，就是 $a_p=0$。但如果 $p \equiv 1 \pmod 4$，我们必须首先将 $p$ 写成 $p = a^2+b^2$。在特定约束下使 $a$ 和 $b$ 的选择唯一（例如，$a$ 是奇数，$b$ 是偶数，且 $a+b \equiv 1 \pmod 4$）之后，迹由一个极其简洁的公式给出：$a_p = -2a$。对于著名的费马素数 $p=65537$，我们有表示 $65537 = 1^2+256^2$。符合条件的 $a$ 的唯一选择是 $a=1$，这导致迹为 $a_p = -2$。这意味着曲线上的点数是 $p+1-a_p = 65537+1-(-2) = 65540$。能够找到平方和表示的分量不仅仅是一个数学练习；它是理解现代密码学核心对象性质的关键部分。

计算我们表示方式数的函数 $r_2(n)$ 是不规律的。当 $n=3$ 时它为 $0$，当 $n=5$ 时为 $8$，当 $n=6$ 时为 $0$，当 $n=7$ 时为 $0$，当 $n=8$ 时为 $4$。这些值毫无明显规律地跳动。面对这样的混乱，数学家可能会问一个不同类型的问题：它的平均行为是怎样的？如果我们取一个非常大的数 $N$，并将从 $k=1$ 到 $N$ 的所有 $r_2(k)$ 值相加，那么平均值 $\frac{1}{N}\sum_{k=1}^N r_2(k)$ 会是什么样子？

答案要用解析数论的强大工具来找到，特别是爱泼斯坦Zeta函数，它将所有关于 $r_2(k)$ 的信息打包进一个函数 $Z_2(s) = \sum_{k=1}^\infty \frac{r_2(k)}{k^s}$。一个被称为陶伯定理的深刻结果将系数的平均值与该函数在其奇点附近的行为联系起来。分析揭示了一个极具美感的结果：

一个整数可以写成两个平方数之和的平均方式数是 $\pi$！一个始于离散整数和整数平方的探究，最终将我们引向了几何学中最著名的超越数，即圆的周长与其直径之比。很难想象还有比这更能震撼地证明数学背后隐藏的统一性了。

从具体的算法到物理学的抽象和谐，再到我们数字世界的安全，两数平方和定理是一个光辉的典范，展示了一个简单、优雅的思想如何向外涟漪，将不同思想领域的景观统一成一幅美丽而和谐的织锦。