Cmo colorear mapas, Teorema de los 4 colores

El teorema de los cuatro colores consiste bsicamente, en que cualquier

mapa puede ser coloreado solamente con cuatro colores distintos de tal
manera que dos regiones adyacentes (es decir, que tienen una frontera en
comn y no slo un punto) no tengan el mismo color. Aqu te ponemos un
ejemplo con el mapa de Espaa. Si quieres puedes intentarlo t, de otra
manera o con otros cuatro colores distintos con el mapa de Espaa que est
en blanco y que puedes imprimir con la hoja de ejercicios que te ofrecemos
ms adelante.

Aunque parece un problema no matemtico, sin embargo lo es y su

demostracin no es nada sencilla, ha costado mucho esfuerzo y 125 aos el
conseguirlo.
 Como tantos otros problemas matemticos, comenz de una manera casual.
En 1850 un ingls estudiante de leyes, Francis Guthrie se entretena
intentando colorear el mapa de Inglaterra utilizando la menor cantidad de
colores posibles e intent hacerlo con slo cuatro colores sin conseguirlo,
pero tena la intuicin de que se poda hacer.

Le cont a su hermano Frederick su problema. Frederick haba estudiado

con un prestigioso matemtico ingls de la poca llamado De Morgan, que
no supo solucionar el problema. De Morgan le envi una
carta a Hamilton (otro matemtico ingls importante) que no abord el
problema .

El caso es que el problema de los cuatro colores empez a adquirir fama

de tal forma que en 1878 el profesor Cayley lo propuso oficialmente a la
London Mathematical Society (una de las sociedades de matemticos ms
importantes del mundo) como un problema a resolver.

Al poco tiempo A. B. Kempe propuso una demostracin que public en

1879. Esta demostracin fue, en principio, aceptada y dio mucha fama
a Kempe, hasta que Heawood descubri en 1890, 11 aos despus, que la
demostracin de Kempe tena un error, Heawood sigui trabajando en el
problema pero no lo solucion, sin embargo consigui probar que con cinco
colores si se poda colorear cualquier mapa.

Tambin se supo que tres colores no eran suficientes, de modo que slo
quedaba por probar o refutar los cuatro colores.

El problema sigui dando vueltas. Algunos matemticos pensaron incluso,

que no todo mapa se poda colorear con cuatro colores.

Por fin!, en 1976 Appel y Haken dieron una prueba del

teorema. Demostraron mediante un complicado programa de ordenador que,
efectivamente cuatro colores eran suficientes para colorear cualquier mapa.

De nuevo surgieron objeciones. El proceso del ordenador, es decir los pasos

internos del ordenador no podan seguirse ni comprobarse cuando la
mquina los haca; y para verificarlos "a mano", eran tantos, que
habra hecho falta toda una vida para realizarlos. De modo que algunos
matemticos han tenido muchas reservas con respecto a esta demostracin.

Por ltimo, en 1996, Neil Robertson; Daniel P. Sanders; Paul

Seymour y Robin Thomas, de la Escuela de Matemticas del Georgia
Institute of Technology de Estados Unidos, publicaron una nueva
prueba que no tena los inconvenientes de la demostracin
de Appel y Haken.