Jacobi's four-square theorem
Jacobi's four-square theorem gives a formula for the number of ways that a given positive integer n can be represented as the sum of four squares.
The theorem was proved in 1834 by Carl Gustav Jakob Jacobi.
Two representations are considered different if their terms are in different order or if the integer being squared (not just the square) is different; to illustrate, these are three of the eight different ways to represent 1:
The number of ways to represent n as the sum of four squares 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 (see divisor function), i.e.
Equivalently, it is eight times the sum of all its divisors which are not divisible by 4, i.e.
In particular, for a prime number p we have the explicit formula r4(p) = 8(p + 1).
- Hirschhorn, Michael D.; James A. Mcgowan. "Algebraic consequences of Jacobi's two– and four–square theorems". Ismail (eds), Developments in Mathematics: 107–132.
- Hirschhorn, Michael D. (1987). "A simple proof of Jacobi's four-square theorem". Proc. Amer. Math. Soc.
- Williams, Kenneth S. (2011). Number theory in the spirit of Liouville. London Mathematical Society Student Texts. 76. Cambridge: Cambridge University Press. ISBN 978-0-521-17562-3. Zbl 1227.11002.