平方数和定理 · 四平方数定理

任意一个正整数 n，均可表示为四个整数的平方和：

其中 a, b, c, d ∈ ℤ（整数集），允许其中某些数为零。例如：

• 14 = 2² + 3² + 1² + 0² = 4 + 9 + 1 + 0
• 26 = 5² + 1² + 0² + 0² = 25 + 1 + 0 + 0
• 1000 = 10² + 9² + 4² + 1² = 100 + 81 + 16 + 1

关键点：四平方数和定理不要求四个平方项均非零；允许使用零平方项（即实际使用少于四项），这极大增强了定理的普适性。

为何是“四”？

并非所有数都能表示为三平方和。例如 7：

• 7 = 4 + 1 + 1 + 1 = 2² + 1² + 1² + 1²（可行）
• 但尝试三平方和：最大可能为 2² = 4，剩下 3，无法拆成两个平方数（1+1=2，1+4=5）
• 更严谨地，勒让德三平方定理指出：当 n ≠ 4ᵃ(8b+7) 时，n 可表为三平方和；而 7 = 8×0+7，故不能。

历史命名

该定理由约瑟夫·路易斯·拉格朗日于1770年首次给出严格证明，因此常称“拉格朗日四平方和定理”。尽管费马早在1621年已宣称此结论，但未发表证明。

同一个数的四平方和表示通常不唯一。例如：

拉马努金曾研究过不同表示的计数函数，但目前尚无通用闭式公式。计算所有表示是计算数论中的经典难题。

重要推论： 若 n 可表为两平方和（即 n = x² + y²），则必可表为四平方和（只需令 c = d = 0）。但反之不成立——如 14 无法表为两平方和，却可表为四平方和。

• 二次互反律的桥梁

平方和定理与二次互反律共同构成二次型理论的双柱。高斯在《算术研究》中将二者统一于二次型分类框架下，指出：n可表为两平方和当且仅当其素因子分解中，所有形如4k+3的素数指数均为偶数；而四平方和则无此限制。

• 丢番图方程求解

方程 x₁² + x₂² + x₃² + x₄² = n 是最简单的正定二次型丢番图方程。其解的存在性由四平方和定理保证，解的结构研究催生了模形式理论。

• 四维晶格与球堆积

平方和对应四维整数格ℤ⁴中的点。拉格朗日定理表明：以原点为中心、任意半径的球内必含整点（除原点外），这对分析四维空间的几何性质至关重要。

• 流形的三角剖分

在计算拓扑中，四维流形的-handle分解常依赖于四平方和表示，用于构造交二次形式（intersection form）的基。

• 格密码中的短向量搜索

在求解SVP（Shortest Vector Problem）时，启发式算法常尝试将目标向量表示为基向量的四平方组合，利用四平方和的稠密性提高搜索效率。

• 量子纠错码设计

表面码（Surface Code）的逻辑量子比特状态空间可映射到四维格点上的路径，其容错阈值分析涉及四平方和表示的计数。