地図の隣り合う地域を別の色にするには、何色用意すれば足りるだろうか。地域が増えるほど必要な色も際限なく増えそうに見える。平面上の地図を一定の条件で扱うと、四つの色で必ず塗り分けられる。これが四色定理である。
隣り合うとは境界を共有することである
ここでの隣接は、境界の線を共有することを指す。一点で触れるだけの地域は、同じ色でもよい。また、各地域を一続きの領域として扱うなどの条件がある。離れた飛び地を必ず同色にするという追加ルールは、別の制約になる。
各地域を点に置き換え、隣り合う地域の点同士を線で結ぶと、地図の問題をグラフの頂点の塗り分けへ移せる。海岸線が細かいかどうかよりも、どの地域とどの地域が接しているかが本質なのである。
四つ必要な地図と、五つ要らない証明
互いに隣接する四地域があれば、その四つには別々の色が必要になる。そのような配置を平面に作れるため、三色であらゆる地図を扱うことはできない。四色が必要な例を見つけることと、どんな地図にも四色で足りると示すことは別の仕事である。
いくつかの地図を実際に塗って成功しても、まだ試していない複雑な地図が残る。定理の証明には、地域の数や形がいくら変わっても破れない理由が必要になる。ここに、簡単に言える問題と、証明の難しさの隔たりがある。
計算機が証明の一部を担った
イリノイ大学のアッペルとハーケンによる1976年の証明は、計算機を用いた多数の配置の確認を含んだ。無限にある地図を一枚ずつ試したのではなく、理論で問題を有限の確認作業へ結び付けた点が重要である。
四色定理は、地図の色を節約する話であると同時に、何をもって数学の証明を確かめたと言えるかを考える題材にもなった。結論が短くても、その確実性を支える作業は短いとは限らない。身近な塗り分けの問題が、証明と計算の関係へつながっているのである。
平面や球面の地図が対象となる。穴のある曲面上の地図や、飛び地を同色にする追加条件では、必要な色数の問題が変わる。
参考資料
- University of Illinois：Four Color Theorem
- University of Illinois Mathematics Library：Four Color Theorem Resources
参考資料確認日：2026年10月14日。