En mathématiques et plus précisément en arithmétique modulaire, le théorème des trois carrés s'énonce de la manière suivante : Un entier naturel est somme de trois carrés d'entiers si (et seulement si) il n'est pas de la forme 4j × (8k – 1) avec j et k entiers.