2，四色猜想证明2，1，引理二种色不能为三互接壤包围国图形接壤隔离填色证明假定二种色能为三互接壤包围国图形接壤隔离填色，如减去一种色就会有留下三二一个接壤包围国图形的可能情况留下三个是三互接壤包围国图形用一种色 。
美国伊利诺斯大学的两位教授阿贝尔和哈根，利用电子计算机证明了地图的四色猜想是正确的他们将地图的四色问题化为2000个特殊的图的四色问题，然后在电子计算机上计算了1200个小时，终于证明了四色问题 。
1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了11年后，即1890年，数学家赫伍德以自己的精确计算指出肯普的证明是错误的不久 。
1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明四色猜想的计算机证明，轰动了世界 已赞过 已踩过lt 你对这个回答的评价是？ 评论 收起 。
公开宣称四色猜想可用寻找可约图形的不可避免组来证明他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约 。
四色猜想实际上就是说在平面上不存在5个及以上的两两相邻区域因为如果存在5个及以上的两两相邻区域，需要用到的颜色势必不止4种 。
【四色定理证明】
推荐阅读
- 请高手讲解戴维南定理的详细描述
- 等比定理可以逆用吗
- 护士实习证明三乙可以吗
- 苏州姑苏区可以开待业证明吗
- 判决离婚的法定理由是什么
- 网上报名为什么不动产证明上传不了
- 水果怎样挑选更好吃
- 无工作证明怎么开
- 菱形的判定定理是什么
- 阿基米德定理