两数平方和定理

哪些整数可以写成两个完全平方数的和？这个源于数论早期历史的简单问题，提出了一个奇妙的谜题。虽然像 5 ($2^2+1^2$) 和 8 ($2^2+2^2$) 这样的数可以，但像 3 和 6 这样的数却顽固地拒绝合作。这种不一致性暗示着背后存在一种更深层次的、隐藏的结构，决定了哪些数能以这种方式表示。最初的模式难以捉摸，简单的规则似乎不足以解释，这暗示着我们需要超越反复试验的方法来弥补知识上的差距。

本文将踏上一段旅程，揭开这个数学之谜。它不仅会陈述两数平方和问题的最终定理，还将从头开始构建理解该定理所需的概念工具。你将学到一个视角的转变如何揭示数学不同领域之间深刻而美丽的联系。第一章“原理与机制”将引导你了解其核心逻辑，并介绍高斯整数这一强大的框架，它将彻底改变这个问题。随后，“应用与跨学科联系”一章将展示这个看似抽象的定理如何产生深远的影响，在计算机科学、抽象代数和数学物理等不同领域中回响。

那么，我们面临着这个来自数学童年时期的迷人问题：哪些整数可以写成两个完全平方数的和？你可以自己试试。$1$ 很容易，$1=1^2+0^2$。$2$ 也很容易，$2=1^2+1^2$。但 $3$ 似乎不可能。接着，$4=2^2+0^2$，$5=2^2+1^2$。$6$ 和 $7$ 似乎又很顽固。但 $8=2^2+2^2$ 却可以。一个模式似乎潜伏在阴影中，但并非一目了然。有些数可以，有些数不行。为什么？为了解开这个谜团，我们不会只罗列事实；我们将像伟大的数学家们那样踏上一段旅程，并发现这个简单的问题是通往一幅壮丽数学思想图景的门户。

让我们像优秀的物理学家或数学家一样，更系统化一些。当面对一个涉及整数的谜题时，一个强有力的技巧是看它们在只关心被某个小数除后的余数时表现如何。让我们试试除以 $4$。这通常被称为“模 4 运算”。

一个平方数除以 4 可能的余数是什么？

• 如果整数 $x$ 是偶数，其形式为 $2k$。它的平方是 $(2k)^2 = 4k^2$，除以 $4$ 余 $0$。我们记为 $x^2 \equiv 0 \pmod{4}$。
• 如果整数 $x$ 是奇数，其形式为 $2k+1$。它的平方是 $(2k+1)^2 = 4k^2 + 4k + 1 = 4(k^2+k)+1$。这会余 $1$。所以，$x^2 \equiv 1 \pmod{4}$。

就是这样。任何平方数除以 4，余数必然是 0 或 1。那么，两个平方数之和呢，比如 $n=a^2+b^2$？我们只需将可能的余数相加：

• $0+0 = 0$
• $0+1 = 1$
• $1+0 = 1$
• $1+1 = 2$

所以，任何能表示为两数平方和的数，在除以 4 时，余数必然是 0、1 或 2。它永远不可能余 3。这给了我们一条强有力的“排除法则”。任何形如 $4k+3$ 的数都不能写成两个平方数之和。这立即解释了为什么 3、7、11、15、19、23 等数会出现在我们的“不可能”数列表中。

这是极好的第一步，但这并非全部。那数字 $6$ 呢？$6 \equiv 2 \pmod{4}$，所以它通过了我们的检验。然而，无论你怎么尝试，都找不到两个整数的平方和等于 6。我们的规则告诉我们哪些数不能是两数平方和，但它没有完全解释哪些数可以。要更深入地挖掘，我们需要一个新的视角，一个概念上的转变，从而在一个全新的光芒下揭示这个问题。

方程 $n = a^2 + b^2$ 有一种熟悉的感觉。它看起来像勾股定理。它也带有一丝复数的味道。伟大的 Carl Friedrich Gauss 发现，关键在于将这两个想法融合起来。他注意到我们可以使用虚数单位 $i = \sqrt{-1}$ 来分解这个表达式：

