四色定理
よんしょくもんだい
四色定理（Four Color Theorem）とは、「平面上のどんな地図でも、隣り合う領域が異なる色になるように塗り分けるには、4色あれば十分である」という数学の定理。
最終更新: 2026/1/26
四色定理とは
条件
- 平面（または球面）上の地図であること。
- 飛び地（離れた場所にある領土）は考慮しない。
- 1点で接しているだけの場合は隣接とみなさない。
歴史的意義
「美しくない証明」として有名です。 それまでの数学者は「紙とペンによるエレガントな論理」を求めていましたが、四色定理の証明は「膨大な計算をコンピュータにやらせる」という力技でした。 これは数学界に論争を巻き起こしましたが、現在ではコンピュータを使った証明も一般的になっています。
由来・語源
(記述募集中)
使用例
(記述募集中)
関連用語
- 関連: