integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて 定理 (帰納的ステップ) とし、は或るに対してを含むがは含まないと仮定する*1。このとき、が成り立つならばが成り立つ。帰納的ステップ Szemerédiの定理の証明. とすると写像は全単射である(二進展開)。とすると、或るに対してを含むがは含まない。よって、記事９の補題と帰納的ステップによりはを導く。が成り立つので、から開始することによって任意のに対してが成立することがわかった。特にも成立するため、記事９の補題と命題よりSzemerédiの定理が従う。 Q.E.D.のときはと進行するが、実は議論を修正することによってという進行も可能であり、この結果-APの存在が従う。ところが、更に記事９の命題… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F12%2F18%2F000000" title="セメレディの定理の組合せ論的証明ー１０ - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2017-12-18 00:00:00 rich https://integers.hatenablog.com/entry/2017/12/18/000000 1.0 100%