$n = a^2 + b^2 = (a+bi)(a-bi)$

突然之间，我们关于整数 $\mathbb{Z}$ 中平方和的问题，被转化为了在一个新的数集——​​高斯整数​​（记作 $\mathbb{Z}[i]$）中的因数分解问题。这些数是所有形如 $a+bi$ 的数，其中 $a$ 和 $b$ 是整数。

不要仅仅将它们看作一些抽象的符号。想象一下！一个高斯整数 $a+bi$ 就是平面上的一个点 $(a,b)$。所有高斯整数的集合构成了一个美丽的、规则的网格，或称​​格点​​ (lattice)。我们熟悉的整数就是水平轴上的点。

这个新世界有自己的算术。两个高斯整数相加就像在平面上添加向量。但乘法才是真正神奇的地方。将一个数乘以，比如说，$1+i$，相当于将格点上的每个点旋转 $45^\circ$ 并将其与原点的距离拉伸 $\sqrt{2}$ 倍。通常，乘以一个高斯整数 $w = a+bi$ 是一种线性变换，它将整个平面旋转 $w$ 的角度，并将所有距离按其模长 $|w| = \sqrt{a^2+b^2}$ 进行缩放。

表达式 $a^2+b^2$ 在这里也有其自然的意义：它是从原点到点 $(a,b)$ 的距离的平方。我们称之为高斯整数 $a+bi$ 的​​范数​​ (norm)，记作 $N(a+bi) = a^2+b^2$。因此，我们最初的问题“整数 $n$ 是两个平方数之和吗？”完全等价于新问题：“$n$ 是某个高斯整数的范数吗？”。

为了理解哪些数是范数，我们转向算术的基石：素数。在我们熟悉的系统中，《算术基本定理》表明每个整数都可以唯一地分解为素数的乘积。事实证明，高斯整数也有自己的“高斯素数”和唯一因子分解性质。

但转折点在于：当我们普通的，或称“有理”素数进入这个新世界时，会发生什么？它们还保持素数身份吗？让我们来看看。

• 素数 $2$：在 $\mathbb{Z}[i]$ 中，我们发现 $2=(1+i)(1-i)$。数字 $2$ 分解成了两个新的实体！在这里它不再是素数。请注意，$N(1+i) = 1^2+1^2=2$。其因子的范数是 $2$。这种分解是几何事实 $2=1^2+1^2$ 的代数投影。

• 像 $5$ 和 $13$ 这样的素数（它们 $\equiv 1 \pmod{4}$）：在 $\mathbb{Z}[i]$ 中，$5 = (2+i)(2-i)$。它分解了！看，$N(2+i)=2^2+1^2=5$。对于 $13$，我们有 $13 = (3+2i)(3-2i)$，且 $N(3+2i)=3^2+2^2=13$。一个模式出现了。这些能写成两数平方和的素数，恰好是在高斯整数中分解或​​分裂​​ (split) 的素数。在和 $p = a^2+b^2$ 中的整数 $a$ 和 $b$ ，不过是范数为 $p$ 的高斯素数因子 $a+bi$ 的分量。寻找两数平方和与在这个更大的世界里寻找素数的因子是同一回事！

• 像 $3$ 和 $7$ 这样的素数（它们 $\equiv 3 \pmod{4}$）：我们试着将 $3$ 分解为 $(a+bi)(c+di)$。对两边取范数得到 $N(3) = 3^2 = 9 = N(a+bi)N(c+di)$，即 $9 = (a^2+b^2)(c^2+d^2)$。要使之成为一个非平凡分解，我们需要 $a^2+b^2=3$。但我们从简单的模 4 规则中已经知道这是不可能的。分解 $3$ 的唯一方法是使用称为​​单位​​ (units) 的平凡因子（范数为 1 的高斯整数：$1, -1, i, -i$）。所以，$3$ 无法被分解。它在 $\mathbb{Z}[i]$ 中保持素数。我们说它是​​惰性​​ (inert) 的。

