素数
素数(そすう、英: prime number)とは、1 より大きい自然数で、正の約数が 1 と自分自身のみであるもののことである。正の約数の個数が 2 である自然数と言い換えることもできる。1 より大きい自然数で素数でないものは合成数と呼ばれる。
一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数環 [math]\mathbb Z[/math] での素数は有理素数(ゆうりそすう、英: rational prime)と呼ばれることもある。
最小の素数は 2 である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。
素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。
自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。
分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 277232917 − 1 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ[1]。
Contents
定義と例
100 以下の素数一覧 | |||||||||
---|---|---|---|---|---|---|---|---|---|
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 |
素数とは、自明な正の約数(1 と自分自身)以外に約数を持たない自然数であり、1 でない数のことである。つまり、正の約数の個数が 2 である自然数のことである。例えば、2 は、正の約数が 1, 2 のみなので素数である。一方で 91 は、正の約数が 1, 7, 13, 91 なので素数でない。素数でない 2 以上の自然数を合成数と呼ぶ。また、特に 2 でない素数は奇数であり、奇素数と呼ぶ。十進法表示では、2, 5 以外の素数は、一の位が 1, 3, 7, 9 のいずれかである。
100以下の素数は25個存在し、小さい順に次の通りである。
- 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(オンライン整数列大辞典の数列 A40)
さらに、1000以下の素数は100以下のものを含め168個存在する。101以上の1000以下の素数は小さい順に次の通りである。
- 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997
素因数分解の可能性・一意性
「2 以上の自然数は、素数の積で表せる。その表し方は積の順序を除けば一意である」という、素因数分解の可能性・一意性が成立する(算術の基本定理)。すなわち、「素数全体」の成す集合は、自然数全体の成す集合の(乗法に関する)最小の生成系である。言い換えれば、これは「素数は自然数の構成要素である」などとなる。
素数の定義である「1 と自分自身でしか割り切れない」という条件(既約性)は、抽象代数学において、環の既約元の概念(一部の環では素元の概念と一致する)に抽象化され一般的に取り扱われる。一般の環で、任意の元は既約元の積に分解され、しかもその表示は一意であるという性質は稀有である。例えばネーター環では、任意の元は既約元分解が可能であるが、その表示が一意ではないネーター環の例はいくつも知られている。一意に既約元分解ができる環は一意分解環と呼ばれ、既約元分解は素元分解ともなる。
1 は素数か
素数の定義を「自明でない(1 と自分自身以外)約数の積に分解できない自然数」と考えた場合、「1 を素数の定義に含めるか含めないか」が問題となる。古代ギリシアでは、1 はそもそも数(自然数)であるとさえ見なされなかった[2]ので、1 は素数ではなかった。一方、19世紀には、1 は素数であると考える数学者が多く存在した。例えば、レーマーの 10,006,721 までの素数表(後の1956年に再版[3])では、素数は 1 から始まるものとして書かれている[4]。アンリ・ルベーグは、1 を素数だと考えた最後の専門的な数学者だと言われている[5]。
1 は素数であると仮定しても、素因数分解の可能性は成り立ち、数学の大部分の命題ではそのままの文面で変わらず有効であるが、素因数分解の一意性は成り立たなくなる。1 が素数だとすると、例えば 6 の素因数分解は、(積の順序を除いても)
- 6 = 2 × 3 = 1 × 2 × 3 = 12 × 2 × 3 = …
と無数の素因数分解を与えることになり、一意性が成り立たなくなる。さらに、1 以外の素数で成り立つ様々な性質がある(例えば、自然数とそれに対応するオイラーのφ関数や約数関数の値との関係など)[6][7]。
歴史
紀元前1600年頃のエジプト第2中間期において、素数に関する知識が部分的に知られていたことが、リンド数学パピルスなどの資料によって示唆されている。例えば分数をエジプト式分数で表す場合、素数と合成数の場合で異なる計算をしなければならないからである。しかし、記録に残っている限りにおいて、明確に素数を研究対象としたのは古代ギリシア人が最初である。紀元前約300年頃に書かれたユークリッドの『原論』には素数が無数に存在することや、その他の素数の性質が証明されている。また、ユークリッドはメルセンヌ素数から完全数を構成する方法を示している。ギリシアの数学者、エラトステネスに因んで名付けられたエラトステネスの篩(ふるい)は、素数を列挙するための計算方法である。
古代ギリシア時代の後、17世紀になるまで素数の研究にはそれほどの進展が無かった。1640年に、ピエール・ド・フェルマーはフェルマーの小定理を(未証明ではあるが)述べた。この定理は後にライプニッツとオイラーによって証明された。
素数の個数
素数が高密度に集まった対角線、水平線、垂線が見て取れる。素数の分布が極めて難解であるために、この素数のパターンが示す事実については未だに明らかにされていない。
素数が無数に存在することは既に古代ギリシア時代から知られていて、ユークリッドが彼の著作『原論』[8]の中で証明している。
ユークリッドによる証明
- 『原論』第9巻 命題20[8]
- 素数の個数はいかなる定められた素数の個数よりも多い。
- 定められた個数の素数を p1, p2, …, pn とせよ。p1, p2, …, pn より多い個数の素数があると主張する。
- 『原論』による証明[注釈 1]
- 定められた素数の個数が 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 以外に素数が存在する。すなわち、定められた個数の素数よりも多くの素数が存在する。(証明終)
- 例
- 自然数の有限集合 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 なので、新しい素数 7 と 19 が得られる。したがって、定められた個数より多くの素数が存在する。
他の証明
上記のユークリッドによる証明以外にも、素数が無数に存在することの証明方法が存在する。
- 素数の逆数の和が発散することを利用した証明[注釈 2](#素数の逆数和を参照)
- 2つの異なるフェルマー数が互いに素であることを利用した証明[注釈 3]
- 整数の集合に、等差数列の族を開基とする位相を入れる証明[注釈 4]
- n ≥ 2 に対して、n(n + 1) は少なくとも相異なる2個の素因数を持つことを利用した証明[注釈 5]。おそらく最も短い証明。
素数判定と素因数分解
与えられた自然数 n が素数であるか合成数であるかを判定するためのアルゴリズムが多数考案されている。最も素朴な方法は、2 から √n 以下の素数まで順番に割っていく、試し割りと呼ばれる方法である。n が √n 以下の全ての素数で割り切れなければ n は素数である。試し割りは、n が大きくなるに従って、急速に速度が低下するため、実用的ではない。任意の数に適用できる試し割りよりも高速なアルゴリズムが考案されている。また、特殊な形をした数に対してはより高速なアルゴリズムも存在する。素数判定は、与えられた数が素数であるか否かだけを判定するものであるが、素因数分解とはより強く、与えられた数の全ての素因数を列挙することであるとも言える。
分布
ある自然数までにどのくらいの素数があるのかという問題は、基本的だが非常に難しい問題である。素数のない、いくらでも長い区間が存在する。例えば、n ≥ 2 に対して、連続する n − 1 個の自然数 n! + 2, …, n! + n はそれぞれ、より小さい 2, …, n で割り切れるので、どれも素数でない。また、比較的小さな数では、114 から 126 まで13個連続で合成数である。(この区間の最初の値はオンライン整数列大辞典の数列 A008950を、終了の値はオンライン整数列大辞典の数列 A008995をその区間幅についてはオンライン整数列大辞典の数列 A008996を参照)
これに関して、次の素数定理は有名である。この定理は1896年に、アダマールとド・ラ・ヴァレ・プサンによって独立に証明された。
x 以下の素数の個数を π(x)(素数計数関数)とすると、
- [math]\pi (x)\sim \int_2^x \frac{dt}{\log t} \sim \frac{x}{\log x}\quad (x\to \infty)[/math]
が成り立つ。この定理は、1792年に15歳のカール・フリードリヒ・ガウスによって予想されていた(ガウスが最初に予想したのかどうかは不明)。この定理の証明は、ゼータ関数と複素関数論を用いる高度なものであったが、1949年にアトル・セルバーグとポール・エルデシュは独立に初等的な証明を与えた。この評価式はリーマン予想を仮定すると大幅に精度をよくすることができる。
次のような定理もある。
この主張は「任意の素数 p の次の素数は 2p 未満」とも言い換えられる。したがって、2017年5月現在知られている最大の素数 274207281 − 1 の次の素数は 274207282 − 2 未満である。
しかしながら、例えば n2 と (n + 1)2 の間に素数が存在するかという問題は未解決である(ルジャンドル予想)。
素数計数
2015年に、ゴールドバッハの予想検証プロジェクトは 4 × 1018 以下の全ての素数(9京5676兆2609億388万7607個、約 1017個)を計算したと報告した[12][13]が、結果は保存されていない。しかしながら、素数計数関数を計算するには、実際に素数を数えるより高速な公式が存在する。この公式を使って、1023 以下に 19垓2532京391兆6068億396万8923個(約 2×10{{#invoke:Gapnum|main|21}}個)の素数があると計算された。
また、別の計算によると、リーマン予想が真であると仮定した場合、1024 以下に 184垓3559京9767兆3492億86万7866個(約 2×10{{#invoke:Gapnum|main|22}}個) の素数が存在する[14]。
分布の視覚化
素数に関連する主な性質
素数の逆数和
素数の逆数の和は(無限大に)発散する。この命題は『素数は無数に存在する』という命題を含んでいる(有限個ならば収束、すなわち発散しないはずである)が、それだけではなく素数の分布に関してより多くの情報を提供している。
この結果は最初にレオンハルト・オイラーによりゼータ関数を研究することでもたらされた。以下の証明はポール・エルデシュによる、より直接的で、また簡潔な証明である[注釈 6]。素数が無数に存在することを証明に用いないため、その証明をも含んでいる。
- エルデシュによる証明
素数の逆数和は収束すると仮定する。i 番目の素数を pi で表すと、
- [math]\sum_{i=N+1}^\infty \frac{1}{p_i} \lt \frac{1}{2} \cdots (1)[/math]
を満たす N が存在する。
n 以下の自然数のうち最大素因数が pN 以下のものからなる集合を An とする。任意の k ∈ An に対して、
- k = u2v(v の各素因数の指数は全て 1)
と表示すると、v は高々 2N 通り、u2 ≤ k ≤ n より
- #An ≤ 2N√n …(2)
Anc の元は、pN+1 以上の素因数を少なくとも1つ持つから、(1) より
- [math]\# {A_n}^c \leq \sum_{i=N+1}^\infty \left[ \frac{n}{p_i} \right] \leq n\sum_{i=N+1}^\infty \frac{1}{p_i} \lt \frac{n}{2}[/math]
#Anc = n − #An より
- n2 < #An …(3)
(2), (3) より n2 < 2N √n, ∴ n < 22N+2。これは n の任意性に矛盾。(証明終)
双子素数に限ると、逆数和は B2 = 1.902… に収束することが証明されている(ブルン定数)。
その他の性質
- (a, m) = 1 のとき、等差数列:a, a + m, a + 2m, … には素数の項が無数に含まれている。(ディリクレの算術級数定理)
- 素数 p に対して、(a, p) = 1 ⇒ ap−1 ≡ 1 (mod p)(フェルマーの小定理)
- p が素数 ⇔ (p − 1)! ≡ −1 (mod p)(ウィルソンの定理)
- 素数の2乗差は 5 の倍数, 3 の倍数, 8 の倍数のいずれかである。
- 5 ( = 32 − 22), 16 ( = 52 − 32), 21 ( = 52 − 22), 24 ( = 72 − 52), 40 ( = 72 − 32), …
素数生成式
オイラーの発見した式、f(n) = n2 + n + 41 は、n = 0, …, 39 で全て素数となる。これは、虚二次体 [math]\mathbb{Q}(\sqrt{-163})[/math] の類数が 1 であることと関係している[15][16][17]。
- f(n) = n2 + n + p が 0 ≤ n ≤ p − 2 で素数を取るような素数 p の値を「オイラーの幸運数」という。p = 2, 3, 5, 11, 17, 41(オンライン整数列大辞典の数列 A014556)
多変数の高次多項式では、全ての素数を生成することができる式がいくつか知られている。例えば、k + 2 が素数となる必要十分条件は、次のディオファントス方程式が自然数解を持つことである[18]:
- wz + h + j − q = 0
- (gk + 2g + k + 1)(h + j) + h − z = 0
- (16k + 1)3(k + 2)(n + 1)2 + 1 − f2 = 0
- 2n + p + q + z − e = 0
- e3(e + 2)(a + 1)2 + 1 − o2 = 0
- (a2 − 1)y2 + 1 − x2 = 0
- 16r2y4(a2 − 1) + 1 − u2 = 0
- n + l + v − y = 0
- (a2 − 1)l2 + 1 − m2 = 0
- ai + k + 1 − l − i = 0
- [{a + u2(u2 − a)}2 − 1](n + 4dy)2 + 1 − (x + cu)2 = 0
- p + l(a − n − 1) + b(2an + 2a − n2 − 2n − 2) − m = 0
- q + y(a − p − 1) + s(2ap + 2a − p2 − 2p − 2) − x = 0
- z + pl(a − p) + t(2ap − p2 − 1) − pm = 0
誤解されやすいが、素数が無数に存在することの、#ユークリッドによる証明で使われる手順からは、必ずしも素数を得ることができない。なぜなら最初の仮定「最大の素数 pn が存在する」が正しくないからである。実際に、n = 6 で
- 2 × 3 × 5 × 7 × 11 × 13 + 1 = 30031 = 59 × 509
と、自明でない約数に分解できてしまう(最小の反例)。
特殊な形をした素数
- メルセンヌ素数:2n − 1(n は素数が必要、n = 2, 3, 5, 7, 13, …)
- フェルマー素数:22n + 1
- オイラー素数:n2 + n + 41
- 階乗素数
- n! + 1型 (n = 1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, …)
- n! − 1型 (n = 3, 4, 6, 7, 12, 14, 30, 32, 33, 38, 94, 166, …)
- 素数階乗素数:p# ± 1(p は素数、p# は p の素数階乗)
- レピュニット R2, R19, R23, …(Rn は 1 が n 個続く数、通常は基数を 10 にとる)
- 双子素数(差が 2 である2つの素数)
- いとこ素数(差が 4 である2つの素数)
- セクシー素数(差が 6 である2つの素数)
- 三つ子素数(3つの素数の組 (p, p + 2, p + 6) または (p, p + 4, p + 6)((p, p + 2, p + 4)型は (3, 5, 7) のみ。)
- 四つ子素数(p, p + 2, p + 6, p + 8 が全て素数)
- ソフィー・ジェルマン素数(p と 2p + 1 がともに素数)
- 安全素数(p と (p − 1) / 2 がともに素数)
- スーパー素数(素数列における素数番目の素数)
- 切り捨て可能素数(与えられた基数において 0 を含まず、左右から数を取っていった数がすべて素数である素数)
- 陳素数(p + 2 が半素数またはともに素数)
- 正則素数(円の p 分体の類数を割り切らない奇素数)
- 非正則素数(円の p 分体の類数を割り切る奇素数)
- フィボナッチ素数(フィボナッチ数の数列に含まれる素数)
- その他の素数
未解決問題
- 双子素数の予想:双子素数は無数に存在する、という予想。
- ゴールドバッハの予想:6 以上の全ての偶数は 2 つの奇素数の和で表すことができる、という予想。
- 弱いゴールドバッハ予想:7 以上の全ての奇数は 3 つの素数の和で表すことができる、という予想。ただしハラルド・ヘルフゴットによる証明が2013年に発表されている[19][20][21]。
- ルジャンドル予想:全ての n に対し、n2 と (n + 1)2 の間に素数が存在するかという予想。
- 既知のフェルマー素数以外に、フェルマー数にフェルマー素数は存在するか?
- メルセンヌ素数は無数に存在するか?
- ソフィー・ジェルマン素数、安全素数は無数に存在するか?
- フィボナッチ数列には、素数である項が無数に現れるか?(フィボナッチ素数)
- 幸運数でも素数でもあるような数は無数に存在するか?
- ハッピー素数は無数に存在するか?
- n2 + 1 の形の素数は無数に存在するか?(ブニャコフスキー予想)
応用
長い間、数論、その中でもとりわけ素数に関する研究は、その分野以外での応用の全くない純粋数学の見本と見なされていた。特に、イギリスの数論研究者であるハーディは、自身の研究が軍事的に何の重要性も持たないことを誇っていた。しかし、この見方は1970年代には覆されてしまった。素数が公開鍵暗号のアルゴリズムに使用できると広く知られるようになったためである。現在では素数はハッシュテーブルや擬似乱数生成にも用いられ、工学的応用上重要度の高いものとなっている。
公開鍵暗号
公開鍵暗号のアルゴリズムとして、RSA暗号やディフィー・ヘルマン鍵共有といった、大きな数の素因数分解は困難であるという性質に基礎を置くものがある。RSA暗号は、2つの(大きな)素数の掛け算は比較的簡単に(効率的に)行えるが、その積を素因数分解して元の2つの素数を求めることは難しいという事実に基づいている。
自然界の素数
自然界に現れる素数の一例として、素数ゼミと呼ばれるセミの一種がいる。アメリカ合衆国に分布するこのセミの成虫は、ある周期ごとに、13年ないしは17年間の周期で大量発生する。成虫になった後は、数週間だけを地上で成虫として過ごし交配と産卵を行う。このセミが素数周期で発生する理由として、寄生虫や捕食者に対抗するための進化であるという説や近縁種との交雑を避けるためであるという説がある。つまり、もしこのセミが12年の発生周期を持っていた場合、12の約数である2, 3, 4, 6年の寿命を持つ捕食者と同時に発生してしまうことになり、捕食対象にされやすくなる。また、地理的に近い場所で12年周期と15年周期のセミが存在した場合、60年ごとに2種は同時に発生し、交雑してしまう可能性がある。すると、雑種は発生周期がズレてしまい、同種のセミとの交尾の機会が失われる。素数の周期を持つものは交雑が起こりにくく、淘汰されにくいと考えられる[22]。
また、ゼータ関数上の零点の分布の数式が、原子核のエネルギー間隔を表す式と一致することを示し、素数と核物理現象との関連性が示唆されている。
連続素数
連続素数和
連続数 | 数 | 参照 | 含まれる素数列 |
---|---|---|---|
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 |
脚注
注釈
- ↑ ユークリッドによる証明では、変数・数式・任意の個数を示すパラメーター n を使用せずに、定められた個数が 3 個の素数 Α, Β, Γ の場合に証明している。これを「準一般的」な証明という。詳細は素数が無数に存在することの証明#ユークリッドを参照。
- ↑ レオンハルト・オイラーによる。現代的な用語で言えば、リーマンゼータ関数のオイラー積表示を用いる[9]。
- ↑ ジョージ・ポーヤによる[9][10]。
- ↑ ヒレル・ファステンバーグによる。en:Furstenberg's proof of the infinitude of primesを参照。
- ↑ 素数が無数に存在することの証明#サイダックを参照[11]。
- ↑ 『天書の証明』第1章[10]を参照。原論文は Erdös, P. (1938-07), “Über die Reihe ∑ 1/p” (German) (PDF), Mathematica, Zutphen B: 1-2。
出典
- ↑ The Prime Pages, The Top Ten Record Primes
- ↑ 例えば David E. Joyce's のユークリッド原論についてのコメンタリー Book VII, definitions 1 and 2 を参照。
- ↑ Riesel 1994, p. 36
- ↑ Conway & Guy 1996, pp. 129f
- ↑ Derbyshire 2003, p. 33
- ↑ "Arguments for and against the primality of 1".
- ↑ "Why is the number one not prime?"
- ↑ 8.0 8.1 ユークリッド 2011, 9-20
- ↑ 9.0 9.1 Ribenboim 2001, 第1章
- ↑ 10.0 10.1 アイグナー & ツィーグラー 2012, 第1章
- ↑ doi:10.2307/27642094 http://primes.utm.edu/notes/proofs/infinite/Saidak.html
- ↑ Tomás Oliveira e Silva, Goldbach conjecture verification. Retrieved 16 July 2013.
- ↑ オンライン整数列大辞典の数列 A080127
- ↑ Jens Franke (2010年7月29日). “Conditional Calculation of pi(1024)”. . 2015閲覧.
- ↑ Ribenboim 2001, 第3章
- ↑ オンライン整数列大辞典の数列 A005486
- ↑ オンライン整数列大辞典の数列 A202018
- ↑ 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
- ↑ Helfgott, H.A. (2013年). “Major arcs for Goldbach's theorem”. arXiv:1305.2897 [math.NT].
- ↑ Helfgott, H.A. (2012年). “Minor arcs for Goldbach's problem”. arXiv:1205.5252/ [math.NT].
- ↑ http://www.humboldt-professur.de/en/preistraeger/preistraeger-2015/harald-andres-helfgott
- ↑ 吉村 2008
参考文献
- Aigner, Martin; Ziegler, Günter M. (2010), Proofs from THE BOOK (4th ed.), Springer-Verlag, ISBN 978-3-642-00856-6
- Conway, John Horton; Guy, Richard K. (1996), The Book of Numbers, New York: Copernicus, ISBN 978-0-387-97993-9
- 真実のみを記述する会 『素数表150000個』 暗黒通信団、2011-08。ISBN 978-4-87310-156-9。
- Manfred Robert Schroeder 『科学と通信における数論 暗号,物理学,ディジタル情報,計算法,自己相似性を含む』〈上〉、平野浩太郎・野村孝徳 共訳、パスカル研究会(出版)コロナ社(発売)、1995-02-01、33-68。ISBN 978-4-339-08216-6。
- Derbyshire, John (2003), Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics, Washington, D.C.: Joseph Henry Press, ISBN 978-0-309-08549-6, OCLC 249210614
- ジョン・ダービーシャー 『素数に憑かれた人たち リーマン予想への挑戦』 松浦俊輔 訳、日経BP社(出版)日経BP出版センター(発売)、2004-08-30。ISBN 978-4-8222-8204-2。
- 本橋洋一 『解析的整数論』〈1〉素数分布論、朝倉書店〈朝倉数学大系〉、2012(原著2009-11-01)、第2刷。ISBN 978-4-254-11821-6。 - 第2刷 2012:加筆含む。
- 本橋洋一 (2005年3月26日). “素数の翼に乗って (PDF)”. 日本数学会年会市民講演. . 2016閲覧.
- ユークリッド 『ユークリッド原論』 中村幸四郎・寺阪英孝・伊東俊太郎・池田美恵訳、共立出版、2011-5-25、追補版。ISBN 978-4-320-01965-2。
- 吉村仁 『17年と13年だけ大発生? 素数ゼミの秘密に迫る!』 ソフトバンククリエイティブ〈サイエンス・アイ新書 072〉、2008-07-16。ISBN 978-4-7973-4258-1。
- Riesel, Hans (1994), Prime numbers and computer methods for factorization, Basel, Switzerland: Birkhäuser, ISBN 978-0-8176-3743-9
- Ribenboim, Paulo (2004), The Little Book of Bigger Primes (2nd ed.), Springer-Verlag, ISBN 978-0-387-20169-6
- Paulo Ribenboim 『素数の世界 その探索と発見』 吾郷孝視訳、共立出版、2001-10-20、第2版。ISBN 978-4-320-01684-2。
関連項目
- 違法素数
- エマープ
- エラトステネスの篩
- 巨大な素数の一覧
- コープランド-エルデシュ定数
- 素数の一覧
- ピタゴラス素数
- プライム (小惑星) - 小惑星番号7919が1000番目の素数であることに因む小惑星。
外部リンク
- The Prime Page
- Weisstein, Eric W. “Prime Number”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- prime number in nLab
- prime - PlanetMath.(英語)
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}