双子素数ファインダー

指定した範囲までのすべての双子素数（pとp+2が共に素数であるペア）を見つけます。完全なリスト、合計数、10倍ごとの密度、Hardy-Littlewood予想に基づく予測数、最大のペア、インタラクティブな可視化データをすべて一度に取得できます。

双子素数ファインダー

Embed 双子素数ファインダー Widget

双子素数ファインダー

双子素数ファインダーへようこそ。このインタラクティブな数学ツールは、任意の上限以下にあるすべての双子素数のペアを見つけ出します。(3, 5)や(11, 13)、あるいは(10,006,427, 10,006,429)のように差がちょうど2である素数のペアは、数論において最も神秘的な対象の一つです。このツールは単にリストアップするだけでなく、合計数、桁ごとの密度、双子ペアに含まれる素数の割合、ギャップ統計、ハーディ・リトルウッド予想による存在予測数、そして数直線上の視覚的な散布図も提供します。

双子素数とは？

双子素数のペアとは、2つの素数 $(p, p+2)$ のペアのことで、素数の間で可能な最小のギャップ（差が1である唯一のペア (2, 3) を除く）を持つものです。最初の数組は以下の通りです：

(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73), …

5という数字は2つのペアに参加していることに注目してください。これは(3, 5)の大きい方のメンバーであり、(5, 7)の小さい方のメンバーでもあります。3つの連続する奇数のうち1つは必ず3で割り切れるという事実から、2つの双子ペアに属する素数は5だけです。

双子素数ペアの定義

$$p \text{ と } p+2 \text{ が共に素数である} \Longleftrightarrow (p, p+2) \text{ は双子素数のペアである}$$

6k ± 1 パターン

$p \geq 5$ であるすべての双子素数のペアは、ある正の整数 $k$ に対して $(6k - 1, 6k + 1)$ の形をしています。理由は単純で、$6k \pm 1$ の形でない整数は2または3のいずれかで割り切れるため、素数（2と3自体を除く）にはなれないからです。小さな例で確認してみましょう：

$k=1$: (5, 7) ✓
$k=2$: (11, 13) ✓
$k=3$: (17, 19) ✓
$k=4$: (23, 25) ✕ — 25は素数ではありません
$k=5$: (29, 31) ✓

したがって、6k ± 1 の形であることは必要条件ですが、十分条件ではありません。候補となるすべてのペアが実際に双子素数になるわけではありません。このツールは各候補を篩（ふるい）テーブルと照合し、本物だけを残します。

双子素数の予想

双子素数は無限に存在するのでしょうか？これは有名な双子素数の予想であり、数学における最も古い未解決問題の一つです。少なくとも、素数が無限に存在することを証明した古代ギリシャの数学者エウクレイデスまで遡りますが、彼は双子素数については何も言及していません。

この予想は広く真実であると信じられています。数値的な証拠は圧倒的です。上限 $N$ が大きくなるにつれて、新しい双子素数のペアは理論的な予測と非常によく一致する密度で現れ続けます。しかし、それを厳密に証明することは、依然として困難なままです。

2013年の張氏による突破口

2013年4月、中国系アメリカ人の数学者、張益唐（Yitang Zhang）氏は、差が最大で7,000万以下の素数のペアが無限に存在することを証明した1本の論文で数学界を驚かせました。これは、隣接する素数の間のギャップについて初めて証明された有限の境界でした。数ヶ月のうちに、テレンス・タオ氏率いるPolymathプロジェクトの協力により、その境界は数百まで縮小され、後にジェームズ・メイナード氏によって246まで押し下げられました。差が2である「双子素数の予想」そのものは依然として未解決ですが、張氏の結果は2,000年以上もの間手つかずだったこの問題に対する、最初の現実的な突破口となりました。

ハーディ・リトルウッド予想

1923年、G・H・ハーディとJ・E・リトルウッドは、第一ハーディ・リトルウッド予想を定式化しました。それによると、$N$ までの双子素数ペアの数 $\pi_2(N)$ は漸近的に以下のようになります：

ハーディ・リトルウッド予想

$$\pi_2(N) \sim 2 C_2 \int_2^N \frac{dx}{(\ln x)^2}$$

ここで $C_2 = \prod_{p \geq 3} \frac{p(p-2)}{(p-1)^2} \approx 0.6601618$ は双子素数定数です

