拉格朗日四平方和定理：历史发展 + 完整证明

拉格朗日四平方和定理：历史发展+完整证明拉格朗日四平方和定理：历史发展+完整证明一、定理陈述拉格朗日四平方和定理（Lagrange'sfour-squaretheorem,1770）每一个自然数n∈ℕ（n≥0）都可以表示成四个整数的平方之和注意：允许整数取0，例如

3=推论：所有正整数都能写成至多四个正整数的平方和。第一部分：历史发展1.早期猜想（丢番图、费马）古希腊・丢番图（Diophantus，公元3世纪）

《算术》中大量例题暗示：正整数可表为四个平方数之和，但没有明确提出一般性命题，只是零散例子。费马（PierredeFermat，1636左右）

费马正式提出猜想：任何自然数是四个平方数之和。同时费马研究了二平方和定理（素数p≡1(mod补充：勒让德三平方定理（1798）

自然数n能写成三个整数平方和⟺n≠4k(8m+7)。

形如8m+7的数不能表为3个平方和（例如7,15,23,…2.欧拉的关键铺垫（1751–1770）欧拉没有完成最终证明，但给出两个核心工具，是拉格朗日证明的基石：(1)欧拉四平方恒等式若则乘积mn也可表为四平方之和：意义：

若两个数都能表为四平方和，则它们的乘积也可以。于是只需证明所有素数可以表为四个平方和，再由算术基本定理+恒等式推出全体自然数成立。(2)欧拉引理（模素数平方存在性）对任意素数p，存在整数x,y使得

x2+y23.拉格朗日完成证明（1770）约瑟夫・拉格朗日利用欧拉上述成果，第一个严格完整证明四平方和定理，发表于《代数研究》。4.后续发展高斯借助整数环ℤ[i]（高斯整数）重新理解二平方和；四平方和对应四元数。欧拉四平方恒等式本质就是四元数范数乘法：N(αβ)=N(α)N(β)雅可比四平方和计数定理（1834）

给出精确公式：记r4(n)为n=a例子：r4(1)=8，对应(±1,0,0,0)共8组有序解。

雅可比定理远强于存在性，定量刻画表示数量。

3.更一般：华林问题(Waring'sproblem)

四平方和是华林问题第二部分：拉格朗日原始思路证明证明路线总览：由欧拉四平方恒等式：只需证明每个素数p可表为4个整数平方和；p=2显然：2=12+第一步：证明存在0<m<p，使得mp可写成4个平方和；第二步（无穷递降法）：若mp=a12+a不断递降，最终得到m=1，即p本身是四平方和。详细证明步骤1：欧拉引理设p奇素数。集合A=x2(modp)∣0≤x≤p−12，集合B=−1−y2(modp)∣0≤y≤p−12。

|A|=p+12,|B|=p+12；模p一共p个剩余类。

步骤2：无穷递降设有

mp=w12+w22+w32+w42,1≤m<p

对每个wi，选取xi满足分两种情况：若m′=m：必须每个xi2=m24，即m偶数，xi=±m/2。

此时wi=xi+km，故若m′<m（主要情形）

由欧拉四平方恒等式：

(w12+⋯+w42)(x12+⋯+x42)=mp⋅m′m=m2(m′p)

左边是两组四平方和相乘，因此等于另一组四平方和y1步骤3：递降终止从某个1≤m<p出发，不断得到严格更小的正整数m′。正整数不能无限严格递减，过程必然终止。终止条件只能是m=1。

⟹p=z步骤4：推广全体自然数任意自然数n>1分解为素数乘积；每个素数是四平方和；反复使用欧拉四平方恒等式，乘积依然是四平方和。

n=0=0定理证毕。补充拓展1.和三平方定理对比勒让德三平方定理：n不能表为3平方和⟺n=4k(8t+7)

2.四元数视角（现代理解）全体整数四元数

ℍℤ=a+bi+cj+dk∣a,b,c,d∈ℤ

范数N(a