Come la maggior parte degli appassionati di matematica sa, una delle curiosità matematiche più famose riguarda il cosiddetto “Problema dei quattro colori”.
Per chi non lo conoscesse, il quesito è: “Per dipingere una qualsiasi carta geografica politica qual è il minimo numero di colori necessario?”
Partendo dal presupposto che le regioni confinanti dovranno essere dipinte con colori diversi per poterle distinguere, è noto da tempo che sono sufficienti solo 4 colori.
Ma come dimostrarlo?
E’ facilmente dimostrabile che esistono carte geografiche per cui tre colori non sono sufficienti, ma è stato alquanto complicato dimostrare che quattro colori invece lo sono.
La prima volta in cui ci si pose questo problema infatti fu a metà del 1800, e ci vollero anni prima che si arrivasse a delle dimostrazioni, all’interno delle quali si scoprirono però successivamente dei vizi nel ragionamento.
Fu dimostrato il teorema dei 5 colori, per cui 5 colori sono sufficienti per dipingere una cartina politica, ma nessuno riuscì a disegnare una mappa per cui 4 colori fossero insufficienti.
Quindi rimaneva aperto il dilemma: abbiamo dimostrato che tre colori sono sicuramente insufficienti, abbiamo dimostrato che cinque colori sono sufficienti, ma quattro colori possono coprire tutti i casi possibili?
Solo nel 1976 si arrivò alla dimostrazione del teorema.
Il problema è come ci si arrivò.
Nessuna dimostrazione elegante e lineare tanto cara ai matematici puristi è stata prodotta, “semplicemente” il problema fu risolto grazie alla tecnologia:
attraverso il supporto di un computer al quale venne dato il compito di elaborare le possibili disposizioni delle regioni si arrivò alla tanto agognata soluzione.
Non esistono carte geografiche per cui quattro colori non sono sufficienti.
Questa soluzione ha lasciato con l’amaro in bocca la maggior parte della comunità matematica che ancora oggi lavora per ottenere una dimostrazione “tradizionale”.
Se questo articolo vi ha incuriosito, cosa aspettate?
Potreste essere i primi a dimostrare elegantemente questo annoso problema, oppure chissà, a disegnare una mappa in cui quattro colori non bastano, alla faccia della tecnologia!