五色定理

グラフ理論における五色定理（ごしょくていり、英: five color theorem）とは、領域に分けられた平面、例えばある州を郡に分けた政治地図が与えられたとき、5種類以下の色を使って、隣接する領域が必ず別の色になっているように各領域を塗り分けられるという定理である。五色定理はそれより強い四色定理の系であるが、証明ははるかに易しく、1879年にアルフレッド・ケンプ（ケンペとも）が四色定理（予想）を証明し損ねたときの論法に基づいて示せる。