Le théorème des quatre carrés de Lagrange, aussi connu sous le nom de conjecture de Bachet et démontré en 1770 par le mathématicien français Joseph Louis Lagrange, s'énonce de la façon suivante :
Tout entier positif s'exprime comme la somme d'au plus quatre carrés.
Plus formellement, pour tout entier positif n, il existe des entiers positifs a,b,c,d tels que :
Le mathématicien français Adrien-Marie Legendre améliora le théorème en 1798 en affirmant qu'un entier positif peut être exprimé comme la somme d'au plus trois carrés si et seulement s'il n'est pas de la forme
Sa démonstration était incomplète, laissant une brèche qui fut comblée plus tard par le mathématicien allemand Carl Friedrich Gauss.
Le théorème des quatre carrés de Lagrange est un cas particulier du théorème du nombre polygonal de Fermat et du problème de Waring.
La démonstration du théorème repose (en partie) sur l'identité des quatre carrés d'Euler :
Les fonctions arithmétiques permettent d'obtenir des résultats plus généraux. Si on pose r4(n) comme étant le nombre de façon de décomposer n sous forme d'une somme de 4 carrés, on obtient le résultat suivant:
Moyennant l'utilisation des séries de Lambert, on en déduit le théorème suivant, dit théorème de Jacobi :