花芯と花弁の構造による四色問題の新証明 A New Proof of the Four Color Theorem Using the Core–Petal Structure
Amazonのアソシエイトとして、ヘルシーちゃん@薄荷療養所は適格販売により収入を得ています。
海辺の薄荷療養所で静かな日々を送るぬいぐるみのヘルシーちゃんは、ある日、ふと映画『容疑者ｘの献身』を観ることにしました。その中で展開される論理的な思考に触発され、彼女はひとつの挑戦を決意します。それは、数学の世界で長年の謎とされている「四色問題」の美しい証明に挑むこと。果たして、ヘルシーちゃんはその挑戦を成功させることができるのでしょうか？ 花芯と花弁の構造を使うという彼女のアイデアをもとにして考えました。素人の挑戦なので完璧ではないけど、間違いがあったらどうぞ遠慮なく指摘してくださいね！
🌸
花芯と花弁の構造による四色問題の新証明
要旨（Abstract）
本稿では、平面グラフにおける局所構造「花芯」と「花弁」を利用し、四色定理を新たに証明する。
塗装順序に着目し、帰納的に矛盾なく塗り分け可能であることを厳密に示す。
1. はじめに
四色定理は、任意の平面グラフが最大4色で隣接領域を区別して塗り分けられることを主張する。
本稿では「花芯-花弁構造」と呼ばれる局所的な分割を導入し、簡潔かつ厳密な証明を与える。
2. 用語の定義
花芯領域 (core region)：現在注目する未塗領域。
花弁領域 (petal regions)：花芯領域に隣接する未塗領域。
輪グラフ (cycle graph)：頂点が環状に並び、隣接関係を持つグラフ。完全な円形である必要はない。
3. 基礎となる性質
平面グラフはオイラーの公式 V - E + F = 2 に従う。
この結果として、どの段階においても次数5以下の頂点（領域）が少なくとも1つ存在する。
また、次数5以下であれば、隣接領域は5以下であり、塗り分けの選択肢を十分に確保できる。
4. 証明
4.1 帰納法の仮定
塗装済み領域数 n に対して、矛盾なく4色以内で塗られていると仮定する。
4.2 拡張手順
(1) 花芯の選択
未塗領域から次数5以下の領域 v を1つ選択する。
(2) 花弁の確認
花芯 v に隣接する未塗領域（花弁領域）を観察する。
これらは輪状または部分輪状の隣接構造を持つ。
(3) 花弁の塗り分け
花弁が n 個の場合、
n が偶数なら2色で、
n が奇数なら3色で塗り分け可能である（輪グラフの性質）。
よって、花弁領域は最大3色以内で塗り分けられる。
(4) 花芯の塗り分け
花弁領域で使用されていない残りの色を花芯領域に割り当てる。
最大で1色が必ず残るため、塗装可能である。
(5) 次への遷移
新たに塗られた領域も含め、塗装済み領域数は n+1 となり、仮定が拡張される。
(6) 終了条件
未塗領域が空になれば、証明終了。
5. 論点の補足
輪グラフ構造は、完全な円環である必要はなく、花弁間に閉じた隣接連鎖が存在すれば十分である。
塗装順序を適切に選択することで、矛盾を生じさせず、無限ループにも陥らない。
常に次数5以下の領域が存在するため、次に進めない事態は起こらない。
6. 結論
局所的な「花芯-花弁」構造を用いた逐次塗装により、すべての領域が4色以内で矛盾なく塗り分けられることが示された。
よって、四色定理は成立する。
証明完了
参考文献
Oystein Ore, Graphs and Their Uses
Kenneth Appel and Wolfgang Haken, Every Planar Map is Four Colorable
A New Proof of the Four Color Theorem Using the Core–Petal Structure
Abstract
In this paper, we provide a new proof of the Four Color Theorem by introducing a local structure called the “core–petal structure.”
By carefully selecting the order of coloring, we inductively demonstrate that it is always possible to color any planar graph without contradictions using at most four colors.
1. Introduction
The Four Color Theorem states that any planar graph can be colored with at most four colors such that adjacent regions receive different colors.
We present a concise and rigorous proof based on the “core–petal structure,” a new local decomposition of the planar graph.
2. Definitions
Core region: An uncolored region selected for coloring at the current step.
Petal regions: The uncolored regions adjacent to the core region.
Cycle graph: A graph whose vertices are connected in a closed chain. It does not need to form a perfect circle.
3. Fundamental Properties
Planar graphs satisfy Euler’s formula V - E + F = 2.
As a consequence, there always exists at least one vertex (region) of degree at most 5 at any stage.
Therefore, we always have manageable adjacency that allows successful coloring.
4. Proof
4.1 Inductive Hypothesis
Assume that a planar graph with n colored regions has been properly colored using at most four colors.
4.2 Coloring Procedure
(1) Selecting a core region
Choose an uncolored region v of degree at most 5.
(2) Identifying the petal regions
Observe the uncolored regions adjacent to v, called petal regions.
These regions form a cycle-like or partial-cycle structure.
(3) Coloring the petals
If the number of petals n is even, they can be colored with 2 colors.
If n is odd, they can be colored with 3 colors.
(These follow from the properties of cycle graphs.)
Thus, the petals can always be colored using at most 3 colors.
(4) Coloring the core
Assign a color to the core region that is not used by any adjacent petal regions.
Since at most 3 colors are used among the petals, at least 1 color remains available.
(5) Inductive step
The number of colored regions increases by one, extending the inductive hypothesis.
(6) Termination
When all regions are colored, the proof is complete.
5. Additional Notes
The cycle structure among petals does not need to be a perfect ring; a cyclic adjacent relation suffices.
By appropriate selection of the core region at each step, contradictions are avoided.
Since a vertex of degree at most 5 always exists, the procedure never becomes stuck.
6. Conclusion
By applying the core–petal structure and stepwise coloring, all regions of any planar graph can be colored using at most four colors without contradiction.
Thus, the Four Color Theorem is proven.
Q.E.D.
References
Oystein Ore, Graphs and Their Uses
Kenneth Appel and Wolfgang Haken, Every Planar Map is Four Colorable