素数的秘密生活被揭示了：一个有理素数 $p$ 是两数平方和，当且仅当它在高斯整数的世界里不再是素数。

我们已经收集了几条线索，现在我们可以将它们组合成一个单一、强大的互联声明。对于任何奇素数 $p$，以下这些看似来自完全不同数学分支的陈述，实际上是逻辑等价的——如果其中一个为真，那么所有都为真。

1. ​​$p$ 可以写成两个平方数之和。​​（$p = a^2+b^2$） 这是一个关于特定方程整数解存在性的问题，属于丢番图分析的范畴。

2. ​​$p$ 是一个高斯整数的范数。​​（$p = N(a+bi)$） 这将问题用高斯整数的几何和代数语言重新表述。

3. ​​$p$ 在高斯整数环中不是一个素数。​​ 这是一个关于我们新数系代数结构的陈述。

4. ​​同余方程 $x^2 \equiv -1 \pmod{p}$ 有整数解。​​ 这是一个来自模算术的陈述。它为什么是相关的呢？因为如果存在这样一个 $x$，那么 $p$ 整除 $x^2+1 = (x+i)(x-i)$。但 $p$ 显然不能在 $\mathbb{Z}[i]$ 中整除 $x+i$ 或 $x-i$（如果可以，那么 $1/p$ 将必须是一个整数！）。既然 $p$ 整除其乘积而不整除任一因子，那么它在 $\mathbb{Z}[i]$ 中不可能是素数。这就是连接模算术与高斯分解的深层机制。

5. ​​$p$ 模 4 余 1。​​（$p \equiv 1 \pmod{4}$） 这个简单的分类是解开一切的关键。利用一个称为欧拉准则的结果，可以证明 $x^2 \equiv -1 \pmod p$ 有解当且仅当 $p \equiv 1 \pmod 4$。

这条美丽的链条揭示了数学深刻的统一性。一个关于平方和的简单问题，与格点的几何学、抽象环的结构以及模算术的精妙之处联系在了一起。

现在我们可以处理任何正整数 $n$。从素数到合数的桥梁是一个卓越的恒等式，称为​​婆罗摩笈多-斐波那契恒等式​​ (Brahmagupta-Fibonacci identity)： $(a^2+b^2)(c^2+d^2) = (ac-bd)^2 + (ad+bc)^2$ 这个公式表明，如果两个数都是两数平方和，它们的积也是两数平方和。用我们的新语言来说，这只是一个简单的陈述，即范数是乘性的：$N(\alpha)N(\beta) = N(\alpha\beta)$。

这意味着我们可以通过查看任何数 $n$ 的素因数分解来分析它。

• 素数 $2$ 是两数平方和（$1^2+1^2$）。
• 任何素数 $p \equiv 1 \pmod 4$ 都是两数平方和。
• 这些数的任意组合的乘积也将是两数平方和。

那些捣乱者，即惰性素数 $q \equiv 3 \pmod 4$ 呢？假设这样一个素数 $q$ 出现在 $n$ 的分解中。如果 $n = a^2+b^2$，那么我们有 $a^2+b^2 \equiv 0 \pmod q$。正如我们所见，这只有在 $a$ 和 $b$ 本身都是 $q$ 的倍数时才可能。这意味着 $a=qa'$ 和 $b=qb'$，所以 $n = (qa')^2 + (qb')^2 = q^2(a'^2+b'^2)$。这告诉我们两件事：首先，$q^2$ 必须整除 $n$；其次，$n/q^2$ 这个数也必须是两数平方和。如果我们继续应用这个逻辑，我们会发现 $q$ 在 $n$ 的素因数分解中的总幂次必须是偶数。

于是，我们得出了完整而宏伟的定理：

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

