在数论的浩瀚星空中，四平方定理（Lagrange's Four-Square Theorem）无疑是一颗耀眼的星辰。该定理断言：每一个正整数都可以表示为至多四个整数的平方和。这里的“整数”通常指非负整数（包括 0）。
用数学语言表述，对于任意正整数 ，存在整数 使得：
n = a² + b² + c² + d²
这一定理看似简单，实则蕴含着深刻的代数结构。它不仅仅是一个关于数字的奇偶性或模运算的结论，更揭示了高斯整数（Gaussian Integers）与四元数（Quaternions）之间精妙的联系。历史上，无数数学家曾试图攻克这一难题，从费马的直觉猜测到拉格朗日的严谨证明，再到欧拉恒等式的巧妙运用，这一过程本身就是一部微缩的数学发展史。
值得注意的是，虽然定理保证了“至多四个”，但在实际应用中，许多数字甚至不需要四个。例如，完全平方数只需 1 个，某些合数只需 2 个或 3 个。只有当数字具有特定形式（如 ）时，才必须使用 4 个平方数。这种分类讨论的思想，正是数论研究的精髓所在。
关于平方和的问题，最早可以追溯到古希腊时期。公元 3 世纪，亚历山大城的丢番图（Diophantus）在其著作《算术》中就探讨了将数表示为平方和的问题，但他主要关注的是有理数解。直到 17 世纪，法国数学家费马（Pierre de Fermat）在阅读丢番图的注释时，提出了著名的费马平方和定理，指出一个奇素数能表示为两个平方和当且仅当其模 4 余 1。然而，费马从未给出四平方定理的证明，只留下了“我发现了这个真理”的断言。
巴歇·德·梅齐亚克（Bachet de Méziriac）翻译了丢番图的《算术》，并在注释中记录了费马关于平方和的猜想，引发了后世数学家的浓厚兴趣。
约瑟夫·路易·拉格朗日（Joseph-Louis Lagrange）发表了论文，首次给出了四平方定理的完整证明。他利用了欧拉之前发现的欧拉恒等式，证明了如果两个数都能表示为四个平方和，那么它们的乘积也能。结合费马的小定理和无限递降法，最终完成了证明。
卡尔·弗里德里希·高斯（Carl Friedrich Gauss）在《算术研究》中引入了高斯整数的概念，为理解平方和问题提供了全新的代数视角，将问题转化为了复平面上的范数问题。
威廉·罗文·哈密顿（William Rowan Hamilton）发现了四元数，这是一种四维的超复数系统。四元数的乘法性质直接对应了四平方恒等式，从更高维度的几何角度解释了为何四个平方数是足够的。
四平方定理的证明并非一蹴而就，历史上主要有三种经典的证明路径。它们分别代表了初等数论、代数数论和组合数学的不同思想。点击下方选项卡查看详细内容。
拉格朗日的证明逻辑严密，分为三个关键步骤：
(a₁²+a₂²+a₃²+a₄²)(b₁²+b₂²+b₃²+b₄²) = (a₁b₁-a₂b₂-a₃b₃-a₄b₄)² + (a₁b₂+a₂b₁+a₃b₄-a₄b₃)² + (a₁b₃-a₂b₄+a₃b₁+a₄b₂)² + (a₁b₄+a₂b₃-a₃b₂+a₄b₁)²
这种方法完全依赖于整数环 的性质，不引入任何复数或高维空间的概念，体现了拉格朗日作为分析学大师对数论问题的深刻洞察。
虽然拉格朗日完成了证明，但欧拉在其中的贡献同样不可磨灭。欧拉早在 1748 年就发现了那个神奇的恒等式，并尝试用它来解决这个问题。
欧拉的无穷递降法（Method of Infinite Descent）是解决此类存在性问题的利器。其核心思想是：如果一个命题对某个整数 成立，且我们能证明如果它对 成立则必然对某个更小的整数 成立，那么通过不断递减，最终必然会到达一个基准情况（通常是 1），从而反推原命题对所有整数成立。
| 步骤 | 操作 | 目的 |
|---|---|---|
| 1 | 选取质数 | 目标：证明 |
| 2 | 找到 使得 | 利用同余性质构造初始解 |
| 3 | 构造 使得 且 | 通过特定的线性变换缩小系数 |
| 4 | 重复直至 | 完成证明 |
欧拉的方法虽然在逻辑上等价于拉格朗日的，但他更侧重于展示恒等式的威力。他证明了四平方和集合在乘法下是封闭的，这是一个非常强大的代数性质。
到了 19 世纪，随着高斯整数（）和四元数的发现，数学家们开始从代数结构的角度重新审视四平方定理。
在高斯整数环中，范数定义为 。高斯证明了 是唯一分解整环（UFD）。这意味着每个高斯整数都可以唯一地分解为高斯素数的乘积。
推广到四元数领域，四元数 的范数定义为 。虽然四元数乘法不满足交换律，但它仍然满足范数乘法性质：。这正是欧拉恒等式的代数本质。
从这个角度看，四平方定理实际上反映了四元数环在整数子环上的某种“整除”性质。虽然四元数不是交换环，但其范数的良好性质足以支撑起整个证明框架。这种观点不仅解释了四平方定理，还启发了后来的八平方定理（Hurwitz 定理）的研究。
除了定理本身的证明，许多网友对四平方定理在实际生活中的应用、与其他数学猜想的联系以及计算复杂性充满了好奇。以下是基于社区讨论整理的深度解析。
既然四平方定理说“至多四个”，那么什么时候需要四个？这就引出了勒让德三平方定理（Legendre's Three-Square Theorem）。该定理指出：一个正整数 可以表示为三个整数的平方和，当且仅当 不具有 的形式。
这意味着，像 7, 15, 23, 28, 31 这样的数，无论如何都无法用三个平方数相加得到，必须动用第四个。例如：
这种分类不仅有趣，而且在计算机算法设计中有着重要的指导意义。
很多初学者容易将四平方定理与哥德巴赫猜想混淆。哥德巴赫猜想关注的是素数的和（如“任一大于 2 的偶数都可写成两个素数之和”），而四平方定理关注的是所有整数的平方和。
虽然两者都涉及“和”的概念，但难度天差地别。哥德巴赫猜想至今未被完全证明，而四平方定理早在 1770 年就已尘埃落定。不过，数论界确实存在类似的四元数版本的哥德巴赫猜想，即“每个足够大的奇数是否可以表示为有限个素数的四平方和？”这类问题目前仍是活跃的研究领域。
在计算机科学领域，四平方定理并非仅仅是理论游戏。它在快速傅里叶变换（FFT）的优化、椭圆曲线密码学的参数选择以及随机数生成器的设计中都有潜在应用。
例如，在某些哈希函数的设计中，利用四平方恒等式的性质可以快速计算距离或相似度。此外，在求解丢番图方程组时，四平方定理提供了一个强有力的先验条件，可以大幅剪枝搜索空间。
// 伪代码示例：判断一个数是否必须用 4 个平方数
function mustUseFourSquares(n) {
while (n % 4 === 0) {
n = n / 4;
}
return (n % 8 === 7);
}
// 如果返回 true，则该数必须表示为 4 个平方数之和
在研究四平方定理时，我们经常遇到一些特殊的数学符号和概念。以下列出了一些高频出现的术语：
以下是网友们最常询问的几个问题，我们进行了详细的解答。
A: 不能。根据勒让德三平方定理，如果一个数 满足 ，则它不能表示为三个平方数之和。对于 7，我们可以写成 ，符合该形式，因此必须使用 4 个平方数。具体分解为 。
A: 虽然定理允许使用负整数，但由于 ，负数的平方与正数的平方没有区别。因此，我们在讨论时通常默认使用非负整数（0, 1, 2, ...）。例如，，也可以写成 ，但这被视为同一组解。
A: 是的，这就是勒让德三平方定理。它告诉我们，除了形如 的数之外，所有正整数都可以表示为三个平方数之和。而对于那些必须用 4 个的数，四平方定理保证了 4 个足够了。此外，还有五平方定理、六平方定理等，但它们不如四平方定理著名，因为四平方已经覆盖了所有情况。
A: 在有理数范围内，情况有所不同。根据希尔伯特第九问题的相关研究，任何正有理数都可以表示为四个有理数的平方和。这与整数域上的结论是一致的，但证明过程更为复杂，涉及到局部 - 整体原理（Hasse-Minkowski theorem）。
四平方定理的证明过程，展示了数学从直观猜测到严谨论证的完整链条。从费马的笔尖涂鸦，到欧拉的恒等式，再到拉格朗日的递降法，最后到高斯的代数扩张，每一步都凝聚着人类智慧的结晶。
它不仅是一个关于数字的结论，更是一个关于结构的启示。它告诉我们，看似杂乱无章的自然数背后，隐藏着严密的代数规律。无论是通过初等数论的技巧，还是借助高维代数的工具，最终都能殊途同归地抵达真理的彼岸。
对于今天的我们来说，四平方定理依然具有强大的生命力。它在算法设计、密码学、物理模拟等领域持续发挥着作用。希望本文能为您揭开四平方定理的神秘面纱，让您感受到数学的纯粹与魅力。