期末考査の期間でしたが、先週土曜日にもELCASはありました。数学を受講しているS.I.くんのレポートが届きましたので、紹介します。今回は「任意の平面グラフは五色あれば塗り分けられる」という五色定理の証明だったようです。図を含めて4ページのレポートでしたが、平面グラフから双対グラフに変換したあたりで理解が厳しくなってきたので、今回も感想だけ。

　証明が終わった後、この方法で四色定理(任意の平面グラフは四色あれば塗り分けられる)がなぜ証明できないのかをＥＬＣＡＳのメンバーで考えました。一つの問題から新しい問題を考え、それを検討することはとてもおもしろかったので、学校の問題集などでもやってみたいと思いました。