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

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

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

一、定理陈述

拉格朗日四平方和定理（Lagrangesfour-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)欧拉引