自然数の中から等間隔になる数を拾い出すことは至極簡単，当たり前である．そこで，ここでは素数の中に等間隔の並ぶ素数列を考えると，双子素数予想よりさらに深遠なトピックスとして「長さｋを勝手に決めると，素数列の中から長さｋの等差数列を拾い出すことができる」という有名な定理がある．

　等差数列が素数だけで構成されるために，公差に課される条件は偶数でなければならない．とくに，長さが４以上の等差素数列を作るためには，公差は偶数かつ３の倍数でなければならない．すなわち６の倍数でなければならない．３個組，４個組，５個組，・・・，ｋ個組．たとえば，・・・

（３，５，７）３個組（公差２）

（３，７，１１）３個組（公差４）

（２９，５９，８９）３個組（公差３０）

（１１，１７，２３，２９）４個組（公差６）

（７，１９，３１，４３）４個組（公差１２）

（５，２３，４１，５９）４個組（公差１８）

（５，１１，１７，２３，２９）５個組（公差６）

（５，１７，２９，４１，５３）５個組（公差１２）

（１１，４１，７１，１０１，１３１）５個組（公差３０）

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

【１】エルデシュ予想

１９３０年代にエルデシュは，「自然数列｛ａi｝がΣ１／ａi＝∞を満たすならば，自然数列｛ａi｝は任意の長さの等差数列を含む」ことを予想した．この予想は数論とエルゴード理論の間に深い関係を発展させる動機となった．

素数の逆数和Σ｛１／ｐ）→∞なので，エルデシュ予想を証明すれば各項が素数である任意の長さの等差数列が存在することがわかる．

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

【２】セメレディの定理

　３個組，４個組，５個組，・・・ときて，２６個組の存在は知られているが，５０個組，１００個組は存在するだろうか？　セメレディの定理（１９７５年）によると，ある集合の密度が０でなければどのような長さの等差数列もその集合の中に含まれる．すなわち，この定理は集合の元があまり分散されていなければ，どのような長さの等差数列をも含むことを意味している（正確にいうと密度が0の集合に対しては等差数列を含むかどうかについては何も主張していない）．

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