Çizgeler ve AğlarMaps

1852’de botanik öğrencisi Francis Guthrie İngilteredeki bölgelerin haritasını renklendirmek zorundaydı. Denediği her harita için dört rengin yeterli olduğunu gözlemledi, ancak her harita için bunu gösterecek bir kanıt bulmayı başaramadı. Sonuçta bunun bir hayli zor bir soru olduğu ortaya çıktı ve dört renk teoremi adıyla anılmaya başladı.

İlerleyen 100 yılda pek çok matematikçi dört renk teoremi için “kanıtlar” yayınladılar, ama hepsinde sonradan hatalar bulundu. Bu geçersiz kanıtlardan bazıları o kadar ikna ediciydi ki içerdikleri hatayı bulmak 10 yıldan uzun sürdü.

Uzunca bir süre matematikçiler dört rengin yeterli olduğunu da kanıtlayamadılar, dörtten fazla renge ihtiyaç duyulan bir harita da bulamadılar.