Le théorème des quatre couleurs affirme qu'il est possible de colorier avec seulement quatre couleurs une carte composées de pays (techniquement un ensemble de parties formant une partition d'un ensemble) de tels manières que deux pays coloriés de la même façon n'aient aucune frontière commune.
Ce résultat fut conjecturé en 1852 par Francis Guthne.
De nombreuses tentatives pour le prouver ont été tentées en vain, jusqu'en 1976, date à laquelle deux Américains – Appel et Haken – l'ont démontrée grâce à l'outil informatique(1).
(1) ↑ C'est la raison pour laquelle cette démonstration partage encore actuellement la communauté mathématique, au sujet notamment de l'algorithme qui traita les 1 478 cas critiques.
Après avoir vu comment s'enfoncer sous terre permettait de perdre du poids, de même que grimper en haut d'une montagne, nous allons voir à quels autres points de la Terre nous pouvons peser moins lourd.
Adulant les périples tortueux, vous voilà projeté au fin fond d'une savane africaine, jumelles à la main, tout autant apprêté à épier le coït d'une sauvage bête endurcie qu'à abattre les menues bestioles qui galopent sous vos pas. Mais détrompez-vous cher affidé, votre mission prophétique vous propose une tâche autrement plus noble : vous êtes censé repérer et reconnaître jaguars, léopards, et guépards.
