Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions 素数 - Wikipedia

素数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

素数(そすう)とは、1とその数自身以外に正の約数を持たない(つまり1とその数以外のどんな自然数によっても割り切れない)、1 より大きな自然数をいう。自然数や整数の積を考える上で基本的な構成要素であり、数論暗号理論等において重要な役割を演ずる。

素数は無限に存在するが、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

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

2006年9月、史上最大の素数探求のための分散コンピューティング・プロジェクトであるGIMPSによって、現時点で史上最大とされる素数が発見された。これは44番目のメルセンヌ素数、232582657-1であり、十進記数法で表記したときの桁数は980万8,358桁に及ぶ。史上最大の素数は[1]に掲載、印刷すると紙およそ1800枚分になる。

目次

[編集] 素因数分解の一意性

どんな自然数も、素数のに表すことができる。しかもその表し方は、かけ算の順序を入れ替えることを除けば一通りしかない(素因数分解の一意性、算術の基本定理)。このことから、素数は自然数の構成要素としての役割を果たしていると見ることができる。

[編集] 素数の無限性

素数が無限に存在することはすでに古代ギリシャ時代から知られていて、ユークリッドが彼の著作『原論』の中で証明している。(ISBN 4-320-01513-4

  • ユークリッドによる証明
背理法による。
素数が有限個しかないと仮定し、それらを次のようにおく。
p_i , i\le n
ただし n は定数。
q= p_1 p_2 p_3 \ldots  p_n + 1
を考えよう。q合成数であるか素数であるかのいずれかである。
q が合成数だとすると qpi のいずれかを用いて積の形に表されるはずである。その一方で qpi のいずれで割っても 1 があまり、矛盾する。
素数だとすると、これは pi のいずれとも異なるから素数が有限個しかないことに反する。
Q.E.D.

この証明方法以外にも

  • 自然数の逆数の和が∞に発散することを利用した証明
  • 2つの異なるメルセンヌ数が互いに素であることを利用した証明

などが存在する。

[編集] 素数の分布

素数のない、いくらでも長い区間が存在する。例えば、100!+2 から 100!+100 までの自然数はそれぞれ 2,..,100 で割り切れるので、どれも素数ではない。

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

  • x 以下の素数の数を π(x) と表すとき、
\pi (x) \sim \int_{2}^x \frac{dt}{\log t} \sim \frac{x}{\log x}\qquad (x\to \infty)

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

次のような定理もある。

  • 任意の自然数 n に対して n と 2n の間には素数が存在する(1850年、チェビシェフ)

言い換えれば、任意の素数 n の次の素数は 2n よりも小さい、というのと同じことである。

したがって、現在確認されている最大の素数 232582657-1 の次の素数は 232582658-2 よりも小さいということになる。

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

[編集] 素数に関連する主な性質

a,a+m,a+2m,…
の中には無数の素数が含まれている。 (ディリクレの算術級数定理)
a,p)=1 ⇒ ap-1≡1 (mod p

が成り立つ。

[編集] 素数生成式

オイラーの発見した式、f(n) = n2 + n + 41 は、n = 0,..., 39 において全て素数となる。 これは、虚二次体\mathbb{Q}(\sqrt{-163})の類数が1であることと関係している。

多変数の高次多項式では、全ての素数を生成することができる式がいくつか知られている。
例) k + 2が素数となる必要十分条件は、次のディオファントス方程式が自然数解を持つことである(Riesel, 1994年):

wz + h + jq = 0
(gk + 2g + k + 1)(h + j) + hz = 0
(16k + 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 + 2pp2 − 2p − 2) − x = 0
z + pl(ap) + t(2app2 − 1) − pm = 0

[編集] 素数の逆数和

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

この結果は最初にレオンハルト・オイラーによってゼータ関数を研究することでもたらされた。我々がここで紹介するのは、ポール・エルデシュによる、より直接で、また簡潔な証明である。その上、無限個存在することも直接には使わない。

エルデシュによる証明

背理法による。
素数の逆数の和が収束すると仮定すると、任意の ε に対してある n が存在して、
1/pn+1 + 1/pn+2 + 1/pn+3 + ... < ε
となる。いま、 ε を 1/2 としよう。任意の自然数 N に対して
N/pn+1 + N/pn+2 + N/pn+3 + ... < N/2 ----- (1)
を得る。1 から N までの N 個の数を 2 種類に分ける。N1p1, p2,..., pnの中にしか約数を持たない数の個数とし、N2 は、pn+1,... のすくなくとも一つを約数に持つ数の個数とする。
構成から N = N1 + N2 ----- (2) である。ところが、以下に示すように十分 N を大きくとれば、N > N1 + N2 となる。
[N/pn+1] + [N/pn+2] + [N/pn+3] + ... < N/2
は (1) からいえる。ただし [N] はガウス記号で、 N を超えない最大の整数を表す。
[N/p] が N 以下の p の正の倍数の個数を表すことに注意しよう。ここから
N2 ≤ [N/pn+1] + [N/pn+2] + [N/pn+3] + ... < N/2
が導かれる。よって、N2 < N/2
あとは N1 を上から評価すればよいが、そのような数はすべて
m = ai bi2
の形にかける。ただし、 ai には、どの素数も 2 乗以上の部分は現われないようにできる。従って、可能な ai の数は 2n 通りであり、 bi は、
bi ≤ √m ≤ √N
であるから、結局可能な m の数は N1 ≤ 2nN
示したいのは < N/2 で、それは 2n+1 < √N と同じであるが、そのためには N = 22(n+1) + 1 とすれば十分。
よって N1 < N/2 であり、結局 N1 + N 2 < N となるが、これは (2) に反する。よって矛盾。
Q.E.D.

参考文献 M.アイグナー G.M.ツィーグラー 蟹江幸博訳「天書の証明」 シュプリンガー・フェアラーク東京 第1章 素数は無限:6つの証明 第6の証明(ISBN 4-431-70986-X
原論文は P.Erdös "Über die Reihe ∑ 1/p" Mathematica, Zutphen B 7 (1938), 1-2

[編集] 特殊な形をした素数

[編集] 素数に関連する未解決の問題

[編集] 語呂合わせ

整数の平方根円周率などのように、素数にも語呂合わせによる記憶術がある。以下に挙げる。

  • 100未満まで
    兄さん(23) 5時に(5) セブンイレブン(711) 父さん(13) いいなと(17) ついていく(19) 兄さん(23) 買った肉を(29) 裂いて(31) みんなで食べたら(37) 41円しか(41) 予算がない(43) しなった顔で(47) ごみ拾い(53) ゴクっとのんで(59) 六井さんが(61) むなしく(67) 泣いた(71) ナミが(73) 泣く泣く(79) 破産した(83) 白紙に戻した(89) 宮内庁(97)

[編集] 関連項目

[編集] 外部リンク

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu