この記事は日曜数学 Advent Calendar 2017 - Adventarの14日目の記事です。9日目はasangi_a4acさんによるitonayuta60.hateblo.jpでした。クリスマスが待ち遠しいですね。Advent Calendarの日程も半分を超えていますが、クリスマスまでもう少しの辛抱です。今…

以上の道具立てに基づくRothの定理(Szemerédiの定理のの場合)の証明を実行する。Szemerédiの定理の証明に論理的には必要のない部分であるが、プロトタイプとして一度練習できる*1。また、後のSzemerédiの定理の証明と比較して、特殊な議論によるショートカッ…