在地图上的四色原理又叫四色定理或四色猜想，是指每个平面地图都可以只用4种颜色来染色，而且没有两个邻接的区域颜色相同。

这个定理最初是由英国数学家Francis Guthrie在1853年提出的猜想，随后经过很多人证明，其中包括肯普的证明，但都未成功。直到1976年借助电子计算机才证明了四色问题，使其成为定理，这是第一个借助计算机证明的定理。