Lagrange四平方定理.docVIP

Lagrange 四平方定理 - 数学命题证明欣赏 - - 卢昌海 - 1. 命题 这个介绍数学命题证明的系列设立已有两年多了， 却只写了两篇文章， 本文是第三篇。 这个系列介绍的数学命题的证明都是完整的证明[注一]， 所涉及的数学命题都小有名气 (通常挂着著名数学家的名字)。 介绍这些命题的证明除了因为这些命题及证明本身的简洁优美外， 还有一个原因就是我往往会在其它文章中用到这些命题。 Euler 乘积公式 是一个例子 (它在 Riemann 猜想漫谈 中被用到)， 本文所要介绍的 Lagrange 四平方定理也是如此， 我将在有关 Hilbert 第十问题 的文章中用到这一定理。 Lagrange 四平方定理： 任何一个正整数都可以表示成不超过四个整数的平方之和。 Lagrange 四平方定理的明确表述最早出现在法国数学家 Claude Bachet (1581-1638) 对 Diophantus 的 《算术》 所作的一段注释中 (因此这一定理也被称为 Bachet 猜想或 Bachet 定理)， 那是在 1621 年。 那一年 Bachet 将 《算术》 由希腊文翻译成了拉丁文[注二]， 他在翻译本的注释中表述了这一命题， 并且提到 Diophantus 有可能知道这一命题。 在 Diophantus 本人的著作中， 其实并没有直接对这一命题做任何叙述， 但由于 Ba