素数のソースを表示

{{Otheruses||化粧品会社|素数 (企業)}}
'''素数'''（そすう、{{lang-en-short|''prime number''}}）とは、[[1]] と自分自身以外に正の[[約数]]を持たない[[自然数]]で、[[1]] でない数のことである。正の約数の個数が 2 である自然数と言い換えることもできる。もし 1 を素数の定義に含めたとすると、'''[[算術の基本定理]]'''（'''[[素因数分解]]の可能性・一意性'''、すなわち「1 でない自然数は、素数の積に、素因数の順序を除いて一意に表される」を述べた定理）において、素因数分解の可能性は成り立つが一意性は成り立たなくなるということが起きてしまう。そのため、1 は素数の定義から除外するのが一般的である。

素数は無数に存在することは、[[紀元前3世紀]]頃の[[エウクレイデス|ユークリッド]]の著書『[[ユークリッド原論|原論]]』で既に証明されていた。

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

[[分散コンピューティング]]・プロジェクト [[GIMPS]] により、史上最大の素数の探求が行われている。[[2013年]][[12月]]現在で知られている最大の素数は、[[2013年]][[1月]]<!--25日-->に発見された、現在分かっている中で48番目の[[メルセンヌ数|メルセンヌ素数]] 2{{sup|57885161}} &minus; 1 であり、[[十進法]]で表記したときの桁数は1742万5170桁に及ぶ<ref>The Prime Pages, [http://primes.utm.edu/largest.html#biggest The Top Ten Record Primes]</ref>。

== 定義と例 ==
{|class="wikitable" style="font-size:95%;text-align:right;float:right;margin:0px 0px 3px 7px;line-height:1.3em"
!colspan="10"|100までの素数
|-
| ||{{0}}2||3||{{0}}{{0}}||{{0}}5||{{0}}{{0}}||7||{{0}}{{0}}|| ||{{0}}{{0}} 
|-
|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 以上の自然数を'''[[合成数]]'''と呼ぶ。

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（{{OEIS|id=A40}}）
さらに、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

== 素因数分解の可能性・一意性 ==
{{main|算術の基本定理}}
「2 以上の自然数は、素数の[[積]]で表せる。その表し方は積の順序を除けば一意である」という、'''[[素因数分解]]'''の可能性・一意性が成立する（'''[[算術の基本定理]]'''）。すなわち、1 と「素数全体」の成す集合は、自然数全体の成す集合の（乗法に関する）最小の[[生成 (数学)|生成]]系である。俗な表現をすると、これは「1 と素数は自然数の構成要素である」などとなる。

素数の定義である「1 と自分自身でしか割り切れない」という条件（既約性）は、抽象代数学において、[[環 (数学)|環]]の[[環 (数学)#環についての諸概念|既約元]]の概念（一部の環では[[環 (数学)#環についての諸概念|素元]]の概念と一致する）に抽象化され一般的に取り扱われる。一般の環の理論の中で、既約元によって全体が生成され、その表示が一意的に決まるという性質は稀有なものである。例えば[[ネーター環]]では、いつでも各元の既約元分解ができるが、しかし既約元分解の表示が一意でないネーター環の例はいくつも知られている。一意に既約元分解ができる環は[[一意分解環]]と呼ばれ、既約元分解は素元分解ともなる。

=== 1 は素数か ===
素数の定義を「自分自身より小さく 1 以外の自然数の積に分解できない自然数」と考えた場合、「1 を素数の定義に含めるか含めないか」が問題となる。[[古代ギリシア]]では、1 はそもそも数（自然数）であるとさえ見なされなかった<ref>例えば David E. Joyce's の[[ユークリッド原論]]についてのコメンタリー [http://aleph0.clarku.edu/~djoyce/java/elements/bookVII/defVII1.html Book VII, definitions 1 and 2] を参照。</ref>ので、1 は素数ではなかった。一方、19世紀には、1 は素数であると考える数学者が多く存在した。例えば、[[デリック・ノーマン・レーマー|レーマー]]の 10,006,721 までの素数表（後の1956年に再版<ref>{{Harvard citations
|last1 = Riesel
|year = 1994
|loc = p.36
|nb = yes
}}</ref>）では、素数は 1 から始まるものとして書かれている<ref>{{Harvard citations
|last1 = Conway
|last2 = Guy
|year = 1996
|loc = pp.129–130
|nb = yes
}}</ref>。[[アンリ・ルベーグ]]は、1 を素数だと考えた最後の専門的な数学者だと言われている<ref>
{{Citation
|last1 = Derbyshire
|first1 = John
|title = Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in  Mathematics
|accessdate = 2008-03-11
|year = 2003
|publisher = Joseph Henry Press
|location = Washington, D.C.
|isbn = 9780309085496
|oclc = 249210614
|page = 33
|chapter = The Prime Number Theorem
}}</ref>。

1 は素数であると仮定しても、素因数分解の可能性は成り立ち、数学の大部分の命題ではそのままの文面で変わらず有効であるが、素因数分解の一意性は成り立たなくなる。1 が素数だとすると、例えば 6 の素因数分解は、（積の順序を除いても）
:6 = 2 × 3 = 1 × 2 × 3 = 1{{sup|2}} × 2 × 3 = …
と無数の素因数分解を与えることになり、一意性が成り立たなくなる。さらに、1 以外の素数で成り立つ様々な性質がある（例えば、自然数とそれに対応する[[オイラーのφ関数]]や[[約数和函数]]の値との関係など）<ref>[http://primefan.tripod.com/Prime1ProCon.html "Arguments for and against the primality of 1"].</ref><ref>[http://primes.utm.edu/notes/faq/one.html "Why is the number one not prime?"]</ref>。

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

古代ギリシア時代の後、[[17世紀]]になるまで素数の研究にはそれほどの進展が無かった。[[1640年]]に、[[ピエール・ド・フェルマー]]はフェルマーの小定理を（未証明ではあるが）述べた。この定理は後に[[ゴットフリート・ライプニッツ|ライプニッツ]]と[[レオンハルト・オイラー|オイラー]]によって証明された。
{{節stub}}

== 素数の個数 ==
{{Main|素数が無数に存在することの証明}}
[[ファイル:Ulam 1.png|thumb|自然数を渦巻状に並べていき、素数だけを黒く塗ったもの。素数が高密度に集まった対角線、水平線、垂線が見て取れる。素数の法則性に関する証明が極めて難解であるために、この素数のパターンが示す事実については未だに明らかにされていない。（[[ウラムの螺旋]]）]]
素数が無数に存在することは既に[[古代ギリシア]]時代から知られていて、[[エウクレイデス|ユークリッド]]が彼の著作『[[ユークリッド原論|原論]]』<ref>日本語訳、中村幸四郎、寺阪英孝、池田美恵、伊東俊太郎『ユークリッド原論』共立出版 ISBN 4-320-01513-4</ref>の中で証明している。

=== ユークリッドによる証明 ===
;[[背理法]]による証明
:素数が有限個（''n'' 個とする）しかないと仮定し、''i'' 番目の素数を ''p{{sub|i}}'' とする。
:''q'' = ''p''{{sub|1}}''p''{{sub|2}} ... ''p{{sub|n}}'' + 1
:を考えよう。
:''q'' は有限個の自然数の積に 1 を加えた数なので自然数である。ゆえに、''q'' は素数または合成数のどちらかである。
:''q'' は最大素数 ''p{{sub|n}}'' より大きいので、素数でない。
:したがって、''q'' は合成数であることになる。すなわち、''q'' はいくつかの ''p{{sub|i}}'' の積である。すなわち、''q'' をある ''p{{sub|i}}'' で割った余りは 0 である。これは ''q'' の定義（''p{{sub|i}}'' で割った余りは 1）に矛盾。（証明終）

=== 他の証明 ===
上記のユークリッドによる証明方法以外にも、素数の個数に関する証明が存在する。
*自然数の逆数の和が無限大に発散することを利用した証明<ref>[[レオンハルト・オイラー]]による。現代的な用語で言えば、リーマンの[[ゼータ関数]]のオイラー積表示を用いる。Ribenboim の第1章参照。</ref>
*2つの異なる[[フェルマー数]]が互いに素であることを利用した証明<ref>[[ジョージ・ポーヤ]]による。Ribenboim の第1章または "Proof from the Book" の第1章を参照。</ref>
*整数の集合に、[[等差数列]]の族を開基とする[[位相空間|位相]]を入れる証明<ref>[[ヒレル・ファステンバーグ]]による。[[:en:Furstenberg's proof of the infinitude of primes]]を参照。<!-- 日本語の文献では共立「素数大百科」にあるそうですが未確認なのでコメントアウトしておきます。どなたか確認されたら追加してください。 --></ref>
*''n'' ≥ 2 に対して、''n''(''n'' + 1) は少なくとも相異なる2個の素因数を持つことを利用した証明<ref>{{doi|10.2307/27642094}} http://primes.utm.edu/notes/proofs/infinite/Saidak.html</ref>。おそらく最も短い。

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

== 分布 ==
ある自然数までにどのくらいの素数があるのかという問題は、基本的だが非常に難しい問題である。素数のない、いくらでも長い区間が存在する。例えば、''n'' ≥ 2 に対して、連続する ''n'' &minus; 1 個の自然数 ''n''[[階乗|!]] + 2, …, ''n''! + ''n'' はそれぞれ、より小さい  2, …, ''n'' で割り切れるので、どれも素数でない。また、比較的小さな数では、[[114]] から [[126]] まで13個連続で合成数である。

これに関して、次の'''[[素数定理]]'''は有名である。この定理は[[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年]]に[[アトル・セルバーグ]]と[[ポール・エルデシュ]]は独立に初等的な証明を与えた。この評価式はリーマン予想を仮定すると大幅に精度をよくすることができる。

次のような定理もある。
:「任意の自然数 ''n'' に対して、''n'' < ''p'' ≤ 2''n'' を満たす素数 ''p'' が存在する」（'''[[ベルトランの仮説]]'''、[[パフヌティ・チェビシェフ|チェビシェフ]]の定理）

この主張は「任意の素数 ''p'' の次の素数は 2''p'' 未満」とも言い換えられる。したがって、現在知られている最大の素数 2{{sup|57885161}} &minus; 1 の次の素数は 2{{sup|57885162}} &minus; 2 未満である。

しかしながら、例えば ''n''{{sup|2}} と (''n'' + 1){{sup|2}} の間に素数が存在するかという問題は未解決である。

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

この結果は最初に[[レオンハルト・オイラー]]によりゼータ関数を研究することでもたらされた。以下のものは[[ポール・エルデシュ]]による、より直接で、また簡潔な証明である<ref>"Proofs from the Book" 第1章を参照。原論文は P. Erdös, "Über die Reihe ∑ 1/p", Mathematica, Zutphen B '''7'''（1938), 1-2.</ref>。素数が無限個存在することは証明に用いないため、そのことの別証明にもなっている。
;エルデシュによる証明
素数の逆数和は収束すると仮定する。''i'' 番目の素数を ''p{{sub|i}}'' とすると、
:<math>\sum_{i=N+1}^\infty \frac{1}{p_i} <\frac{1}{2} \cdots (1)</math>
を満たす ''N'' が存在する。

1, 2, …, ''n'' のうち最大素因数が ''p{{sub|N}}'' 以下の自然数からなる集合を ''M{{sub|n}}'' とする。任意の ''k'' ∈ ''M{{sub|n}}'' に対して、
:''k'' = ''u''{{sup|2}}''v''（''v'' の各素因数の指数は全て 1）
と表示すると、''v'' は高々 2{{sup|''N''}} 通り、''u''{{sup|2}} ≤ ''k'' ≤ ''n'' より
: #''M{{sub|n}}'' ≤ 2{{sup|''N''}}√{{overline|''n''}} …(2)
''M{{sub|n}}{{sup|c}}'' の元は少なくとも ''p''{{sub|''N''+1}}, ''p''{{sub|''N''+2}}, ... いずれかの倍数だから、(1) より
:<math>\# {M_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} <\frac{n}{2}</math>
&#35;''M{{sub|n}}{{sup|c}}'' = ''n'' &minus; #''M{{sub|n}}'' より
:{{sfrac|''n''|2}} < #''M{{sub|n}}'' …(3)
(2), (3) より {{sfrac|''n''|2}} < 2{{sup|''N''}} √{{overline|''n''}}, ∴ ''n'' < 2{{sup|2''N''+2}}。これは ''n'' の任意性に矛盾。（証明終）

=== その他の性質 ===
*(''a'', ''m'') = 1 のとき、[[等差数列]]：''a'', ''a'' + ''m'', ''a'' + 2''m'', … の中には無数の素数が含まれている。（[[ディリクレの算術級数定理]]）
*素数 ''p'' に対して、(''a'', ''p'') = 1 ⇒ ''a''{{sup|''p''&minus;1}} ≡ 1 (mod ''p'')（[[フェルマーの小定理]]）

== 素数生成式 ==
[[レオンハルト・オイラー|オイラー]]の発見した式、''f''(''n'') = ''n''{{sup|2}} + ''n'' + 41 は、''n'' = 0, …, 39 において全て素数となる。これは、虚[[二次体]] <math>\mathbb{Q}(\sqrt{-163})</math> の[[類数]]が 1 であることと関係している<ref>Ribenboim 第3章</ref>。

多変数の高次多項式では、全ての素数を生成することができる式がいくつか知られている。例えば、''k'' + 2 が素数となる必要十分条件は、次の[[ディオファントス方程式]]が自然数解を持つことである<ref>Jones, James P.; Sato, Daihachiro; Wada, Hideo; Wiens, Douglas (1976), "Diophantine representation of the set of prime numbers", American Mathematical Monthly '''83''': 449–464, [http://www.jstor.org/pss/2318339 doi:10.2307/2318339]</ref>:
:''wz + h + j &minus; q'' = 0
:(''gk'' + 2''g'' + ''k'' + 1)(''h'' + ''j'') + ''h'' &minus; ''z'' = 0
:(16''k'' + 1){{sup|3}}(''k'' + 2)(''n'' + 1){{sup|2}} + 1 &minus; ''f''{{sup|2}} = 0
:2''n'' + ''p'' + ''q'' + ''z'' &minus; ''e'' = 0
:''e''{{sup|3}}(''e'' + 2)(''a'' + 1){{sup|2}} + 1 &minus; ''o''{{sup|2}} = 0
:(''a''{{sup|2}} &minus; 1)''y''{{sup|2}} + 1 &minus; ''x''{{sup|2}} = 0
:16''r''{{sup|2}}''y''{{sup|4}}(''a''{{sup|2}} &minus; 1) + 1 &minus; ''u''{{sup|2}} = 0
:''n'' + ''l'' + ''v'' &minus; ''y'' = 0
:(''a''{{sup|2}} &minus; 1)''l''{{sup|2}} + 1 &minus; ''m''{{sup|2}} = 0
:''ai'' + ''k'' + 1 &minus; ''l'' &minus; ''i'' = 0
:[{''a'' + ''u''{{sup|2}}(''u''{{sup|2}} &minus; ''a'')}{{sup|2}} &minus; 1](''n'' + 4''dy''){{sup|2}} + 1 &minus; (''x'' + ''cu''){{sup|2}} = 0
:''p'' + ''l''(''a'' &minus; ''n'' &minus; 1) + ''b''(2''an'' + 2''a'' &minus; ''n''{{sup|2}} &minus; 2''n'' &minus; 2) &minus; ''m'' = 0
:''q'' + ''y''(''a'' &minus; ''p'' &minus; 1) + ''s''(2''ap'' + 2''p'' &minus; ''p''{{sup|2}} &minus; 2''p'' &minus; 2) &minus; ''x'' = 0
:''z'' + ''pl''(''a'' &minus; ''p'') + ''t''(2''ap'' &minus; ''p''{{sup|2}} &minus; 1) &minus; ''pm'' = 0

誤解されやすいが、ユークリッドによる、素数が無数に存在することの証明で使われる手順（[[#ユークリッドによる証明|こちら]]を参照）からは、必ずしも素数を得ることができない。なぜなら最初の仮定「最大の素数 ''p{{sub|n}}'' が存在すると仮定する」が正しくないからである。実際に、''n'' = 6 で
:2 × 3 × 5 × 7 × 11 × 13 + 1 = 30031 = 59 × 509
と、''p''{{sub|17}} = 59 で割り切れてしまう（最小の反例）。

== 特殊な形をした素数 ==
*[[メルセンヌ数|メルセンヌ素数]]: 2{{sup|''n''}} &minus; 1 (''n'' = 2, 3, 5, 7, …)
*[[フェルマー数#フェルマー素数|フェルマー素数]]: 2{{sup|2{{sup|''n''}}}} + 1
*オイラー素数: ''n''{{sup|2}} + ''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, …)
*''n''# ± 1（''n''# は ''n'' の[[素数階乗]]）
*[[レピュニット]] ''R''{{sub|2}}, ''R''{{sub|19}}, ''R''{{sub|23}}, …（''R{{sub|n}}'' は 1 が ''n'' 個続く数、通常は[[位取り記数法|基数]]を 10 にとる）
*[[双子素数]]（差が 2 である2つの素数）
*[[いとこ素数]]（差が 4 である2つの素数）
*[[セクシー素数]]（差が 6 である2つの素数）
*[[ソフィー・ジェルマン素数]]・[[安全素数]]: ''n'' と 2''n'' + 1 がともに素数であるとき、''n'' をソフィー・ジェルマン素数、2''n'' + 1 を安全素数という。
*[[シュリニヴァーサ・ラマヌジャン|ラマヌジャン素数]]

== 未解決問題 ==
*[[双子素数の予想]]: 双子素数は無数に存在する、という予想。
*[[ゴールドバッハの予想]]: 6 以上の全ての偶数は 2 つの奇素数の和で表すことができる、という予想。
*[[弱いゴールドバッハ予想]]：7 以上の全ての奇数は 3 つの素数の和で表すことができる、という予想。
*既知の[[フェルマー数#フェルマー素数|フェルマー素数]]以外に、フェルマー数にフェルマー素数は存在するか？
*[[メルセンヌ数|メルセンヌ素数]]は無数に存在するか？
*[[ソフィー・ジェルマン素数]]は無数に存在するか？
*[[フィボナッチ数|フィボナッチ数列]]の項には素数が無数に出現するか？
*''n''{{sup|2}} + 1 の形の素数は無数に存在するか？
*全ての ''n'' に対し、''n''{{sup|2}} と (''n'' + 1){{sup|2}} の間に素数が存在するか？

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

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

=== 自然界の素数 ===
自然界に現れる素数の一例として、[[素数ゼミ]]と呼ばれる[[セミ]]の一種がいる。[[アメリカ合衆国]]に分布するこのセミの成虫は、ある周期ごとに、13年ないしは17年間の周期で大量発生する。成虫になった後は、数週間だけを地上で成虫として過ごし交配と産卵を行う。このセミが素数周期で発生する理由として、寄生虫や捕食者に対抗するための進化であるという説や近縁種との交雑を避けるためであるという説がある。つまり、もしこのセミが12年の発生周期を持っていた場合、12の約数である2, 3, 4, 6年の寿命を持つ捕食者と同時に発生してしまうことになり、捕食対象にされやすくなる。また、地理的に近い場所で12年周期と15年周期のセミが存在した場合、60年ごとに2種は同時に発生し、交雑してしまう可能性がある。すると、雑種は発生周期がズレてしまい、同種のセミとの交尾の機会が失われる。素数の周期を持つものは交雑が起こりにくく、淘汰されにくいと考えられる<ref>{{Cite book|和書
|author = 吉村仁
|year = 2008 
|title = 17年と13年だけ大発生?素数ゼミの秘密に迫る! 
|publisher = ソフトバンククリエイティブ
|isbn = 4797342587
}}</ref>。

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

== 語呂合わせ ==
整数の[[平方根]]や[[円周率]]などのように、素数にも語呂合わせによる[[記憶術]]がある。以下に挙げる。
===2桁の素数===
{|class=wikitable
|兄さん||5時に||[[セブン-イレブン|セブンイレブン]]||父さん||いいなと||ついていく||兄さん||買った肉を||裂いて||みんなで食べたら||41円しか||予算がない
|-
|(2, 3)||5||(7, 11)||13||17||19||23||29||31||37||41||43
|}
{|class=wikitable
|しなった顔で||ごみ拾い||ゴクっと飲んで||六井さんが||むなしく||泣いた||ナミが||泣く泣く||[[破産]]した||白紙に戻した||[[宮内庁]]
|-
|47||53||59||61||67||71||73||79||83||89||97
|}
===37未満まで===
{|class=wikitable
|兄さん||5時に||[[セブン-イレブン|セブンイレブン]]||父さん||いないけれど||行く||兄さん||肉持って||[[バスキン・ロビンス|サーティーワン]]
|-
|(2, 3)||5||(7, 11)||13||17||19||23||29||31
|}

== 脚注 ==
{{脚注ヘルプ}}
{{reflist}}

== 参考文献 ==
*本橋洋一，解析的整数論 I -- 素数分布論 --，朝倉書店，東京 2009（第２刷 2012: 加筆含む）ISBN 978-4-254-11821-6
*日本数学会市民講演　”素数の翼に乗って”　http://mathsoc.jp/publication/tushin/1001/motohashi.pdf
*P. Ribenboim, "The Little Book of Bigger Primes", 2nd edition, Springer, 2004. ISBN 0-387-20169-6
**日本語訳、吾郷孝視『素数の世界』第2版、共立出版、2001年 ISBN 4-320-01684-X
*M. Aigner and G. M. Ziegler, "Proofs from the Book", 3rd edition, Springer, 2003. ISBN 3-540-40460-0
**日本語訳、蟹江幸博『天書の証明』シュプリンガー・フェアラーク東京、2002年 ISBN 4-431-70986-X
*M.R.シュレーダ『数論（上）』平野浩太郎、野村孝徳　訳、コロナ社、1995年、33～68頁ISBN 4-339-08216-3

== 関連項目 ==
*[[コープランド-エルデシュ定数]]
*[[エラトステネスの篩]]
*[[エマープ]]
*[[プライム (小惑星)]] - [[小惑星番号]]7919が1000番目の素数であることに因む小惑星。
*[[ピタゴラス素数]]
*[[違法素数]]

== 外部リンク ==
*[http://primes.utm.edu/ The Prime Page]
*{{MathWorld|title=Prime Number|urlname=PrimeNumber}}

{{DEFAULTSORT:そすう}}
[[Category:数論]]
[[Category:初等数学]]
[[Category:整数の類]]
[[Category:素数|*]]
[[Category:数学に関する記事]]

{{Link FA|lmo}}
{{Link GA|ru}}
{{Link GA|es}}