三角形三色問題
合同式による証明で、演算式としてc=-(a+b) mod 3 を使う。この場合、反例の証明も必要である。
三角形三色問題(さんかくけいさんしょくもんだい、英語: Three-Color Triangle Problem)は、逆三角形に配置されたセルを上から下へある規則に従い3色で塗っていったとき、最下行の色が最上行の両端の色で予想できるかという問題。2012年、イギリスのスティーブ・ハンブル(Steve Humble)によって提唱された。エアハルト・ベーレントとの共著でひとつの解答を示している。また、ニューヨーク・タイムズ紙にこの問題が紹介されている。雑誌『数学セミナー』の「エレガントな解答をもとむ」欄に問2として出題されている。同2013年4月号に解答と講評がある。2色の場合が、Journal of Recreational Mathematics (2011年刊行)のProblems and Conjectures (269-270ページ) に出題されている。