四色定理

1976年美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，做了100亿种判断，终于完成了四色定理的证明。四色定理（四色猜想）于1852年提出以来己有164年，通俗的说法是；每个平面地图都可以只用四种颜色来着色，而且没有两个相邻的区域颜色相同...

四色定理原证:在平面地图上,给任意区间涂色,为使相邻区间异色,最少需4种颜色。 或证:在同一平面内,最多只可能使4个区间两两相邻。 或证:在同一平面内,不可能有5个区间两两相邻。 两两相邻的情况 或证:在同一平面内取5点，若用线使5个顶点两两相连，则必有线与其它线相交于非顶点...