ファン・デル・ヴェルデンの定理

整数全体の集合Zが有限個の部分集合に分割されていたら、そのうちの少なくとも一つはいくらでも長い等差数列を含む

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

エルデシュ・テュラン予想(1936年)

集合A⊂Zはいくらでも長い等差数列を含む

ロスの定理

集合A⊂Zは３項の等差数列x+y=2zを無限個含む

セメレディの定理

4項の等差数列まで拡張し、ついに一般の主張にまで拡張した（エルデシュ・テュラン問題の解決）

フルステンベルクの証明

エルゴート理論に基礎を置いた証明はさらにいくつかの拡張をもたらした

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ファン・デル・ヴェルデンの定理の有限版が、

任意の整数k,lに対して、N(k,l)が存在し、N＞N(k,l)かつ{1,2,・・・,N}がｌこの色に塗り分けられていたら、必ず単一色のk項の等差数列が存在する

ファン・デル・ヴェルデンの証明が与えるN(k,l)の上界は非常に大きい

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