Combien de couleurs faut-il pour colorier n'importe quelle carte, sans que deux pays voisins aient la même couleur ? 

Posée en 1852, cette question d'apparence simple a résisté plus d'un siècle aux mathématiciens. En repartant d’une formule d'Euler sur les polyèdres,

on montrera pas à pas que 6 couleurs suffisent, puis 5 grâce à une idée astucieuse de Kempe. 

On verra aussi que de grands esprits se sont trompés en route, avec beaucoup de « preuves » fausses ! Il a fallu attendre 1976 et l'aide d'un ordinateur

pour donner une réponse définitive à cette question.

 

Lieu : Campus Pierre et Marie Curie, salle de TD 101 du couloir 24-25