绘制一张地图，至少需要用几种颜色才能区分不同区域？

本文讲述了四色定理的历史和证明过程。四色定理最初由佛朗西斯·格里斯在1852年提出，指出任何地图只需四种颜色即可区分所有相邻区域。经过多位数学家的努力，包括奥古斯都·德·摩根、威廉·哈密尔顿和阿瑟·凯莱，问题被归纳为“四色猜想”。1879年，肯普发表了一个证明，但1890年被赫伍德指出错误。赫伍德随后证明了五色定理，为四色猜想的解决提供了重要突破。20世纪70年代，随着计算机技术的发展，阿沛尔和哈肯教授利用计算机成功证明了四色定理，结束了这一长达一个多世纪的数学难题。