四色問題は算数で解ける!

四色問題は算数で解ける!

先日、2022年のNHKの「笑わない数学」の録画をなんとなく見ていたら、
四色問題というものが難問としてあり、120年間解けなかったらしい…。
現在はコンピューターで証明済みだけれど、解き方が美しくないとのこと。
ちょっと面白そうなので、あれこれ1〜2分思いをめぐらしていると、
見えてきたものがあるので、ご紹介します…。

四色問題とは…
「どのような地図でも、4色あればぬり分けられる」ということを証明する問題。

…これで証明OKだと思うのだけれど、不備があれば、どなたかご指摘くださると嬉しいです。当方の感覚では、中学入試・上位校の算数の方がやりにくいと感じています…。