先日、Twitterで次のような問題を見かけました。 問題. 平面上の格子点（座標が整数の点）を2色で塗り分ける。どのように塗っても、辺が軸に平行で4つの頂点が同色の正方形が存在することを示せ。 その日の夜ベッドで考えながら寝たところ、朝起きて5分ほど…