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 :
Par exemple, 1 n'est divisible que par lui-même, qui n'est pas congru à 0 modulo 4. Donc r4(1) = 8
3 des 8 formes sont :
1 = 12 + 02 + 02 + 02
1 = 02 + 12 + 02 + 02
1 = ( − 1)2 + 02 + 02 + 02