【１】ヒーウッドの公式

　ここでのテーマは，種数ｇの閉曲面上の地図の彩色数に関するヒーウッドの公式（必要条件）の導出です．

　ヒーウッドの公式

　　Ｈ（ｇ）＝［｛７＋√（１＋４８ｇ）｝／２］　　［・］は切り捨て関数

は√ｇのオーダーになっていて，２次不等式

　　ｘ^2−７ｘ＋１２（１−ｇ）≧０

の解となっていることが見てとれます．皮肉なことにｇ＝０を代入するとｘ≧４になりますが，これはもちろん「四色問題の解」ではありません．

　ヒーウッドの公式はたいていの２次閉曲面について正しい彩色数を与えますが，クラインの瓶（ｇ＝０，向き付け不能）だけは６色必要であるという例外です．本来のトーラス（ｇ＝０）も隣接する領域が６個ある場合が例外で，それがなければ６色で彩色可能といった事実が知られているそうです．なお，十分性のリンゲルとヤングスの研究は単行本になって出版されておりますが，非常に多くの場合分けしてひとつひとつ調べるという手法だそうです．

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

【２】ヒーウッドの公式の別表現

　　Ｈ（ｇ）＝［｛７＋√（１＋４８ｇ）｝／２］

は

　　Ｈ（χ）＝［｛７＋√（４９−２４χ）｝／２］

と同値です．

　面上の多角形分割で，面数Ｆ，頂点数Ｖ，辺数Ｅとするとき，オイラー標数

　　χ＝Ｆ＋Ｖ−Ｅ

の閉曲面（向きづけられるか否かは不問）上の地図は，辺で境される国を別の色で塗るという条件下において，ヒーウッドの数

　　Ｈ（χ）＝［｛７＋√（４９−２４χ）｝／２］　　（［・］は切り捨て）

色あれば塗り分けられる（十分条件）．

［注１］この公式は本来χ＜０の場合にのみ有効である．ただし結果的にχ＝１（射影平面）とχ＝０で向きづけられる曲面（輪環面）では必要十分な正しい値（それぞれ６と７）を与える．χ＝２（球面）のときには４を与えるが，これは「偶然の一致」であって四色問題の解ではない（∵上の公式を導くときχ＜０という条件を本質的に使っている）．

［注２］これは十分条件であって，必要条件（どうしてもそれだけの色がいる）ではない．結果的にはχ＝０で向きづけられない曲面（クラインの瓶）以外の曲面ではすべて正しく必要十分な色数を与えている．クラインの瓶は唯一の例外で公式の値は７だが，実は６色で必要十分である．必要性は部分的（χの特別な値の例）には１９世紀末から知られていたが，最終的にはヤングスとリンゲルとが共同研究して１９６８年に完全に証明された．

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