teorema dels quatre colors

m

Cartografia

Teorema proposat per F. Guthrie a Augustus De Morgan el 1852, que afirmava que eren suficients quatre colors diferents per a colorar qualsevol mapa (és a dir, qualsevol divisió d’un pla o d’una esfera en regions), de manera que les regions amb frontera comuna tinguessin coloracions diferents.

Aquest teorema restà sense demostrar (tot i que en general n’era acceptada la validesa) fins l’any 1976 quan els matemàtics Kenneth Appel i Wolfgang Haken demostraren a partir de càlculs realitzats per ordinador que, efectivament, n'hi ha prou amb quatre colors per a colorar un mapa sense que hi hagi dues divisions adjacents del mateix color.