「素数」の版間の差分

素数 (編集)

1年7月26日 (I) 18:01時点における版

999 バイト追加、 1年7月26日 (I)

細

記事の追加

Popbob

55

回編集

@@ 4行目: / 4行目: @@
   念の為言っておくが、1は素数じゃないぞ。確かに、「1と自分自身以外の数で割れない」という素数の定義には当てはまる。しかし1を素数と定義してしまうと全ての整数は1と-1の倍数であり、つまり1は全ての自然数の約数となってしまう。そうすると素数は1以外になくなってしまうこれでは素数自体の定義すら矛盾してしまう。このことから数学上の定義に矛盾しないよう1は素数では無い。結局、数学的に都合が悪いからってだけ。
- 先に「素数の規則性は見つかっていない」と書いたが、素数が無限に続くことは知られている。その証明はユークリッドの『[[原論]]』にも載っている。
+先に「素数の規則性は見つかっていない」と書いたが、素数が無限に続くことは知られている。その証明はユークリッドの『[[原論]]』にも載っている。
+=== 素数が無限にあることの証明 ===
+まず、素数が有限であると仮定する。もしそうならば、全ての素数に1から番号を振ると、番号はある自然数nで終わるはずである。これらは
+P1,P2,P3.....Pn
+の数列として表せる（素数のprime numberからpとした）。
+ここで、有限個の素数を全てかけあわせ、1を足した数をNとして考える。すると、
+N=P1・P2・P3.....Pn+1
+と表すことができる。
+この時Nは素数かを考えると、仮定の素数P1,P2,P3.....Pnのいずれでもないため素数では無い。では、NはP1,P2,P3.....Pnのいずれかの素数で割れるはずだが、+1が式の最後にあるためどの素数で割っても必ず1余る。つまり、ある数Nは素数でもなく素数でも割れない。こうした矛盾が発生するのは仮定が正しくないためである。よって、背理法により素数は無限にあることが分かる。
 [[カテゴリ:数学]]
 {{DEFAULTSORT:そすう}}