双子素数は，（３，５）以外はすべて（６ｎ−１，６ｎ＋１）ｍｐ形である．無限にあるかどうかはわかっていないが，陳景潤によると，ｐが素数で，ｐ＋２が素数か素数２つの積となるものが無限にあることはわかっている．

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

【１】双子素数

　（ｐ，ｐ＋２）がともに素数となるとき，三つ子素数と定義すると

ｐ＝１（ｍｏｄ３）のとき，ｐ＋２＝０　　（ｍｏｄ３）

ｐ＝２（ｍｏｄ３）のとき，ｐ＋２＝１　　（ｍｏｄ３）

→ｐは３ｎ＋２型素数でなければならない．

ｐ＝１（ｍｏｄ５）のとき，ｐ＋２＝３　　（ｍｏｄ５）

ｐ＝２（ｍｏｄ５）のとき，ｐ＋２＝４　　（ｍｏｄ５）

ｐ＝３（ｍｏｄ５）のとき，ｐ＋２＝０　　（ｍｏｄ５）

ｐ＝４（ｍｏｄ５）のとき，ｐ＋２＝１　　（ｍｏｄ５）

→ｐは５ｎ＋１型素数または５ｎ＋２型素数または５ｎ＋４型素数でなければならない．

［１］（２ｎ＋１，３ｎ＋２，５ｎ＋１）の場合，連立合同式

　　ｘ＝１　　（ｍｏｄ２）

　　ｘ＝２　　（ｍｏｄ３）

　　ｘ＝１　　（ｍｏｄ５）

を計算しよう．

ｘ＝ｘ1＋２ｘ2＋６ｘ3とおいて，最初の式に代入する．→ｘ1＋２ｘ2＋６ｘ3＝ｘ1＝１　　（ｍｏｄ３）→ｘ1＝１がこの合同式の解である．

→ｘ＝１＋２ｘ2＋６ｘ3を２番目の式に代入する．→１＋２ｘ2＋６ｘ3＝１＋２ｘ2＝２　　（ｍｏｄ３）→２ｘ2＝１　　（ｍｏｄ３）→ｘ2＝２がこの合同式の解である．

→ｘ＝５＋６ｘ3を３番目の式に代入する．→５＋６ｘ3＝１　　（ｍｏｄ５）→６ｘ3＝−４　　（ｍｏｄ５）→ｘ3＝１がこの合同式の解である．

　ｘ＝１１となるので，中国剰余定理より連立合同式の解は

　　ｘ＝１１　　（ｍｏｄ３０）

である．

［２］（２ｎ＋１，３ｎ＋２，５ｎ＋２）の場合，連立合同式

　　ｘ＝１　　（ｍｏｄ２）

　　ｘ＝２　　（ｍｏｄ３）

　　ｘ＝２　　（ｍｏｄ５）

を計算しよう．

ｘ＝ｘ1＋２ｘ2＋６ｘ3とおいて，最初の式に代入する．→ｘ1＋２ｘ2＋６ｘ3＝ｘ1＝１　　（ｍｏｄ３）→ｘ1＝１がこの合同式の解である．

→ｘ＝１＋２ｘ2＋６ｘ3を２番目の式に代入する．→１＋２ｘ2＋６ｘ3＝１＋２ｘ2＝２　　（ｍｏｄ３）→２ｘ2＝１　　（ｍｏｄ３）→ｘ2＝２がこの合同式の解である．

→ｘ＝５＋６ｘ3を３番目の式に代入する．→５＋６ｘ3＝２　　（ｍｏｄ５）→６ｘ3＝−３　　（ｍｏｄ５）→ｘ3＝２がこの合同式の解である．

　ｘ＝１７となるので，中国剰余定理より連立合同式の解は

　　ｘ＝１７　　（ｍｏｄ３０）

である．

［３］（２ｎ＋１，３ｎ＋２，５ｎ＋４）の場合，連立合同式

　　ｘ＝１　　（ｍｏｄ２）

　　ｘ＝２　　（ｍｏｄ３）

　　ｘ＝２　　（ｍｏｄ５）

を計算しよう．

ｘ＝ｘ1＋２ｘ2＋６ｘ3とおいて，最初の式に代入する．→ｘ1＋２ｘ2＋６ｘ3＝ｘ1＝１　　（ｍｏｄ３）→ｘ1＝１がこの合同式の解である．

→ｘ＝１＋２ｘ2＋６ｘ3を２番目の式に代入する．→１＋２ｘ2＋６ｘ3＝１＋２ｘ2＝２　　（ｍｏｄ３）→２ｘ2＝１　　（ｍｏｄ３）→ｘ2＝２がこの合同式の解である．

→ｘ＝５＋６ｘ3を３番目の式に代入する．→５＋６ｘ3＝４　　（ｍｏｄ５）→６ｘ3＝−１　　（ｍｏｄ５）→ｘ3＝４がこの合同式の解である．

　ｘ＝２９となるので，中国剰余定理より連立合同式の解は

　　ｘ＝２９　　（ｍｏｄ３０）

である．

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

【２】まとめ

　双子素数（ｐ，ｐ＋２）について，ｍｏｄ３，ｍｏｄ５で考えた結果，ｐは３０ｎ＋１１型素数または３０ｎ＋１７型素数または３０ｎ＋２９型素数でなければならないことがわかった．

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