这完全解释了我们对数字 $6$ 的观察。它的分解是 $2 \times 3$。素数 $3$ 是 $4k+3$ 的形式，它的指数是 $1$，是奇数。因此，$6$ 不能是两数平方和。另一方面，$18 = 2 \times 3^2$。这里，素数 $3$ 以指数 $2$ 出现，是偶数。所以，$18$ 必然是两数平方和，事实也确实如此：$18 = 3^2+3^2$。

还剩最后一个问题。当一个数可以写成两数平方和时，这种写法是唯一的吗？对于 $5$，我们有 $1^2+2^2$。当然，我们也可以写成 $2^2+1^2$，或使用负数如 $(-1)^2+2^2$。这些本质上是不同的吗？

不完全是。它们都属于同一个家族。在高斯整数的世界里，这些“平凡”的变体对应于乘以四个单位 $\{\pm 1, \pm i\}$，以及取复共轭。例如，表示 $(\pm 1, \pm 2)$ 和 $(\pm 2, \pm 1)$ 构成了一个包含 8 对数的“轨道”，对应于高斯整数 $\pm 1 \pm 2i$ 和 $\pm 2 \pm i$。

对于一个素数 $p \equiv 1 \pmod 4$，事实证明总是恰好有一个这样的解族。例如，$13$ 是 $2^2+3^2$，这基本上就是唯一的表示法。这种唯一性反映了 $13$ 分解为一对唯一的共轭高斯素数 $(3+2i)$ 和 $(3-2i)$ 的事实。

对于合数，情况更加丰富。将 $n$ 写成两数平方和的“本质”方法的数量，与它形如 $4k+1$ 的素因子的指数有关。如果 $n = \prod p_i^{e_i}$（忽略因子 2 和 $\equiv 3 \pmod 4$ 的素数），那么方法的数量与数字 $(e_i+1)$ 的乘积有关。例如，$65 = 5 \times 13$。两者都是 $\equiv 1 \pmod 4$ 的素数。我们发现 65 有两种本质上不同的表示法：$65 = 1^2+8^2$ 和 $65=4^2+7^2$。

一个始于简单算术谜题的问题，引领我们进入了一个拥有自身几何和素数的新数系，揭示了一种深刻而出乎意料的和谐，它将我们用于计数的整数与我们绘制的复平面联系起来。这就是数学之美：简单的问题往往拥有最深刻、最优雅的答案。

在经历了平方和定理复杂的证明和机制之旅后，人们可能倾向于将其归档为数论中一颗美丽但孤立的宝石。但这样做将错过更宏大的故事。就像一把万能钥匙，这个定理打开了我们从未想过会进入的房间的门，揭示了科学这座宏伟殿堂中惊人的相互联系。正是在这些应用中，在这些意想不到的出现中，一个数学思想的真正力量和美丽才得以展现。我们关于整数的简单问题，结果在计算世界中回响，规定了抽象代数的法则，塑造了几何的可能性，甚至描述了宇宙的基本振动。

数学家的“存在”是计算机科学家的“如何找到它？”。费马的这个定理是一座存在的灯塔，向我们保证任何形如 $4k+1$ 的素数 $p$ 都可以写成两个平方数之和。但我们如何实际找到这两个平方数呢？理论本身为算法提供了蓝图。

其中一种最优雅的方法将我们带回了我们在证明中探索的高斯整数世界。素数 $p \equiv 1 \pmod{4}$ 在 $\mathbb{Z}[i]$ 中不是素数这一事实是关键。该算法本质上是寻找它的一个因子。它首先找到同余方程 $x^2 \equiv -1 \pmod{p}$ 的一个解，这个任务可以通过诸如 Tonelli–Shanks 算法等计算方法实现。这个 $x$ 值很特殊；它给了我们高斯整数中的数 $x+i$。素数 $p$ 在 $\mathbb{Z}[i]$ 中整除乘积 $(x+i)(x-i)$，但它不单独整除任一因子。这意味着 $p$ 在这个域中不是素数，必须与 $x+i$ 有一个非平凡的公因子。通过在在高斯整数环内计算 $p$ 和 $x+i$ 的最大公约数，我们有效地分离出 $p$ 的一个素因子。这个因子就是我们的奖品：一个高斯整数 $a+bi$。它的范数 $a^2+b^2$ 必然是 $p$。因此，一个抽象的代数性质被巧妙地转化为一个具体的计算过程。其他方法，如 Cornacchia 算法，通过在熟悉的整数领域内巧妙应用欧几里得算法来达到相同目的，提供了从纯理论到实际计算的另一座美丽桥梁。

