Author Guidelines · 2026-02-21

四色定理的证明历程（1852-1976）

摘要

本文回顾了四色定理的证明历程。1852年弗朗西斯·格思里提出这一猜想，随后奥古斯都·德·摩根、亚瑟·凯莱、阿尔弗雷德·肯普等数学家相继研究。肯普在1879年声称证明了定理，但他的证明在11年后被珀西·希伍德发现存在漏洞。最终，定理于1976年由肯尼斯·阿佩尔和沃尔夫冈·哈肯利用计算机辅助证明得证，成为数学史上首个主要依赖计算机证明的定理。

内容框架与概述

本文以时间顺序呈现四色定理的证明历程。首先介绍格思里提出问题的背景，以及德·摩根与哈密顿的通信记录，这是关于四色问题的最早书面记载。继而阐述凯莱将问题简化为三次地图的重要贡献，这一简化使后续研究得以聚焦。随即详细分析肯普运用“肯普链”方法的首次证明尝试，以及他在1879年发表的长篇论文。随后的篇幅说明希伍德在1890年发现肯普证明中的致命错误，以及此后数学家们继续探索的历程。最后介绍1976年阿佩尔和哈肯如何借助计算机完成证明，并简要提及此后对证明的简化工作。