【２】四色問題の証明

　平面上の四色問題では，地図が平面ではなく球面上に描かれているものとすると，外部領域は他の領域と何の違いもないことになります．したがって，外部領域を塗っても塗らなくても構わないことになり，平面上の四色問題は球面上の四色問題と等価と考えることができます．

　ヒーウッドは五色定理を鮮やかに証明できても，四色定理を証明することはできませんでした．四色問題の証明では，地図を電気回路とみなして

　　４ｆ2＋３ｆ3＋２ｆ4＋ｆ5−ｆ7−２ｆ8−３ｆ9−・・・＝１２

の条件の下の放電（電荷の移動）に帰着させる（放電法）のですが，この手続きにはどうしてもコンピュータが必要になりました．アペルとハーケンの後も放電法の改良が続けられ，１９９４年，ロバートソン，サンダース，シーモア，トーマスの４人が新たな１章をつけ加えたことは冒頭に記したとおりです．

　しかし，これとて基本的にはアペル，ハーケンと同じコンピュータ路線なのです．確かにコンピュータを使った証明を美しいあるいはエレガントな数学と呼ぶことはできないかもしれません．コンピュータを使わない証明にはこれまでにないようなまったく新しいアイディアが必要になると思われるのですが，そうしたアイディアは今日もなお登場していないのです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