Une nouvelle vidéo, consacrée au théorème des 4 couleurs, qui dit qu’on peut toujours colorier n’importe quelle carte géographique avec seulement 4 couleurs !
Pour ceux qui aiment les coloriages et les maths, mais qui veulent du plus lourd, allez donc voir mon billet sur les courbes remplissantes, qui explique pourquoi on peut toujours colorier un carré avec un crayon infiniment fin.
26 Comments
A reblogué ceci sur becdecane's blog.
Le théorème des 4 coleurs a peu d’intérêt en pratique, mais le coloriage en général est très très utile 😉
Très bon. Il y a aussi le cas de l’Antarctique qui est intéressant !
Pingback: Le théorème des 4 couleurs | C@f&...
Pingback: Le théorème des 4 couleurs | Scie...
Aie, aie, et votre prof de philo ne remarquait rien ? Ceci dit vous avez une bouille et une façon de dire les choses à éveiller notre intérêt pour tout et… même n’importe quoi ! 😉
Le théorème a d’autant moins d’intérêt en pratique qu’il est très facile de montrer qu’on peut toujours colorier une carte avec 6 couleurs. En effet, si on calcule le nombre moyen de voisin d’un pays, on montre que celui-ci est strictement inférieur à 6 (pour régler le problème des pays qui se touchent en un point unique, on considère que pour être voisin, il faut avoir au moins 1 cm de frontière commune). Conclusion, il y a toujours au moins un pays avec au plus 5 voisins. Donc de deux choses l’une:
– la carte à moins de 6 pays et alors, il est clair que 6 couleurs suffisent;
– sinon, on retire un pays qui à au plus 5 voisins. On obtient une carte plus petite qu’on peut colorier par récurrence. Et quand on rajoute le pays, ses voisins utilisent au plus 5 couleurs. Et comme on a 6 couleurs à disposition, on peut toujours colorier ce pays.
Il y a aussi deux très très jolies preuves courtes que 5 couleurs suffisent.
Un autre exemple intéresant d´utilization de l´ordinateur :
http://fr.wikipedia.org/wiki/Nombre_de_Sierpi%C5%84ski
http://fr.wikipedia.org/wiki/Seventeen_or_Bust
Un autre usage de l’ordinateur est la démonstration vérifiée complètement par ordinateur du théorème des quatre couleurs due à Georges Gonthier aidée de Benjamin Werner.
http://www.larecherche.fr/actualite/mathematiques/gilles-dowek-preuve-formelle-du-theoreme-4-couleurs-01-04-2005-75302
http://research.microsoft.com/~gonthier/4colproof.pdf
Sympa ! 🙂 Par contre l’extraterritorialité des ambassades est une légende. J’étais très déçu de l’apprendre, d’ailleurs…
En revanche l’enclave espagnole de Livia dans la France ne l’est pas!
https://www.google.fr/maps/place/Font-Romeu-Odeillo-Via/@42.473091,2.0392493,12z/data=!4m2!3m1!1s0x12a56237be747b9f:0x8ed9378e8277dd35?hl=fr
Et l’enclave de Valreas du département du Vaucluse dans le celui de la Drôme.
https://www.google.fr/maps/place/Valr%C3%A9as/@44.3417691,5.0107145,11z/data=!4m2!3m1!1s0x12b57c3df5f926d1:0x40819a5fd8fbe80?hl=fr
Sans oublier , puisque nous parlons d´histoire (¿ de géographie (de maths) ?) du pacte de Ceret :
http://fr.wikipedia.org/wiki/Pacte_de_C%C3%A9ret
ni du vrai fait que vous nous volâtes le Roussillon, qui était poutant bien notre.
http://fr.wikipedia.org/wiki/Guerre_des_faucheurs
http://fr.wikipedia.org/wiki/Roussillon_(province)#Histoire
http://lit-et-raire.blogspot.com.es/2014/09/referendums-tiempo-y-democracia.html
Effectivement, ça fait partie des choses auxquelles on pense jamais.
Tout comme ma prof de maths un jour m’a expliqué que la stabilité d’un corps est plus solide sur 3 points et non pas sur 4. Encore aujourd’hui j’ai du mal à le concevoir, mais il paraît que notamment les avions sont plus stables en atterrissage sur 3 point, plutôt que sur 4.
Il reste à se demander pourquoi les voitures en ont 4 ..?
Bonjour,
Je suis un grand fan de votre blog et le suis avec beaucoup d’attention. Je commencerais donc par vous féliciter pour votre travail.
J’ai surement une remarque idiote qui ne dois pas respecter les règles mais s’il y a un gros pays entouré de disons 10 pays. Il n’existe aucun points avec plus de trois pays et aucun pays n’est en deux parties et pourtant il faudrait chaque pays d’une couleur différentes non?
Evidemment c’est une fois avoir posté cela que je me suis rendu compte de l’absurdité de ma remarque… Le gros pays peut être jaune et tous les autres rouge et bleu alternés.
Très surprenant ce théorème, j’aime beaucoup!
Eh oui c’est ça !
D’ailleurs dans beaucoup de cas pratiques on s’en sort avec seulement 3 couleurs. On est forcés d’aller à 4 notamment quand un pays est complètement bordé par exactement 3 autres. Car on a alors une situation où les 4 pays se touchent tous les uns les autres.
Soit 4 points A,B,C,D,
on peut relier avec un crayon sur une feuille de papier
A et B, A et C, A et D, B et C, B et D, C et D
sans que les liaisons ne se coupent.
Avec 5 points, une liaison en coupera forcément une autre ; impossible de faire autrement pour relier tous les points.
Reste à savoir quel outil mathématique pourrait démontrer cela pour un plan.
Une solution est de faire un pont, mais alors on est en 3D.
Le théorème que vous citez est une conséquence du théorème de Kuratowki (voir https://fr.wikipedia.org/wiki/Graphe_planaire) qui est à l’origine de l’un des plus beaux résultats de la théorie des graphes: le théorème des mineurs de Robertson-Seymour https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Robertson-Seymour. 🙂 Une suggestion pour science étonnante !
« Les méthodes associées à ces graphes permettent de résoudre des problèmes comme l’énigme des trois maisons et d’autres plus difficiles comme le théorème des quatre couleurs. » Wiki
Merci Pierre pour l’info. Je ne connaissais pas ces études des graphes planaires et c’est très intéressant de voir comment les mathématiques s’y prennent pour traiter le problème.
La nostalgie…ça ma rappelé mes cours de math du lycée avec les graphes et tout 🙂
Un bel exemple de complexité de frontières (interieures) vient des Emirats Arabes Unis. Plusieurs émirats sont en petits morceaux de ci de la. Mais le plus beau, dans les EAU, il y a une enclave du sultanat d’Oman, et dans cette enclave, une enclave d’un des EAU. Là, faut faire marcher les crayons de couleur !
Bonjour, je pense avoir trouvé un contre exemple mais je ne sais pas ou vous le montrer , je n’ai ni twitter ni Facebook