MathLabs

第5問

リス Bushy と Jumpy は冬に備えて 20212021 個のクルミを集めた。Jumpy はクルミに 11 から 20212021 まで番号をつけ、お気に入りの木の周りに円形に 20212021 個の小さな穴を掘った。翌朝、Jumpy は Bushy が各穴にクルミを一つずつ入れたものの、番号を気にしていなかったことに気づいた。不満に思った Jumpy は、20212021 回の操作からなる手順でクルミを並べ替えることにした。kk 回目の操作では、Jumpy はクルミ kk に隣接する二つのクルミの位置を入れ替える。ある kk が存在して、kk 回目の操作で入れ替えるクルミ aa と bb が a<k<ba<k<b を満たすことを証明せよ。
ステップ 5/5: 20212021 回すべての操作の後で矛盾に至る
∃ frozen black block of length 2 forever\exists\ \text{frozen black block of length } 2\ \text{forever}
詳しい解説

長さ 20202020 の偶数ブロックから始めて、分裂のたびに偶数と奇数の部分ブロックが一つずつ生まれ、あらゆる偶数の部分ブロックはさらなる分裂を経て最終的に長さがちょうど 22 の凍結したブロックへと帰着し、それは決して完全に赤くなることができない。したがって少なくとも一組の黒いクルミが永久に残る。しかし操作 kk はすべての k=1,…,2021k=1,\ldots,2021 についてクルミ kk を赤く塗るので、20212021 回すべての操作の後にはすべてのクルミが赤くなる——矛盾である。ゆえに仮定は誤りであり、ある操作 kk でクルミ a<k<ba<k<b が交換されなければならない。