### Four Square Theorem

September 7, 2011 It seems that every educated person has heard of Fermat's Last Theorem, although it's likely that only the mathematically-minded can state what it is. As I wrote in a previous article (You Can Get There From Here, March 26, 2008), Fermat's Last Theorem simply states that for integers n>2, the equation,ahas no solutions other than a=b=c=0. Princeton University mathematicians Andrew Wiles and Richard Taylor proved the theorem was true in 1994, more than 350 years after it was stated. The conjecture was stated by Pierre de Fermat in 1637, famously in the margin of a copy of Arithmetica by Diophantus. Fermat claimed he had a proof that was too large to fit in the margin. There's a distant cousin to this theorem that's found also in Arithmetica. It's not quite as difficult. Lagrange proved it in 1770, and an undergraduate mathematics major can understand the short proof, which can be found here. It's called Lagrange's Four-Square Theorem, and it's simply the fact that every positive integer^{n}+ b^{n}= c^{n}

**n**can be written as the sum of four squares; that is,

n = awhere^{2}+ b^{2}+ c^{2}+ d^{2},

**a**,

**b**,

**c**and

**d**are integers. Sometimes the qualification, "at most, four squares," is used. If we allow the square of zero, that qualification isn't needed.

__Joseph Louis Lagrange__

Lagrange is known for much more than his mathematics. He's well known to physicists for the Lagrangian; and to astronomers for the Lagrangian points, to name just two.

(Via Wikimedia Commons))

Surprisingly, Euler was not able to prove the theorem himself, although he contributed a piece called the four-square identity. As usual, the theorem started as a conjecture. The conjecture, called Bachet's conjecture, was stated by Claude Gaspard Bachet de Méziriac, a French mathematician and classics scholar, who translated Diophantus' Arithmetica, with commentary, from Greek to Latin in 1621. A portion of the section of the book that describes the conjecture appears below.

*Diophantus Arithmetica, Latin translation by Bachet, 1621, top of page IIII-241. (Via Google Books).[2].*

The last line in the figure reads,

Interim libet id inductione confirmare, ostendendo propriu esse numerorum omnium ab 1 usque ad 120, ut constant ex sequenti diagrammate.Bachet then presents a table of examples for all numbers from 1 - 120 that includes the following:

In the mean time I want to confirm this by induction, specifically by showing it for all of the numbers from 1 to 120, as is evident from the following table.(My translation)

28 = 1In 1798, Adrien-Marie Legendre advanced the theorem by a partial proof that only three squares are needed to represent a positive integer, if, and only if, the integer is not of the form 2^{2}+ 1^{2}+ 1^{2}+ 5^{2}

28 = 1^{2}+ 3^{2}+ 3^{2}+ 3^{2}

28 = 2^{2}+ 2^{2}+ 2^{2}+ 4^{2}

48 = 4^{2}+ 4^{2}+ 4^{2}

48 = 2^{2}+ 2^{2}+ 2^{2}+ 6^{2}

60 = 1^{2}+ 1^{2}+ 3^{2}+ 7^{2}

60 = 1^{2}+ 3^{2}+ 5^{2}+ 5^{2}

60 = 2^{2}+ 2^{2}+ 4^{2}+ 6^{2}

112 = 2^{2}+ 2^{2}+ 2^{2}+ 10^{2}

112 = 2^{2}+ 6^{2}+ 6^{2}+ 6^{2}

112 = 4^{2}+ 4^{2}+ 4^{2}+ 8^{2}

120 = 2^{2}+ 4^{2}+ 10^{2}

^{2k}(8m + 7), where k and m are positive integers. Gauss plugged a gap in Legendre's proof. One very interesting discovery was made by Jacobi, who found that the number of ways a positive integer n can be represented as a sum of four squares is eight times the sum of the divisors of n, for odd n, and 24 times the sum of the odd divisors, for even n. Note that in order to get Jacobi's count, the numbers being squared can be negative, and you need to count all combinations of numbers; that is,

1 = 1^{2}+ 0^{2}+ 0^{2}+ 0^{2}

1 = 0^{2}+ 1^{2}+ 0^{2}+ 0^{2}

1 = (-1)^{2}+ 0^{2}+ 0^{2}+ 0^{2}

etc...

### References:

- Eric W. Weisstein, "Lagrange's Four-Square Theorem," MathWorld--A Wolfram Web Resource.
- Claude Gaspar Bachet, translator: "Diophantus of Alexandria, Arithmetica," 1621, via Google Books.

*Permanent Link to this article*

Linked Keywords: Liberal arts; Fermat's Last Theorem; mathematics; integer; equation; Princeton University; Andrew Wiles; Richard Taylor; conjecture; Arithmetica; Diophantus; Lagrange; undergraduate; Lagrange's Four-Square Theorem; square; Lagrangian; Lagrangian point; Wikimedia Commons; Euler; four-square identity; Claude Gaspard Bachet de Méziriac; French; mathematician; classics; Greek; Latin; Google Books; Adrien-Marie Legendre; if, and only if; Gauss; Jacobi's four-square theorem; Carl Gustav Jacob Jacobi; Eric W. Weisstein.

### Google Search

Latest Books by Dev Gualtieri

Thanks to Cory Doctorow of BoingBoing for his favorable review of Secret Codes!

Other Books

- When in Rome... - February 17, 2020

- Frigid Legos® - February 10, 2020

- Natural Materials - February 3, 2020

- Martian Atmosphere - January 27, 2020

- Whiskey - January 20, 2020

- An Elastocaloric Calorimeter - January 13, 2020

- Elastocaloric Effect - January 6, 2020

- Christmas 2019 - December 23, 2019

- Our Accelerating Universe - December 16, 2019

- Math is Beautiful - December 9, 2019

- Giovanni Battista Riccioli - December 2, 2019

- Consider a Spherical Turkey - November 25, 2019

- Metamaterial Lenses - November 18, 2019

- Computing Chaos - November 11, 2019

- Ultra-Hyper-Super Black - November 4, 2019

- Interstellar Comets - October 28, 2019

- Magnetic Pole Flip - October 21, 2019

- Calvin Quate (1923-2019) - October 14, 2019

- Transistor Threads - October 7, 2019

- Scientific Broadness - September 30, 2019

- Squaring the Circle - September 23, 2019

- Death by Air Pollution - September 16, 2019

- Lots, and Lots, of Dots - September 9, 2019

- Fiber-Optic Sensors - September 2, 2019

- Is Science Simply Beautiful? - August 26, 2019

- Torqued Light - August 19, 2019

- The Dragonfly of Titan - August 12, 2019

- Optical Ruler - August 5, 2019

- Bolometry - July 29, 2019

- Too Many Commercials - July 22, 2019

- Lost Moons - July 15, 2019

- Go with the Flow - July 8, 2019

- Ion-Gated Transistors - July 1, 2019

### Deep Archive

Deep Archive 2006-2008

**Blog Article Directory on a Single Page**