Teorema dei quattro colori

Il teorema dei quattro colori afferma che sono sempre sufficienti quattro colori per colorare una mappa (di regioni connesse, che non si tocchino solo in un numero finito di punti) senza che due regioni vicine abbiano lo stesso colore. La dimostrazione è molto pesante, tanto che è stato necessario usare un computer per testare un migliaio di "configurazioni di base" a cui si può ridurre qualunque mappa e mostrare che erano tutte colorabili. Immaginiamo ora di avere un insieme di cerchi - tutti dello stesso raggio - che si toccano tra di loro, come in figura. Parrebbe che in questo caso bastino tre colori per evitare che due cerchi che si tocchino abbiano lo stesso colore, come si vede nell'esempio qui sotto. Ma non è così: esistono esempi dove sono necessari quattro colori. Ne riuscite a trovare uno?

   

   

Problema tratto da Gifted Mathematics.