拉格朗日四平方定理又被称为Bachet猜想。说的是任何正整数都能被写成至多4个数的平方和。虽然定理由费马用无限下降的方法给出了证明,但证明过程很繁杂。欧拉没有成功证明定理。对这个定理第一个发表的证明是由拉格朗日于1770年利用了欧拉四平方等式给出的。本文参阅了相关的外文资料,对该定理给出了严格的证明。