该定理与高斯整数的联系远不止提供一种算法。它决定了这个扩展数系的基本结构。当我们把视野从整数 $\mathbb{Z}$ 扩展到高斯整数 $\mathbb{Z}[i]$ 时，我们就像进入一个新国度的探险家，必须学习旧法则如何适用。这里的“法则”就是素数分解的规则。一个在 $\mathbb{Z}$ 中的素数不一定在 $\mathbb{Z}[i]$ 中仍然是素数。两数平方和定理为有理素数提供了完整的旅行指南。

一个来自 $\mathbb{Z}$ 的素数 $p$ 在进入 $\mathbb{Z}[i]$ 的世界时有三种可能的命运：

1. ​​分裂 (Splits)：​​ 如果 $p \equiv 1 \pmod{4}$，定理告诉我们 $p = a^2+b^2$。这恰好是 $\mathbb{Z}[i]$ 中的分解 $p = (a+bi)(a-bi)$。原来的素数 $p$ 分裂成两个不同但共轭的高斯素数的乘积。例如，$5 = (1+2i)(1-2i)$ 和 $13 = (2+3i)(2-3i)$。因此，像 $65$ 这样的数会分裂成四个高斯素数：$65 = 5 \cdot 13 = (1+2i)(1-2i)(2+3i)(2-3i)$。
2. ​​保持惰性 (Remains Inert)：​​ 如果 $p \equiv 3 \pmod{4}$，定理意味着它不能是两个平方数之和。这意味着它不能在 $\mathbb{Z}[i]$ 中分解为复共轭对，事实证明它仍然是一个素数——它是“惰性的”。例如，$3、7$ 和 $11$ 在 $\mathbb{Z}$ 和 $\mathbb{Z}[i]$ 中都是素数。
3. ​​分歧 (Ramifies)：​​ 素数 $2$ 是一个特例。我们有 $2 = 1^2+1^2 = (1+i)(1-i)$。但由于 $1-i = -i(1+i)$，这两个因子是相伴的（仅相差一个单位）。所以，$2 = -i(1+i)^2$。素数 $2$ 实际上变成了另一个素数的平方，这种现象称为分歧。

这种分类不仅仅是出于好奇；它在抽象代数中具有深远的意义。例如，当我们构建一个商环 $\mathbb{Z}[i]/(p)$ 时，我们是在问，如果我们将 $p$ 的倍数视为零，高斯整数的世界会是什么样子。这个商环的结构完全取决于 $p$ 的命运。一个基本结果是，环 $\mathbb{Z}[i]/(p)$ 是一个域——一个每个非零元素都有乘法逆元的纯净代数结构——当且仅当 $p$ 在 $\mathbb{Z}[i]$ 中仍然是素数。我们的定理告诉我们，这恰好发生在 $p \equiv 3 \pmod{4}$ 时。对于分裂或分歧的素数，得到的结构不是一个域。因此，一个关于素数的简单算术条件决定了它所构建的世界的抽象代数性质。这一原则远远超出了 $\mathbb{Z}[i]$ 的范畴，延伸到代数数论的广阔领域，其中素数在数域中的分裂是一个核心主题。

让我们出人意料地转向几何学。想象一下笛卡尔平面，但我们只关心具有整数坐标的点——即“整格点” $\mathbb{Z}^2$，一个广阔、有序的点阵。现在，假设我们画一个三个顶点都落在这个格点上的直角三角形。关于它的面积，我们能说些什么？

