En mathématiques, le théorème à quatre couleurs, ou le théorème de la carte en quatre couleurs, indique que, compte tenu de la séparation d'un plan en régions contiguës, ce qui produit une figure appelée carte, il n'est pas nécessaire de plus de quatre couleurs pour colorier les régions de la carte de façon à ce qu'aucune région adjacente n'ait la même couleur.
Le théorème à quatre couleurs est un théorème des mathématiques qui dit que dans n'importe quelle surface plane avec des régions dans elle -LRB- les gens pensent d'eux comme des cartes -RRB-, les régions peuvent être colorées avec pas plus de quatre couleurs.