#四色定理# #为什么只用四种颜色就能绘制任何地图# #冷知识#
四色定理（英语：four color theorem）又称为四色地图定理（英语：four color map theorem），是一个数学定理：如果在平面上划出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样。

“是否只用四种颜色就能为所有地图染色？”的问题最早是由南非数学家法兰西斯·古德里在1852年提出的，被称为“四色问题”或“四色猜想”。

1976年，数学家凯尼斯·阿佩尔和沃夫冈·哈肯借助电子计算机首次得到一个完全的证明，四色问题也终于成为四色定理。这是首个主要借助计算机证明的定理。