このツールはシンプソンの公式を用いて積分を数値的に計算し、実際のカウントを予測値の隣に精度（パーセンテージ）とともに表示します。$N \geq 10^6$ の場合、ハーディ・リトルウッドの公式は通常、真のカウントの1%以内の誤差に収まります。これは、この予想が双子素数の真の密度を捉えているという強力な数値的証拠です。

この電卓の使い方

上限値を入力 — 検索対象とする最大値を入力します。5から10,000,000までの値を指定できます。
「双子素数を見つける」をクリック — 篩が素数表を作成し、ペアをスキャンして統計を計算します。
合計バナーを確認 — ペアの数とハーディ・リトルウッドの精度が表示されます。
リストとチャートをチェック — ペアの完全なリスト、桁ごとの密度チャート、および数直線上の分布を示す散布図を確認します。
ペアリストをコピー — ワンクリックでリストをクリップボードにコピーして、研究や宿題、さらなる分析に利用できます。

篩（ふるい）の仕組み

このツールの内部では、古典的なエラトステネスの篩を使用しています：

ブール値配列 is_prime[0..N] を作成し、最初はすべて True に設定します（インデックス0と1を除く）。
2から $\sqrt{N}$ までの各 $i$ について：is_prime[i] が True であれば、その倍数 $i^2, i^2+i, i^2+2i, \ldots$ をすべて合成数としてマークします。
配列を3から N-2 まで走査し、is_prime[p] と is_prime[p+2] が両方とも True であるすべてのインデックス $p$ を収集します。

このアプローチは $O(N \log \log N)$ の時間で実行され、$O(N)$ のメモリを使用します。これは現代のハードウェアであれば、1,000万までのすべての双子素数ペアを1秒未満で見つけるのに十分な速さです。

既知の最大の双子素数

コンピュータは何十年もの間、巨大な双子素数を探し続けてきました。2016年9月にPrimeGrid分散コンピューティングプロジェクトによって発見された現在の記録保持者は以下の通りです：

既知の最大の双子素数ペア (2026年現在)

$$2{,}996{,}863{,}034{,}895 \times 2^{1{,}290{,}000} \pm 1$$

どちらの数字も388,342桁あります。トム・グリア氏とPrimeGridによって発見されました。

比較として、最初の50組の双子素数はすべて2,000以下に存在します。双子素数の密度は薄れていきますが、数十万桁の数字に至るまで現れ続けます。

最初の20組の双子素数ペア

#	p	p + 2	k (6k ± 1 用)
1	3	5	— (特殊例)
2	5	7	1
3	11	13	2
4	17	19	3
5	29	31	5
6	41	43	7
7	59	61	10
8	71	73	12
9	101	103	17
10	107	109	18
11	137	139	23
12	149	151	25
13	179	181	30
14	191	193	32
15	197	199	33
16	227	229	38
17	239	241	40
18	269	271	45
19	281	283	47
20	311	313	52

様々な N までの双子素数の数

N	π₂(N) — 実際の数	ハーディ・リトルウッド予測	精度
100	8	14	57%
1,000	35	46	76%
10,000	205	214	96%
100,000	1,224	1,249	98%
1,000,000	8,169	8,248	99%
10,000,000	58,980	58,754	99.6%
100,000,000	440,312	440,367	99.99%

双子素数に関する面白い事実

$p \geq 5$ であるすべての双子素数ペア $(p, p+2)$ は、$p+1$ が6の倍数であるという性質を持っています。各ペアのちょうど中間にある整数は、常に6で割り切れます。
双子素数定数 $C_2 \approx 0.6601618$ は、解析的数論において最も有名な定数の一つです。これは $p \geq 3$ であるすべての素数における $p(p-2)/(p-1)^2$ の積でもあります。
いとこ素数のペアは $(p, p+4)$（差が4）、セクシー素数のペアは $(p, p+6)$（差が6）です。「セクシー」はラテン語で6を意味する "sex" に由来します。
すべての双子素数の逆数の和は、ブルン定数 $B_2 \approx 1.9021605$ に収束します。これは1919年にヴィーゴ・ブルンによって証明されました。*すべての*素数の逆数の和が発散することを考えると、これは注目すべき事実です。
2024年、Intelの研究所でのテンソル分解中に、数論的シーケンスでモデルをトレーニングしていたところ、誤って双子素数がフラグ立てされました。こうしたパターンが依然として研究者を驚かせ続けていることを思い出させてくれます。