De fire farver
Teoremet om de fire farver
Det er dyrt at producere kort, der er farvelagte. Siden begyndelsen af 1800-tallet har man farvelagt kortene, så to lande, der deler grænse, har en forskellig farve. Kortproducenter har derfor haft en interesse i at finde frem til det mindste antal farver man skal bruge, når et kort skulle farvelægges. Antallet af farver de eksperimentelt er kommet frem til, er fire farver.
I dag ved man, at nogle plane kort kræver færre farver, og at intet kort kræver flere end fire farver. Fire farver er også nok til at farvelægge kort på en kugle.
Matematikeren Francis Guthrie (1831-1899) var den første, der antog, at fire farver var nok. Mange forsøgte derefter at bevise antagelsen. Det forblev et uløst problem indtil 1976, hvor det lykkedes matematikerne Kenneth Appel (1932 - ) og Wolfgang Haken (1928 - ) at bevise fire-farver teoremet.
I 1977 opdagede metematikeren Szilassi en figur, der brød bed teoremet. Figuren kaldes for Szilassi polyhedron.
Kommentarer