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.
Depuis la nuit des temps, la lumière que l'homme reçoit est celle du soleil. Gratuite, efficace, cette lumière présente un inconvénient majeur : elle n'éclaire pas la nuit. C'est alors que dans le cerveau de l'homme germe une idée : « Et si je domestiquais le feu ? »
Aussitôt dit aussitôt cuit, le feu fait son apparition comme mode d'éclairage(2), et il va le rester jusqu'au XIXe avec cependant des améliorations (lampe à huile, chandelle, bougie, bec à gaz). Ainsi était le monde jusqu'au jour où Joseph Swan inventa la lampe à incandescence, idée qu'améliora Thomas Edison. Un procès plus tard à la faveur de Swan(3), la lampe électrique fut commercialisée.
(2) ↑ Avec en prime de quoi cuire son steak qui, sans cuisson, serait un peu coriace.
(3) ↑ Ce procès entre Swan et Edison est toujours d'actualité : aujourd'hui c'est le combat entre ampoule a vis (Edison) et ampoule à baïonnette (Swan).
La bouteille de Leyde est l'ancêtre du condensateur(4).
(4) ↑ Le condensateur est un dipôle composé de deux plaques conductrices séparées par un milieu isolant, qui sert notamment à réaliser les flash d'appareils photos.
