コンテンツにスキップ

素数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Prime numberから転送)

素数(そすう、: prime あるいは prime number)とは、2 以上の自然数で、正の約数1 とその整数自身のみであるもののことである。正の約数の個数が 2 である自然数と言い換えることもできる。1 より大きい自然数で素数でないものは合成数と呼ばれる。

日本では、: prime number の日本語への訳語は「素数」とすることが1881年明治14年)に決まった[1][2]和算では素数のことを単数と呼んでいた[3]

一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数 での素数は有理素数(ゆうりそすう、: rational prime)と呼ばれることもある。

最小の素数は 2 である。素数は無数に存在する。したがって、素数からなる無限数列が得られる[4]

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97,…

素数が無数に存在することは、紀元前3世紀頃のエウクレイデス(以下ユークリッド)の著書『原論』で既に証明されていた。そこでの証明は、背理法により次のようになる:

『素数全体は有限個と仮定して、全ての素数の総乗に1を足した数をNとする。Nはどの素数で割っても余りが1となる。一方、Nはどの素数よりも大きいので、Nは素数ではない。すなわち、Nはある素数で割り切れる。これは、Nを素数で割った余りが1であることに矛盾する。ゆえに、素数は無数にある。』

自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。

分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。現在知られている最大の素数は、2024年10月12日に発見された、それまでに分かっている中で52番目のメルセンヌ素数 2136279841 − 1 であり、十進法で表記したときの桁数は4102万4320桁に及ぶ[5][6]

定義と例

[編集]
100 以下の素数一覧
02 3 00 05 00 7 00 00
11 13 17 19
23 29
31 37
41 43 47
53 59
61 67
71 73 79
83 89
97

素数とは、自明な正の因数(1 と自分自身)以外に因数を持たない自然数であり、1 でない数のことである。つまり、正の因数の個数が 2 である自然数である。

例えば、2 は、正の因数が 1, 2 のみなので素数である。

素数でない 2 以上の自然数を合成数と呼ぶ。

