Lagrange's four-square theorem
|
|
Lagrange's four-square theorem, also known as Bachet's Conjecture, was proved in 1770 by Joseph Louis Lagrange.
It states that every positive integer can be expressed as the sum of four squares of integers.
More formally, for every positive integer n there exist non-negative integers a,b,c,d such that
- n = a2 + b2 + c2 + d2.
Adrien-Marie Legendre improved on the theorem in 1798 by stating that a positive integer can be expressed as the sum of three squares iff it is not of the form 4k(8m + 7). His proof was incomplete, leaving a gap which was later filled by Carl Friedrich Gauss.
Lagrange's four-square theorem is a special case of the Fermat polygonal number theorem and Waring's problem.
In 2005, Zhi-Wei Sun proved that any natural number can be represented as the sum of a square, an even square and a triangular number.
External links
- Proof at PlanetMath.org (http://planetmath.org/encyclopedia/ProofOfLagrangesFourSquareTheorem.html)
- Another proof (http://www.alpertron.com.ar/4SQUARES.HTM)de:Vier-Quadrate-Satz
he:משפט ארבעת הריבועים של לגראנז' it:Teorema dei quattro quadrati zh:四平方和定理