皮克定理给出了格点上任意简单多边形的面积公式，但两数平方和定理为直角三角形揭示了一个更深、更具体的约束。如果我们将直角顶点放在原点，另外两个顶点位于点 $(a,b)$ 和 $(c,d)$。直角条件意味着向量的点积为零：$ac+bd=0$。这个三角形的面积由 $\mathcal{A} = \frac{1}{2}|ad-bc|$ 给出。这个面积的可能值是多少呢？

一段优雅的分析揭示，整数 $N = 2\mathcal{A} = |ad-bc|$ 必须形如 $g \cdot |t| \cdot (a'^2+b'^2)$，其中 $a'$ 和 $b'$ 是互质整数。这意味着面积与一个两数平方和密不可分！惊人的结论是，一个数 $N$ 能代表这样一个三角形面积的两倍，当且仅当其素因数分解中至少包含一个不是 $4k+3$ 形式的素数。因此，面积为 $\frac{3}{2}$、$\frac{7}{2}$ 或 $\frac{11}{2}$ 的三角形在这些条件下是不可能在整格点上画出来的。一个关于几何的问题由数论给出了答案。

也许最令人叹为观止的应用在于数学物理和谱理论领域。想象一个“平环面”，即甜甜圈的表面，由一个均匀振动的膜构成。当你敲击这个鼓时，它会产生什么音符？这些“音符”，或称基本振动频率，由一个称为拉普拉斯算子的微分算子的特征值来描述。

对于一个方形平环面，允许的特征值并非任意；它们由表面的几何形状决定。计算揭示了一个惊人的结果：特征值恰好是形如 $n^2+m^2$ 的整数，其中 $n$ 和 $m$ 是整数。这意味着我们的甜甜圈鼓能演奏的“音符”，正是那些可以写成两个平方数之和的整数！像 $3、6$ 或 $7$ 这样的整数对于这个系统来说是“禁频”。

此外，一个特征值的重数——即产生同一音符的不同振动模式的数量——恰好是该整数可以写成两数平方和的方式数。寻找特征值 $\lambda=52$ 的重数，就等同于计算满足 $n^2+m^2=52$ 的整数对 $(n,m)$ 的数量。解是 $(\pm 4, \pm 6)$ 和 $(\pm 6, \pm 4)$，给出的重数为 8。一个物理学问题变成了一个整数算术问题。这种深刻的联系是一个与“你能听出鼓的形状吗？”问题相关的著名例子，该问题探讨了特征值谱如何揭示一个物体的几何形状。

最后，为了完全欣赏我们的定理，我们必须将其置于更广阔的画布上。三数平方和呢？或者四数？这是被称为华林问题这一更大故事的一部分。

拉格朗日的四平方和定理提供了一个鲜明的对比：每个正整数都可以写成四个平方数之和。没有条件，没有例外。四平方和的世界是普适的。

三平方和的世界又有所不同。勒让德的三平方和定理指出，一个整数可以写成三个平方数之和，当且仅当它不是 $4^a(8b+7)$ 的形式。

为什么会有这种差异？这些条件源于“同余障碍”。对于两数平方和，$x^2+y^2$ 永远不能同余于 $3 \pmod{4}$。对于三数平方和，$x^2+y^2+z^2$ 永远不能同余于 $7 \pmod{8}$。这些是局部的障碍。令人惊奇的事实是，对于两数和三数平方和，这些局部障碍（及其后果）是唯一的障碍。对于四数或更多平方和，则根本没有同余障碍；任何数模任何其他数都是可能的。

这段始于费马提出的一个简单问题的旅程，带领我们穿越了算法的数字世界、现代代数的抽象领域、几何学的视觉景观，以及物理学的共振频率。它向我们表明，领域之间的划分常常是虚幻的。在其核心，数学是一幅单一、统一的织锦，拉动其中一角的一根线，能够、而且常常会使整个图案熠熠生辉。