合成数であることの判定法として、たとえば下記の4条件がある:

  • 4以上の偶数。(2で割り切れる)
  • 10以上で末尾が50の数。(5で割り切れる)
  • 6以上で、数字根が3, 6, 9となる数(3で割り切れる)。(20以上では、21, 27, 33, 39, 51, 57, 63, 69, 81, 87, 93, 99, …
  • 一の位から見て奇数番目の位の数の和と、偶数番目の位の数の和との差が11の倍数であれば、11の倍数である(11で割り切れる)。(100以上では、110, 121, 132, 143, 154, 165, 176, 187, 198, 209, …[7]

逆に、この4条件を、全て満たさない数でも素数とは限らない。例えば、91 は、正の因数が 1, 7, 13, 91 なので素数ではない。

また、2, 3 以外の素数は、最も近い6の倍数との差が 1−1 である。

2 でない素数は奇数であり、奇素数と呼ぶ。

100以下の素数は25個存在し、小さい順に次の通りである[4]

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97

素因数分解の可能性・一意性

[編集]

2 以上の自然数は、素数ので表せる。その表し方は積の順序を除けば一意である」という、素因数分解の可能性・一意性が成立する(算術の基本定理)。素因数分解の可能性から、素数全体の成す集合は、2以上の自然数全体の成す集合とその乗法からなる半群の最小[注釈 1]生成系である。言い換えれば、これは「素数は自然数の構成要素である」などとなる[8]

素数の定義である「1 と自分自身でしか割り切れない」という条件(既約性)は、抽象代数学において、既約元の概念(一部の環では素元の概念と一致する)に抽象化され一般的に取り扱われる。一般の環で、任意の元は既約元の積に分解され、しかもその表示は一意であるという性質は稀有である。例えばネーター環では、任意の元は既約元分解が可能であるが、その表示が一意ではないネーター環の例はいくつも知られている。一意に既約元分解ができる環は一意分解環と呼ばれ、既約元分解は素元分解ともなる。

1 は素数か

[編集]

現代の定義では 1 は素数ではない。歴史を通しても 1 を素数に含めない数学者が多数派であったが、20世紀初頭の環論の成熟まで定義は統一されていなかった[9]プラトンアリストテレスを含むほとんどの古代ギリシアの哲学者は 1 を数とさえ見なさず[10][11]、素数性の考察の対象としなかった。スペウシッポス1 を数と見なし素数としたが、当時としては異端であった[12]。この時代には素数を奇数の一部分と考え、2 を素数に含めない数学者もいた(ただしユークリッドをはじめとする多数派は 2 を素数に含めている)。アラビアではおおむね古代ギリシアに倣って 1 は数でないとされた[10]中世からルネサンスにかけて、1 が数として扱われるようになり、1 を最初の素数とする数学者も現れた[13]。18世紀半ば、ゴールドバッハオイラーに宛てた書簡で 1 を素数に挙げている(ただしオイラー自身は 1 を素数とは考えていなかった)[14]。19世紀にも少数派だが 1 を素数に含める数学者はかなりいた[9]ハーディの『A Course of Pure Mathematics』では、1933年に出版された第6版までは 1 を素数に含めているが、1938年の第7版から 2 を最小の素数とするよう改訂されている。レーマー英語版1 を含む素数表は1956年まで出版された[15]ルベーグ1 を素数だと考えた最後の専門的な数学者だと言われている[16]

1 も素数と定義すると、素数に関する多くの定理で、もとの「素数」を「1 以外の素数」と呼び替える記述の修正が必要になる。例えば 6 の素因数分解は、(積の順序を除いても)

6 = 2 × 3 = 1 × 2 × 3 = 12 × 2 × 3 = 13 × 2 × 3 = …

と無数に与えられることになり、自然数の素因数分解の一意性は「1 を素数に含めると」成り立たなくなる[9]エラトステネスの篩においては、1 も素数とすると、1 の倍数(すなわち他のすべての数)を消去し、残った唯一の数 1 を出力するので機能しない[17]。さらに、1 以外の素数で成り立つ様々な性質がある(例えば、自然数とそれに対応するオイラーのφ関数約数関数の値との関係など)[18][19][20]。20世紀初頭までに 1 は素数ではなく「単数」という特別な分類に属するという見方が一般的になった[9]

歴史

[編集]

紀元前1600年頃のエジプト第2中間期において、素数の初等的な性質が部分的に知られていたことが、リンド数学パピルスなどの資料によって示唆されている。例えば分数をエジプト式分数で表す場合、素数と合成数の場合で異なる計算をしなければならないからである。しかし、記録に残っている限りにおいて、明確に素数を研究対象としたのは古代ギリシアが最初である。紀元前300年頃に書かれたユークリッドの『原論』には、素数が無数に存在することや、その他の素数の性質が証明されている。また、彼はメルセンヌ素数から完全数を構成する方法を示している。ギリシアの数学者、エラトステネスに因んで名付けられたエラトステネスの篩は、素数を列挙するための計算方法である。

古代ギリシア時代の後、17世紀頃までの長い間、素数の研究にはあまり進展が見られなかった。1640年に、ピエール・ド・フェルマーは「フェルマーの小定理」を述べた(未証明)。この定理は後にライプニッツとオイラーによって証明された。

自然数を渦巻状に並べていき、素数だけを黒く塗ったもの(ウラムの螺旋)。
素数が高密度に集まった対角線、水平線、垂線が見て取れる。素数の分布が極めて難解であるために、この素数のパターンが示す事実については未だに明らかにされていない。

素数が無数に存在することは既に古代ギリシア時代から知られていて、ユークリッドが彼の著作『原論[21]の中で証明している。

ユークリッドによる証明

[編集]
『原論』第9巻 命題20[21]
素数の個数はいかなる定められた素数の個数よりも多い。
定められた個数の素数を p1, p2, …, pn とせよ。p1, p2, …, pn より多い個数の素数があると主張する。
『原論』による証明[注釈 2]
定められた素数の個数が n 個であるとき、n 個の素数を小さい順番に並べて i 番目の素数を pi とする。
1 < p1 < p2 < … < pn.
このとき、n 個の素数をすべて掛け合わせた数に 1 を加えた数を q とすると、
q = p1 × p2 × … × pn + 1.
q は有限個の自然数の積に 1 を加えた数なので 1 より大きい自然数である。ゆえに、q は素数または合成数のどちらかである。
q が素数のとき、q は最大の素数 pn より大きい素数になるので、定められた個数の素数よりも多くの素数が存在する。
q が合成数のとき、q を割り切る素数が存在する。一方、q の定義より、すべての pi で割った余りは 1 になるので、q はすべての pi で割り切れない。したがって、すべての pi 以外に素数が存在する。すなわち、定められた個数の素数よりも多くの素数が存在する。(証明終
1878年、クンマーq = p1 × p2 × … × pn + 1 の代わりに q = p1 × p2 × … × pn − 1 を考えても同様に証明できることを示した。
自然数の有限集合 A の全ての要素を掛け合わせた自然数を f(A) とする。
定められた個数の素数からなる集合を A3 = {2, 3, 5} とするとき、f(A3) = 2 × 3 × 5 + 1 = 31 は素数なので、新しい素数 31 が得られる。したがって、定められた個数より多くの素数が存在する。
定められた個数の素数からなる集合を A4 = {2, 3, 5, 31} とするとき、f(A4) = 2 × 3 × 5 × 31 + 1 = 931 = 7 × 7 × 19 なので、新しい素数 719 が得られる。したがって、定められた個数より多くの素数が存在する。

他の証明

[編集]

上記のユークリッドによる証明以外にも、素数が無数に存在することの証明方法が存在する。

素数判定と素因数分解

[編集]

与えられた自然数 n が素数であるか合成数であるかを判定するためのアルゴリズムが多数考案されている。最も素朴な方法は、2 から n 以下の素数まで順番に割っていく、試し割り法と呼ばれる方法である。nn 以下の全ての素数で割り切れなければ n は素数である。試し割り法は、n が大きくなるに従って、急速に速度が低下するため、実用的ではない。任意の数に適用できる試し割り法よりも高速なアルゴリズムが考案されている。また、特殊な形をした数に対してはより高速なアルゴリズムも存在する。素数判定は、与えられた数が素数であるか否かだけを判定するものであるが、素因数分解とはより強く、与えられた数の全ての素因数を列挙することであるとも言える。

上記の通り2を除く偶数、2桁以上で末尾が5の数、数字和が3の倍数となる数は合成数と分かるのでそれを省き、7以上の素数を順番に割る方法がある。

分布

[編集]

ある自然数までにどのくらいの素数があるのかという問題は、基本的だが非常に難しい問題である。 これに関して、次の素数定理は有名である。この定理は1896年に、アダマールとド・ラ・ヴァレ・プサンによって独立に証明された。

x 以下の素数の個数を π(x)素数計数関数)とすると、

が成り立つ。この定理は、1792年に15歳のカール・フリードリヒ・ガウスによって予想されていた(ガウスが最初に予想したのかどうかは不明)。この定理の証明は、ゼータ関数と複素関数論を用いる高度なものであったが、1949年アトル・セルバーグポール・エルデシュは独立に初等的な証明を与えた。この評価式はリーマン予想を仮定すると大幅に精度をよくすることができる。

次のような定理もある。

「任意の自然数 n に対して、n < p ≤ 2n を満たす素数 p が存在する」(ベルトランの仮説チェビシェフの定理)

この主張は「任意の素数 p の次の素数は 2p 未満」とも言い換えられる。したがって、2017年5月現在知られている最大の素数 282589933 − 1 の次の素数は 282589934 − 2 未満である。

一方で、例えば n2(n + 1)2 の間に素数が存在するかという問題は未解決である(ルジャンドル予想)。

素数が全く無い区間は、いくらでも長いものがあることが知られている。n ≥ 2 に対して、連続する n − 1 個の自然数 n! + 2, …, n! + n はそれぞれ、それらより小さい 2, …, n で割り切れるので、どれも素数でない。n は任意にとれるから、素数が全く無いいくらでも長い区間があると言える。これは一例にすぎず、実際にはもっと小さい所で、素数が全く無い長い区間が生じるようである。例えば、114 から 126 まで13個連続で合成数である[25]

素数計数

[編集]

2015年に、ゴールドバッハの予想検証プロジェクトは 4 × 1018 以下の全ての素数(9京5676兆2609億0388万7607個、約 1017個)を計算したと報告した[26]が、結果は保存されていない。しかしながら、素数計数関数を計算するには、実際に素数を数えるより高速な公式が存在する。この公式を使って、1023 以下に 19垓2532京0391兆6068億0396万8923個(約 2×1021個)の素数があると計算された。

また、別の計算によると、リーマン予想が真であると仮定した場合、1024 以下に 184垓3559京9767兆3492億0086万7866個(約 2×1022個)の素数が存在する[27]

分布の視覚化

[編集]

素数に関連する主な性質

[編集]

素数の逆数和

[編集]

素数の逆数の和は(無限大に)発散する。この命題は『素数は無数に存在する』という命題を含んでいる(有限個ならば収束、すなわち発散しないはずである)が、それだけではなく素数の分布に関してより多くの情報を提供している。

この結果は最初にレオンハルト・オイラーによりゼータ関数を研究することでもたらされた。以下の証明はポール・エルデシュによる、より直接的で、また簡潔な証明である[注釈 7]。素数が無数に存在することを証明に用いないため、その証明をも含んでいる。

エルデシュによる証明

素数の逆数和は収束すると仮定する。i 番目の素数を pi で表すと、

を満たす N が存在する。

n 以下の自然数のうち最大素因数が pN 以下のものからなる集合を An とする。任意の kAn に対して、

k = u2vv の各素因数の指数は全て 1

と表示すると、v は高々 2N 通り、u2kn より

#An ≤ 2Nn …(2)

Anc の元は、pN+1 以上の素因数を少なくとも1つ持つから、(1) より

#Anc = n − #An より

n/2 < #An …(3)

(2), (3) より n/2 < 2N n, ∴ n < 22N+2。これは n の任意性に矛盾。(証明終

双子素数に限ると、逆数和は B2 = 1.902… に収束することが証明されている(ブルン定数)。

その他の性質

[編集]
ここで m = 10 とすると、十進表記において一の位が 1, 3, 7, 9 である素数はどれも無数にあることが分かる。
5 ( = 32 − 22), 16 ( = 52 − 32), 21 ( = 52 − 22), 24 ( = 72 − 52), 40 ( = 72 − 32), …
  • 約数の和が素数になる自然数は、2 と素数かその累乗数の平方数である。しかし、素数やその累乗数の自乗であっても約数の和が素数になるとは限らない。約数の和が素数になる数が無限にあるかどうかの証明はされていない(後述)。
  • 七進表記において、5以上の素数の数字根は、必ず1か5となる。

素数生成式

[編集]

n番目の素数を求める素数生成式は存在しないと主張されることがあるが、これは誤りである(ウィルソンの定理ミルズの定数を用いたものが存在する)[28]。しかしながら、そのような式で実効的に計算可能英語版なものは知られていない。

以下は1964年に Willans C.P. が報告したウィルソンの定理に基づく公式で、n番目の素数 pn を求めることができる:

[29]

1変数多項式

[編集]

オイラーの発見した式:

  • f(n) = n2n + 41

は、自然数 nn < 41 で全て素数となる。これは、虚二次体 類数1 であることと関係している[30][31]。一般に、0 ≤ n < p で多項式 f(n) = n2n + p が素数の値を取るとき、素数 p の値を「オイラーの幸運数」[32]という。オイラーの幸運数は p = 2, 3, 5, 11, 17, 41 の6つのみであり、これらはすべてヘーグナー数と対応する。

ルビーの多項式:

  • f(n) = 36n2 − 810n + 2753

n = 0, …, 44 で全て素数となる。 同様に

  • 103n2 − 3945n + 34891 (Ruby)
  • 47n2 − 1701n + 10181 (Fung)

n = 0, …, 42 で全て素数となる。

  • 36n2 − 2358n + 36809 (Willium)

n = 0, …, 44 で絶対値は全て素数となる。

高い次数での多項式はあまり知られていないが

  • n3 − 34n2 + 381n − 1511 (Goetgheluck)
  • 2n3 − 45n2 + 331n − 3191 (Goetgheluck)

n = 0, …, 25 で絶対値は全て素数となる。 ただし n3 − 34n2 + 381n − 1511n = 9, 12, 13−107 を取るなど、同じ素数が何度も出現する場合がある。

多変数多項式

[編集]

多変数の多項式では、全ての素数を生成することができる式がいくつか知られている。例えば、k + 2 が素数となる必要十分条件は、次の14連立のディオファントス方程式が自然数解を持つことである[33]

wz + h + j − q = 0
(gk + 2g + k + 1)(h + j) + hz = 0
16(k + 1)3(k + 2)(n + 1)2 + 1 − f2 = 0
2n + p + q + ze = 0
e3(e + 2)(a + 1)2 + 1 − o2 = 0
(a2 − 1)y2 + 1 − x2 = 0
16r2y4(a2 − 1) + 1 − u2 = 0
n + l + vy = 0
(a2 − 1)l2 + 1 − m2 = 0
ai + k + 1 − li = 0
[{a + u2(u2a)}2 − 1](n + 4dy)2 + 1 − (x + cu)2 = 0
p + l(an − 1) + b(2an + 2an2 − 2n − 2) − m = 0
q + y(ap − 1) + s(2ap + 2ap2 − 2p − 2) − x = 0
z + pl(ap) + t(2app2 − 1) − pm = 0

特殊な形をした素数

[編集]

未解決問題

[編集]

応用

[編集]

長い間、数論、その中でもとりわけ素数に関する研究は、その分野以外での応用の全くない純粋数学の見本と見なされていた。特に、イギリスの数論研究者であるハーディは、自身の研究が軍事的に何の重要性も持たないことを誇っていた。しかし、この見方は1970年代には覆されてしまった。素数が公開鍵暗号のアルゴリズムに使用できると広く知られるようになったためである。現在では素数はハッシュテーブル擬似乱数生成にも用いられ、工学的応用上重要度の高いものとなっている。

公開鍵暗号

[編集]

公開鍵暗号のアルゴリズムとして、RSA暗号ディフィー・ヘルマン鍵共有といった、大きな数の素因数分解は困難であるという性質に基礎を置くものがある。RSA暗号は、2つの(大きな)素数の掛け算は比較的簡単に(効率的に)行えるが、その積を素因数分解して元の2つの素数を求めることは難しいという事実に基づいている。

固定ギア自転車のタイヤの寿命対策

[編集]

固定ギア自転車のスプロケットやチェーンリングの歯数を素数にすることでスキッドポイントと呼ばれる摩耗点を分散化させてタイヤの寿命を向上させることができる。また、自転車や内燃機関など入力に脈動がある動力の歯車を素数にすると摩耗点が分散され歯車の寿命が向上する。

自然界の素数

[編集]

自然界に現れる素数の一例として、素数ゼミと呼ばれるセミの一種がいる。アメリカ合衆国に分布するこのセミの成虫は、ある周期ごとに、13年ないしは17年間の周期で大量発生する。成虫になった後は、数週間だけを地上で成虫として過ごし交配と産卵を行う。このセミが素数周期で発生する理由として、寄生虫や捕食者に対抗するための進化であるという説や近縁種との交雑を避けるためであるという説がある。つまり、もしこのセミが12年の発生周期を持っていた場合、12の約数である2, 3, 4, 6年の寿命を持つ捕食者と同時に発生してしまうことになり、捕食対象にされやすくなる。また、地理的に近い場所で12年周期と15年周期のセミが存在した場合、60年ごとに2種は同時に発生し、交雑してしまう可能性がある。すると、雑種は発生周期がずれてしまい、同種のセミとの交尾の機会が失われる。素数の周期を持つものは交雑が起こりにくく、淘汰されにくいと考えられる[41]

また、ゼータ関数上の零点の分布の数式が、原子核のエネルギー間隔を表す式と一致することを示し、素数と核物理現象との関連性が示唆されている。

コンピュータゲーム

[編集]

パナソニック株式会社が2011年にリリースしたiPad用アプリケーション「Panasonic Prime Smash!」は空中に打ち上げられたボールに書かれた数字が素数であればタップして得点、合成数であればスワイプすることで割り算し、素数になったらタップして得点にするゲームである[42]。第15回文化庁メディア芸術祭エンターテインメント部門の審査委員会推薦作品に選ばれ[43]、第6回企業ウェブグランプリ スチューデント部門特別賞を受賞した[44]

2016年にイギリスの数学者クリスチャン・ローソン=パーフェクトが公開した「これは素数ですか? (Is this prime?)」は、画面に表示される数字を素数と合成数に仕分けるゲームで、2021年7月にプレイ回数が300万回を突破した[45]。このゲームのプログラムにはミラー–ラビン素数判定法が組み込まれている[45]

連続素数

[編集]

連続素数和

[編集]
連続数 参照 含まれる素数列
2
5, 8, 12, 18, 24, 30, 36, 42, 52, 60, 68, 78, 84, … A001043
3
10, 15, 23, 31, 41, 49, 59, 71, 83, 97, 109, … A034961 A034962
4
17, 26, 36, 48, 60, 72, 88, 102, 120, 138, 152, … A034963
5
28, 39, 53, 67, 83, 101, 119, 139, 161, 181, … A034964 A034965
6
41, 56, 72, 90, 112, 132, 156, 180, 204, 228, … A127333
7
58, 75, 95, 119, 143, 169, 197, 223, 251, 281, … A127334 A082246
8
77, 98, 124, 150, 180, 210, 240, 270, 304, … A127335
9
100, 127, 155, 187, 221, 253, 287, 323, 363, … A127336 A082251
10
129, 158, 192, 228, 264, 300, 340, 382, 424, … A127337
11
160, 195, 233, 271, 311, 353, 399, 443, 491, … A127338 A127340
12
197, 236, 276, 318, 364, 412, 460, 510, 562, … A127339
13
238, 279, 323, 371, 423, 473, 527, … A127341

連続素数積

[編集]
連続数 参照
2
6, 15, 35, 77, 143, 221, 323, 437, 667, 899, 1147, 1517, 1763, … A006094
3
30, 105, 385, 1001, 2431, 4199, 7429, 12673, 20677, 33263, 47027, … A046301
4
210, 1155, 5005, 17017, 46189, 96577, 215441, 392863, 765049, … A046302
5
2310, 15015, 85085, 323323, 1062347, 2800733, … A046303
6
30030, 255255, 1616615, 7436429, 30808063, 86822723, … A046324
7
510510, 4849845, … A046325
8
9699690, 111546435, … A046326
9
223092870, 3234846615, … A046327
10
6469693230, 100280245065, … A127342
11
200560490130, 3710369067405, … A127343
12
7420738134810, 152125131763605, … A127344

素数砂漠

[編集]

自然数で素数でないものが連続している区間を「素数砂漠」という。例えば{24, 25, 26, 27, 28} は「長さ 5 の素数砂漠」である。素数砂漠を挟む2個の素数は 3 以上であるため、共に奇数である。このことから、素数砂漠の長さは必ず奇数である。いくらでも長い素数砂漠が構成できる(#分布を参照)。

初めから60個の素数の間隔は[46]

1, 2, 2, 4, 2, 4, 2, 4, 6, 2, 6, 4, 2, 4, 6, 6, 2, 6, 4, 2, 6, 4, 6, 8, 4, 2, 4, 2, 4, 14, 4, 6, 2, 10, 2, 6, 6, 4, 6, 6, 2, 10, 2, 4, 2, 12, 12, 4, 2, 4, 6, 2, 10, 6, 6, 6, 2, 6, 4, 2, …

脚注

[編集]

注釈

[編集]
  1. ^ どの素数も他の自然数の積では表せないためこれ以上小さい生成系は存在しない。
  2. ^ ユークリッドによる証明では、変数・数式・任意の個数を示すパラメーター n を使用せずに、定められた個数が 3個の素数 Α, Β, Γ の場合に証明している。これを「準一般的」な証明という。詳細は素数が無数に存在することの証明#ユークリッドを参照。
  3. ^ レオンハルト・オイラーによる。現代的な用語で言えば、リーマンゼータ関数のオイラー積表示を用いる[22]
  4. ^ ジョージ・ポーヤによる[22][23]
  5. ^ ヒレル・ファステンバーグによる。en:Furstenberg's proof of the infinitude of primesを参照。
  6. ^ 素数が無数に存在することの証明#サイダックを参照[24]
  7. ^ 『天書の証明』第1章[23]を参照。原論文は Erdös, P. (1938-07), “Über die Reihe ∑ 1/p” (German) (pdf), Mathematica, Zutphen B: 1-2, https://users.renyi.hu/~p_erdos/1938-12.pdf 

出典

[編集]
  1. ^ 創立80周年特集」『数学』第9巻第2号、1957年、72頁、doi:10.11429/sugaku1947.9.65 
  2. ^ 「東京數學會社雑誌第四十二號附録」『東京數學會社雑誌』1881年、13頁、doi:10.11429/sugakukaisya1877.1881.42sup_1 
  3. ^ 藤原松三郎他 著、日本学士院 編『明治前 日本数学史』 第4巻、岩波書店、1959年、29頁。NDLJP:2421638 
  4. ^ a b オンライン整数列大辞典の数列 A40
  5. ^ The Largest Known Primes”. The Prime Pages (2024年10月21日). 2024年10月22日閲覧。
  6. ^ 史上最大の素数発見、4100万桁超 びっちり印刷しても1万6千枚(朝日新聞、2024年10月23日)
  7. ^ [数A]11の倍数の判定法、見分け方とその証明”. トムラボ. 2023年2月25日閲覧。
  8. ^ http://www4.math.sci.osaka-u.ac.jp/~ogawa/pdfs/v_lec/HimejiNishi-2006-12.pdf
  9. ^ a b c d Caldwell & Xiong 2012
  10. ^ a b Caldwell et al. 2012。古代ギリシアについては pp.3-4、アラビアについては p.6 を参照。
  11. ^ 例えば David E. Joyce's のユークリッド原論についてのコメンタリー Book VII, definitions 1 and 2 を参照。
  12. ^ Tarán 1981
  13. ^ Caldwell et al. 2012, pp. 7–13。特にStevin、Brancker、Wallis、Prestetの項を参照。
  14. ^ Caldwell et al. 2012, p. 15
  15. ^ Conway & Guy 1996, pp. 129f
  16. ^ Derbyshire 2003, p. 33
  17. ^ Conway & Guy 1996, pp. 129–130
  18. ^ φ関数についてはSierpiński 1988p. 245を参照。約数関数についてはSandifer 2007p. 59を参照。
  19. ^ "Arguments for and against the primality of 1".
  20. ^ "Why is the number one not prime?"
  21. ^ a b ユークリッド 2011, 9-20
  22. ^ a b Ribenboim 2001, 第1章
  23. ^ a b アイグナー & ツィーグラー 2012, 第1章
  24. ^ doi:10.2307/27642094 https://primes.utm.edu/notes/proofs/infinite/Saidak.html
  25. ^ この区間の最初の値はオンライン整数列大辞典の数列 A008950を、終了の値はオンライン整数列大辞典の数列 A008995をその区間幅についてはオンライン整数列大辞典の数列 A008996を参照
  26. ^ Tomás Oliveira e Silva, Goldbach conjecture verification. Retrieved 16 July 2013.
  27. ^ Jens Franke (2010年7月29日). “Conditional Calculation of pi(1024)”. 2018年12月30日閲覧。
  28. ^ Prime Formulas -- from Wolfram MathWorld
  29. ^ Willans, C. P (1964-12), “On formulae for the nth prime number”, The Mathematical Gazette 48 (366): 413-415, doi:10.2307/3611701, ISSN 0025-5572, JSTOR 3611701, https://jstor.org/stable/3611701 
  30. ^ Ribenboim 2001, 第3章
  31. ^ オンライン整数列大辞典の数列 A005846
  32. ^ オンライン整数列大辞典の数列 A014556
  33. ^ Jones, James P.; Sato, Daihachiro; Wada, Hideo; Wiens, Douglas (1976), "Diophantine representation of the set of prime numbers", American Mathematical Monthly 83: 449-464, doi:10.2307/2318339
  34. ^ オンライン整数列大辞典の数列 A002496
  35. ^ オンライン整数列大辞典の数列 A037896
  36. ^ オンライン整数列大辞典の数列 A152913
  37. ^ オンライン整数列大辞典の数列 A023195
  38. ^ Helfgott, H.A. (2013). "Major arcs for Goldbach's theorem". arXiv:1305.2897 [math.NT]。
  39. ^ Helfgott, H.A. (2012). "Minor arcs for Goldbach's problem". arXiv:1205.5252 [math.NT]。
  40. ^ Dossier Alexander von Humboldt-Professur - Alexander von Humboldt-Stiftung
  41. ^ 吉村 2008
  42. ^ 田崎恭子 (2011年5月16日). “素数の不思議をゲームで学ぶiPadアプリ”. リセマム (イード). https://resemom.jp/article/2011/05/16/2398.html 2023年8月24日閲覧。 
  43. ^ 第15回 受賞作品文化庁メディア芸術祭エンターテインメント部門”. 文化庁メディア芸術祭. 文化庁. 2023年8月24日閲覧。
  44. ^ 池田真也 (2012年12月10日). “「第6回企業ウェブ・グランプリ」受賞サイト決定、コンテンツへの思いがグランプリへ”. Web担当者Forum (インプレス). https://webtan.impress.co.jp/e/2012/12/10/14313 2023年8月24日閲覧。 
  45. ^ a b シヴォーン・ロバーツ (2021年7月26日). “51、57、91は素数? 数学者が考えたオンライン・ゲームが人気”. MIT Technology Review (KADOKAWA). https://www.technologyreview.jp/s/251275/is-57-a-prime-number-theres-a-game-for-that/ 2023年8月24日閲覧。 
  46. ^ オンライン整数列大辞典の数列 A001223

参考文献

[編集]

関連項目

[編集]

外部リンク

[編集]