四色定理（よんしょくていり）とは、平面に描いたどんな地図でも、隣り合う領域が同じ色にならないように4色で塗り分けられるという定理です。1852年に地図を塗っていた学生が気づいた問いで、1879年に一度「証明」されたものの11年後に誤りが見つかり、最終的に証明されたのは1976年、しかもコンピュータによる場合分けが必要でした。2026年9月には、この定理の新しい証明が報道され、GIGAZINEの2026年9月のアクセス解析では人気記事の10位に入っています。
問題の意味は小学生でも分かりますが、証明は数学者が150年近く手を焼いたものです。この記事では、言葉の定義から入り、3色では足りない例、5色なら足りる理由、証明の歴史、2026年の新証明で何が変わったかを順に整理します。途中に、手で試せる塗り分け練習を3問置きました。
「隣り合う」の意味を先に決める
四色定理は、言葉の決め方で答えが変わる問題です。英語版Wikipediaは、隣り合う（adjacent）とは「長さがゼロでない共通の境界を持つこと」だと説明しています。改訂新版世界大百科事典も、2国の境界が有限個の点だけの場合は同じ色を使ってよいとしています。コトバンクに収録された百科事典マイペディアは、境を接する国は色を変え、1点を共有するだけなら同じ色でもよい、と書いています。
たとえば田の字のように4つの領域が中央の1点で集まっている地図は、斜めどうしの領域が1点で接するだけなので同じ色でよく、2色で塗れます。この決め方をしないと、1点で何個でも領域を集められるので、何色あっても足りなくなります。
もうひとつの約束が飛び地です。日本語版Wikipediaは、飛び地を本国と必ず同じ色にする条件を付けると、5色が必要な例が作れると説明しています。四色定理が扱うのは、各領域がひとつにつながった地図です。
3色では足りない地図
4色が必要になる地図は、すぐに作れます。日本語版Wikipediaが挙げる例は、ひとつの領域を奇数個の領域が囲んでいる地図です。周りの領域は輪になって順に隣り合うので、偶数個なら2色を交互に使えますが、奇数個だと交互に塗ると最初と最後がぶつかり、3色目が要ります。すると中央の領域は、周りの3色のどれとも違う4色目で塗ることになります。
もっと小さい例は、4つの領域がどの2つも互いに隣り合っている地図です。たとえば、円を3つの扇形に分けて中央に小さな円を置くと、扇形3つは中央の円と互いに隣り合い、扇形どうしも隣り合うので、4つの領域すべてに別の色が必要です。練習3で実際に確かめられます。
一方で、5つの領域がどの2つも互いに隣り合う地図は、平面には描けません。これは四色定理の「理由」ではなく、「5色が必要な単純な例は作れない」という事実です。四色定理の難しさは、互いに隣り合う4領域のような分かりやすい形以外にも4色が必要になる地図はいろいろあるのに、5色が必要な地図はどう作っても現れない、という点を全部の地図について示さなければならないことにあります。
5色なら足りる理由（五色定理）
4色の証明が長い一方で、5色で足りることは1890年にパーシー・ヒーウッドが短く証明しました。考え方の骨格は次のとおりです。
- どんな地図にも、隣が5つ以下の領域が必ずある。これはオイラーの多面体公式から導かれます。
- 隣が4つ以下の領域は、その領域をいったん取り除いて残りを塗ってから戻せば、5色のうち余った色で塗れる。
- 隣が5つの領域については、周りの5色のうち2色を入れ替える操作（ケンプ鎖）を使うと、必ず1色を空けられる。
この議論を4色でやろうとしたのが1879年のアルフレッド・ケンプの証明です。隣が5つの領域で2色の入れ替えを2回同時に行う部分に穴があり、ヒーウッドがそこを指摘しました。ただし、ケンプの「色を入れ替える」という道具そのものは正しく、のちの証明の中心になっています。
塗り分け練習
地図を見て、3色で塗れるか、4色が必要かを考えてみてください。色鉛筆がなくても、領域にA・B・Cなどと色の記号を書くだけで試せます。答えは各問の「答え」を開くと見られます。
練習1：真ん中を4つの領域が囲む地図（6領域）
答え
3色で塗れます。 周りのA・B・C・Dは4つの輪なので、AとCを同じ色、BとDを同じ色にできます。EはA〜Dすべてに接するので3色目です。FもA〜Dすべてに接しますが、Eとは接しないので、Eと同じ3色目が使えます。
練習2：真ん中を5つの領域が囲む地図（7領域）
答え
4色が必要です。 周りのA〜Eは5つの輪なので、2色を交互に使うと最後のEが最初のAとぶつかり、3色目が要ります（例：A・Cを1色目、B・Dを2色目、Eを3色目）。中央のGは5つすべてに接するので4色目です。FもA〜Eすべてに接し、Gとは接しないので、Gと同じ4色目で塗れます。領域の数は練習1より1つ多いだけですが、輪が奇数個になったことで必要な色が増えました。
練習3：円を3つに分けて中央に小さな円（6領域）
答え
4色が必要です。 扇形A・B・Cは中央で順に隣り合い、どの2つも境界線を共有しています。中央のDは3つの扇形すべてに接するので、A・B・C・Dの4つはどの2つも隣り合い、4色が要ります。外側のEはA・B・Cに接するのでDと同じ4色目、FはB・CとEに接するのでAと同じ色が使えます。「4つの領域が互いに隣り合う」形が、3色で足りない最小の例です。
練習で分かるように、必要な色の数を決めるのは領域の数ではなく、隣り合い方です。領域が100あっても2色で足りる地図（市松模様）があり、6領域でも4色が要る地図があります。
四色定理の歴史
- 1852フランシス・ガスリーの着想イングランドの地図を塗っていて4色で足りることに気づく。弟を通じてド・モルガンに伝わる
- 1878ケーリーが学会で問題提起ロンドン数学会で解決の有無を問う。翌年、論文として発表
- 1879ケンプの「証明」色を入れ替えるケンプ鎖の手法を導入。当初は正しいと受け入れられる
- 1890ヒーウッドが誤りを指摘、五色定理を証明隣が5つの領域の扱いに穴があることを示し、5色で足りることは証明した
- 1976アッペルとハーケンのコンピュータ証明1,000時間を超える計算で、約1,500の配置がすべて縮められることを確認
- 1996〜97ロバートソン・サンダース・シーモア・トーマスの簡略化配置を633個、放電の規則を32個に減らし、2乗時間の塗り分けアルゴリズムも示す
- 2005ごろゴンティエによる形式検証633配置に基づく証明全体を、証明支援系Coqで機械的に検証
- 20266人の研究者による新証明8,202配置の集合で多数の配置を同時に縮める。ほぼ線形時間の塗り分けアルゴリズム
ガスリーからケンプまで
MacTutorの数学史サイトによると、フランシス・ガスリーは弟のフレデリックを通じてロンドン大学のオーガスタス・ド・モルガンに問題を伝え、ド・モルガンは1852年10月23日付のハミルトンへの手紙でこの問題に触れています。日本大百科全書も、学生だったガスリーがド・モルガンに証明の真偽を尋ねたと説明しています。印刷された最初の文献は1878年のケーリーによるもので、ケーリーはロンドン数学会で、この予想が解けているかを問いかけました。
翌1879年、アルフレッド・ケンプが証明を発表します。ケンプは、4色で塗れない地図があると仮定し、その中に必ず現れる部分配置を列挙して、どの配置も色の入れ替えで消せることを示そうとしました。この「必ず現れる配置の集合（不可避集合）」と「消せる配置（可約配置）」という枠組みは、のちの証明すべてに受け継がれています。1890年にヒーウッドが指摘した穴は、隣が5つの領域について2組の色を同時に入れ替える部分でした。
コンピュータ証明とその後
1976年、イリノイ大学のケネス・アッペルとヴォルフガング・ハーケンは、約1,500の配置からなる不可避集合を作り、各配置が可約であることをコンピュータで確認しました。MacTutorによれば検証には1,200時間の計算機の時間を使い、日本大百科全書は3台の計算機で千数百時間を費やしたと書いています。問題文がこれほど簡単な定理の証明が人の手で読み通せない形になったことは、当時大きな議論を呼びました。
1996〜97年、ニール・ロバートソン、ダニエル・サンダース、ポール・シーモア、ロビン・トーマスの4人が、配置を633個、放電法の規則を32個に減らした新しい証明を発表しました。トーマス本人の解説ページは、アッペルとハーケンの証明は手作業の部分も非常に複雑で、全体を検証した人はいないと思われると述べ、自分たちも検証を途中で断念したことを明かしています。同時に、地図を実際に4色で塗るアルゴリズムが、従来の4乗時間から2乗時間に改善されました。
さらにジョルジュ・ゴンティエは、この633配置の証明を証明支援系Coqの上で書き直し、全体を機械的に検証しました。本人の報告書は、ロバートソンらの633の可約配置と32の放電規則を出発点にしたと明記しています。これで、「計算を行ったプログラムが正しいか」という疑いは、「Coqの中核部分が正しいか」という小さな疑いに置き換わりました。
2026年の新証明で何が変わったか
2026年3月25日、井上裕太、河原林健一、宮下篤之、Bojan Mohar、Carsten Thomassen、Mikkel Thorupの6人が、arXivに論文「The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring」を公開しました（arXiv:2603.24880）。論文の注記によると、予稿版は2026年11月の計算機科学の会議FOCSで発表される予定です。Quanta Magazineが9月10日に取り上げ、GIGAZINEが翌11日に「四色定理に約30年ぶりの新証明」として報じました。
要旨から読み取れる新しさは、次の2点です。
GIGAZINEの見出しにある「約30年ぶり」は記事本文に根拠が書かれていませんが、1996〜97年の簡略化された証明から数えた年数と読めます。注意したいのは、定理が正しいという結論は変わっていないこと、そしてコンピュータを使わない短い証明が見つかったわけではないことです。Quanta Magazineの記事でThomassen自身が、子どもでも理解できる問題なのに、コンピュータを使わない証明を今も求めていると語っています。
学習につなげる
四色定理は、問題の意味を理解するのに予備知識がいらない一方、「正しいと分かっているのに、なぜ正しいかを短く言えない」という数学の一面を見せてくれます。練習問題のように、自分で地図を描いて「3色で塗れるか」を試す遊びは、小学生から中学生まで年齢を問わずできます。
学校の算数・数学と結びつけるなら、次の順で進めると無理がありません。
- 偶数と奇数：輪になった領域の数が偶数か奇数かで必要な色が変わる、という練習1と練習2の違いは、偶数・奇数の性質そのものです。
- 多面体の頂点・辺・面：五色定理の出発点になるオイラーの公式は、中学・高校で触れる内容です。
- 場合分け：「必ずこの中のどれかが現れる」と「どれが現れても片づく」という2段構えの論法は、証明問題の基本の形です。
計算の練習には、無料で印刷できる小学生の計算プリントと中1数学の計算プリントが使えます。覚えたことを思い出す練習の設計は検索練習をゲームにする、「なぜそうなるか」を自分で説明する学び方は自己説明をゲームにするで扱っています。
まとめ
- 四色定理は、平面のどんな地図も、辺で隣り合う領域が同じ色にならないように4色で塗り分けられるという定理。1点で接するだけの領域は隣り合うとみなさない。
- 3色では足りない例は簡単に作れる（奇数個の輪、互いに隣り合う4領域）。5色が必要な地図は作れないが、それを全部の地図について示すのが難しい。
- 五色定理（1890年、ヒーウッド）は短く証明できる。4色については、1976年にアッペルとハーケンがコンピュータで証明し、1996〜97年に633配置へ簡略化、2005年ごろにCoqで形式検証された。
- 2026年の新証明は8,202配置を使い、多数の配置を同時に縮めることで、塗り分けの計算をほぼ線形時間にした。定理の結論と「コンピュータが要る」という事情は変わっていない。
資料で分かれる点
- 問題の起源：多くの資料は1852年のガスリーを起源としますが、精選版日本国語大辞典と改訂新版世界大百科事典は、1840年にメビウスが提出した（数学化した）とも書いています。
- アッペルとハーケンの証明の年：デジタル大辞泉、日本大百科全書、世界大百科事典などは1976年、ブリタニカ国際大百科事典小項目事典は1977年としています。論文誌への掲載は1977年です。
- 1976年の配置の数：MacTutorは約1,500、トーマスの解説ページは1,476、英語版Wikipediaは当初1,834でのちに1,482と、数え方が分かれます。
- ロバートソンらの証明の年：概要が1996年、本論文が1997年に出ています。日本語版Wikipediaは1996年、GIGAZINEは1997年と書いています。
- ゴンティエの形式検証の年：英語版Wikipediaは2005年、日本語版Wikipediaは2004年としています。本人の報告書には完成年の明記がなく、この記事では「2005年ごろ」としました。
- 「約30年ぶり」の基準：GIGAZINEの記事本文に根拠の記述はありません。1996〜97年の証明からの年数と読むのが自然です。
参考資料
- Yuta Inoue ほか「The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring」arXiv:2603.24880（2026年3月25日公開、10月1日改訂）
- Quanta Magazine「The Four-Color Theorem Gets a Rare New Proof」（2026年9月10日）
- GIGAZINE「四色定理に約30年ぶりの新証明、地図を4色で塗り分けるアルゴリズムが大幅に高速化」（2026年9月11日）
- GIGAZINE「2026年9月のアクセス解析」（2026年10月24日）
- MacTutor History of Mathematics「The four colour theorem」
- Robin Thomas「The Four Color Theorem」（ジョージア工科大学）
- Georges Gonthier「A computer-checked proof of the Four Colour Theorem」（Microsoft Research）
- 四色問題 - コトバンク（日本大百科全書、改訂新版世界大百科事典、ブリタニカ国際大百科事典、百科事典マイペディア、デジタル大辞泉、精選版日本国語大辞典）
- Wikipedia「四色定理」
- Wikipedia「Four color theorem」