🗺️ L'observation de Francis Guthrie (1852)
En 1852, un étudiant londonien nommé Francis Guthrie coloriait une carte des comtés d'Angleterre. Il remarque une chose curieuse : quel que soit le nombre de régions, et leur forme, il suffit de 4 couleurs pour qu'aucune région voisine n'ait la même couleur.
Il en parle à son frère mathématicien, qui en parle à son professeur (le célèbre De Morgan). L'observation se propage dans le milieu mathématique. La question devient : est-ce vraiment toujours vrai, et peut-on le démontrer ?
🎛️ Colorie une carte (interactif)
Clique sur chaque région pour la colorier (cycle entre 4 couleurs). Le but : aucune région voisine ne doit avoir la même couleur. Aussi compliquée que soit la carte, c'est toujours possible avec 4 couleurs.
🎛️ Carte à colorier
Clique sur les régions pour cycler les 4 couleurs. Aucune région voisine ne doit avoir la même couleur.
Conflit(s) en rouge : 0
🧗 124 ans de tentatives
Le théorème paraît évident — pourtant le démontrer rigoureusement s'est révélé extrêmement difficile.
- 1879 : Alfred Kempe publie une « démonstration ». Acceptée pendant 11 ans.
- 1890 : Percy Heawood trouve une erreur fatale dans la preuve de Kempe. Tout est à refaire. Heawood réussit à prouver une version affaiblie (5 couleurs suffisent — bien plus facile).
- 1900-1970 : nombreuses tentatives. Tous échouent.
- 1976 : Kenneth Appel et Wolfgang Haken, à l'Université de l'Illinois, annoncent la preuve. Mais leur méthode est révolutionnaire et controversée.
💻 La preuve par ordinateur (1976)
L'approche d'Appel et Haken consiste à :
- Réduire le problème à 1 936 configurations de cartes (« cas critiques »)
- Pour chacune, démontrer qu'on peut la colorier avec 4 couleurs
- Vérification effectuée par un ordinateur IBM 370, en 1 200 heures de calcul
Au total : une preuve qui prend des dizaines de milliers de pages de sortie d'ordinateur. Aucun humain ne peut la lire ni la vérifier intégralement.
📜 La controverse philosophique
Le problème des 4 couleurs a ouvert une question fondamentale en philosophie des mathématiques : qu'est-ce qu'une preuve ?
- Approche classique : une preuve est une suite finie d'arguments compréhensibles et vérifiables par un humain
- Approche informatique : une preuve est un objet formel vérifiable algorithmiquement, même si trop long pour un humain
Aujourd'hui (2026), les deux approches coexistent. Les preuves par ordinateur sont devenues courantes en mathématiques discrètes (théorème de Kepler 1998, conjecture de Boolean Pythagorean Triples 2016, etc.).
🧮 Le théorème en langage rigoureux
Théorème des quatre couleurs (Appel-Haken, 1976) : tout graphe planaire est 4-coloriable. Autrement dit, tout graphe qui peut être dessiné dans le plan sans croisement d'arêtes peut être colorié avec 4 couleurs de sorte que deux sommets adjacents aient des couleurs différentes.
Le passage « carte géographique » → « graphe » se fait en remplaçant chaque région par un sommet, et en reliant par une arête les sommets de régions voisines. C'est ça, la théorie des graphes.
⚡ Pourquoi 4 et pas 3 ou 5 ?
Pourquoi pas 3 ? Il existe des cartes simples qui exigent vraiment 4 couleurs. Exemple : 4 régions toutes voisines deux à deux (4 pays se rencontrant en un point central, comme le tétrarque). Aucune façon de les colorier avec 3 couleurs.
Pourquoi pas plus de 4 ? C'est exactement ce que démontre le théorème : 4 couleurs suffisent, jamais plus. Et cette « jamais plus » est très difficile à prouver — c'est le cœur du défi qui a duré 124 ans.
🌍 Applications réelles
- Coloriage de cartes évidemment (atlas, manuels scolaires, panneaux de signalisation)
- Attribution de fréquences radio (deux antennes voisines doivent émettre sur des fréquences différentes)
- Allocation de registres dans les compilateurs (deux variables utilisées en même temps doivent être dans des registres différents)
- Emploi du temps : deux cours impliquant un même prof ne peuvent pas être à la même heure (problème de coloration de graphes plus général)
- Réseaux sociaux : détection de communautés via colorations partielles
🎓 Lien avec le programme BAC SM
Le théorème des 4 couleurs n'est pas au programme, mais il illustre des notions du chapitre Graphes (programme bac scientifique général) :
- Graphe : ensemble de sommets et d'arêtes
- Graphe planaire : dessinable sans croisement
- Coloration de graphe : attribution de couleurs aux sommets
- Nombre chromatique : minimum de couleurs nécessaires (le théorème dit que pour les graphes planaires, ce nombre est ≤ 4)
Tout le BAC SM marocain n'a pas la théorie des graphes au programme officiel, mais c'est un chapitre que tu rencontreras certainement après le BAC, en classe prépa ou en cursus ingénieur / informatique.
🧠 Réflexion finale
Le théorème des 4 couleurs marque la fin d'un certain âge des mathématiques : celui où une preuve était nécessairement élégante, concise, lisible. À partir de 1976, certaines vérités mathématiques deviennent établies sans être comprises dans le détail par un seul humain.
C'est inconfortable, mais c'est aussi une promesse : la collaboration entre humains et ordinateurs permet de résoudre des problèmes qui résistent depuis des siècles. Les BAC SM d'aujourd'hui sont la première génération à grandir dans ce monde. Et peut-être que tu participeras, toi aussi, à démontrer une vérité qu'aucun humain ne pourrait vérifier seul.