Lagrange's four-square theorem

Encyclopedia : L : LA : LAG : Lagrange's four-square theorem

---

Lagrange's four-square theorem, also known as Bachet's conjecture, was proven in 1770 by Joseph Louis Lagrange.

It states that every positive integer can be expressed as the sum of four squares of integers. For example,

3 = 1² + 1² + 1² + 0²

31 = 5² + 2² + 1² + 1²

310 = 17² + 4² + 2² + 1².

More formally, for every positive integer n there exist non-negative integers a,b,c,d such that

n = a² + b² + c² + d².

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 4^k(8m + 7). His proof was incomplete, leaving a gap which was later filled by Carl Friedrich Gauss.

In 1834, Carl Gustav Jakob Jacobi found an exact formula for the total number of ways a given positive integer n can be represented as the sum of four squares. This number is eight times the sum of the divisors of n if n is odd and 24 times the sum of the odd divisors of n if n is even.

Lagrange's four-square theorem is a special case of the Fermat polygonal number theorem and Waring's problem.

See also

• Euler's four-square identity
• Fermat's theorem on sums of two squares
• 15 theorem

References

External links

• [Proof at PlanetMath.org]
• [Another proof]
• [an applet decomposing numbers as sums of four squares]

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?