素数とは?定義と性質、例・無限性:素数定理とゴールドバッハ予想の入門

素数の定義から性質・無限性までわかりやすく解説。素数定理やゴールドバッハ予想の入門で疑問をすっきり解消する初心者向けガイド

著者: Leandro Alegsa

素数とは、ある特定の自然数のことです。より正確には、素数とは 1 より大きい自然数であって、その数自身と 1 以外に正の約数(割り切る数)を持たないもの を言います。例えば最小の素数は 2 で、次に 3、5、7、11、13 と続きます。2 は唯一の偶数の素数です。一方、1 は素数でも合成数でもありません。合成数は 1 と自分自身以外の約数を持つ自然数で、最小の合成数は 4(=2×2)です。素数は無限に存在することが知られています(以下で簡単に証明の考え方を示します)。

定義と基本例

  • 素数:1 より大きく、約数が 1 とその数自身だけの数(例:2, 3, 5, 7, 11, ...)。
  • 合成数:1 とその数自身以外にも約数を持つ数(例:4, 6, 8, 9, 10, ...)。
  • 特殊な例:1 は素数でも合成数でもない(単位元)。

素数の主な性質

  • 2 は唯一の偶数の素数で、それ以外の素数はすべて奇数です。
  • 素因数分解の一意性(算術の基本定理):任意の 2 以上の自然数は素数の積に一意的に分解できる(順序を除く)。この性質は数論や暗号理論の基礎です。
  • もし a が素数で b が自然数で a が b を割り切るなら、a は b の素因子の一つです。素数は割り算に関して「基本単位」のように振る舞います。

素数は無限に存在する — ユークリッドの考え方(概略)

有名な証明の一つはこうです。有限個の素数 p1, p2, ..., pn が全てだと仮定し、それらの積に 1 を足した数 N = p1·p2·...·pn + 1 を考えます。N はどの pi でも割り切れません(どの pi で割っても余り 1 になる)。したがって N は新しい素数か、既存の素数とは異なる素因数を持つ合成数であり、元の仮定と矛盾します。よって素数は無限に存在します。

素数の分布と素数定理

素数がどのように散らばっているか(大きな数の周りでどれくらい現れるか)は深い問題です。数字が大きくなるほど素数は稀になりますが、その頻度はある程度予測できます。例えば、x 以下の素数の個数を π(x) とすると、素数定理は次の漸近式を与えます:π(x) は x / log(x) に近づく、すなわち

π(x) ~ x / ln x

この定理は素数の「平均的な密度」を示し、素数の分布に関する大きな成果の一つです。上記の点やさらに詳細については 素数定理の解説を参照してください。

未解決問題と有名な予想

  • ゴールドバッハ予想(強い形):2 より大きい任意の偶数は二つの素数の和で表せる、というものです。計算機を使った検証で非常に大きな範囲まで成り立つことが確認されていますが、一般証明はまだ見つかっていません(詳細は「ゴールドバッハ予想」参照)。
  • 双子素数予想:差が 2 の素数の組(例:3 と 5、11 と 13)が無限に存在するかどうかは未解決です。

素数を調べる方法・アルゴリズム

  • 試し割り(trial division):ある数 n が素数か調べるには √n までの素数で割り切れるかを確かめればよい(単純だが n が大きいと非効率)。
  • エラトステネスのふるい:小さな範囲の素数列挙に有効。簡単な実装で高速に多数の素数を得られます。
  • 高速な判定法:大きな数に対しては、ミラー–ラビン素数判定やAKS素数判定など確率的・決定的なアルゴリズムが用いられます。これらは暗号(RSA など)で重要です。

素数の応用

素数は暗号、乱数生成、符号理論、数学そのものの基礎理論など多くの分野で重要です。特に大きな素数の性質は公開鍵暗号の安全性に直結します。

以上は素数の基本的な定義、性質、そしていくつかの重要な理論や未解決問題の概観です。興味があれば、エラトステネスのふるいの実装例やユークリッドの証明の詳細、素数定理の証明の考え方などについても追って説明できます。

ここで、もう一つの素数の考え方を紹介します。なぜなら、長さ4と3の辺を持つ長方形を作ることができるからです。この長方形は、12個のブロックがすべて使われているので、面積は12です。11では、このようなことはできません。どのように長方形を作っても、11と1の長さの辺を持つ長方形を除いて、ブロックは必ず余る。Zoom
ここで、もう一つの素数の考え方を紹介します。なぜなら、長さ4と3の辺を持つ長方形を作ることができるからです。この長方形は、12個のブロックがすべて使われているので、面積は12です。11では、このようなことはできません。どのように長方形を作っても、11と1の長さの辺を持つ長方形を除いて、ブロックは必ず余る。

小さな素数の求め方

素数のリストを見つける簡単な方法があります。エラトステネスがそれを作った。エラトステネスの篩(ふるい)という名前が付いている。素数でない数を(ふるいのように)受け止め、素数を通過させるのである。

この方法では、数字のリストと、メソッド中に変化するbという特別な数字が使われます。このメソッドでは、リストの中のいくつかの数字に丸をつけ、他の数字に線を引いていきます。丸で囲んだ数は素数で、消した数は合成数である。最初,すべての数は,丸もつけず,消しゴムもかけない,無地の数である.

やり方はいつも同じです。

  1. 1枚の紙に、2からテストされる数までのすべての整数を書きます。1という数字は書かないでください。次のステップに進みます。
  2. bを2にした状態でスタートし、次のステップに進みます。
  3. リスト内のbを丸で囲む。次のステップに進みます。
  4. bから始めて、リストの中のbをさらに数え上げ、その数字を消してください。リストの最後まで、さらにb個数えては消し、数えては消しを繰り返す。次のステップに進みます。
    • (例)bが2のとき、2を丸で囲み、4、6、8、などを消します。bが3の場合、3を丸で囲み、6、9、12、...を消す。6と12はすでに消されています。もう一度消してください)
  5. bを1つ増やして、次のステップへ。
  6. bが消されている場合は、前のステップに戻る。bがリストの中で消されていない数字であれば、第3ステップに進みます。bがリストにない場合は、最後のステップに進みます。
  7. (これが最終段階です。)これで完了です。素数にはすべて丸をつけ、合成数にはすべて×をつけました

例えば、2から10までの数字のリストに対して、この方法を行うことができます。最後に、2、3、5、7の数字が丸で囲まれて終わります。これらは素数である。4、6、8、9、10は消されてしまいます。これらは合成数です。

この方法、アルゴリズムは、非常に大きな素数を求めるには時間がかかりすぎる。しかし、フェルマーの原始テスト(ある数が素数かどうかを調べるテスト)やミラー・ラビンの原始テストのような非常に大きな素数に対して使われる方法よりは、複雑ではありません。

素数は何に使われるのか

素数は数学とコンピュータサイエンスにおいて非常に重要である。実際の使用例を以下に示します。非常に長い数は解くのが難しい。素因数を見つけるのが難しいので、暗号や秘密のコードに素数であろう数字が使われることが多い。

  • ほとんどの人は銀行のカードを持っていて、ATMを使って自分の口座からお金を引き出すことができます。このカードは、秘密のアクセスコードで保護されています。このコードは秘密にする必要があるため、平文でカードに保存することはできません。そこで、暗号化によりコードを秘匿する。この暗号化には、乗算、除算、大きな素数の余りを求めることなどが使われる。実際にはRSAと呼ばれるアルゴリズムがよく使われる。これは中国の余りの定理を利用したものである。
  • 誰かが電子メールにデジタル署名をしている場合、暗号化が行われます。これにより、誰も彼らからのメールを偽ることができないようにします。署名の前に、メッセージのハッシュ値が作成されます。このハッシュ値とデジタル署名を組み合わせて、署名されたメッセージを生成する。使用される方法は、上記の最初のケースと多かれ少なかれ同じである。
  • これまでに知られている最大の素数を見つけることは、ある種のスポーツになっている。ある数が素数かどうかを調べるのは、その数が大きいと難しい場合があります。なぜなら、最も早く知られた素因数分解の方法はLucas-Lehmerテストであり、これはメルセンヌ数の特殊な形に依存しているからである。メルセンヌ素数を探索するグループはこちら[1]である。

質問と回答

Q:素数とは何ですか?


A:素数とは、1とそれ自身を除く他の自然数で割り切れない自然数である。

Q:最小の合成数は何ですか?


A:最小の合成数は、2×2=4なので、4です。

Q:2の次の素数は何ですか?


A:2の次の素数は、3、5、7、11、13です。

Q:最大の素数はありますか?


A:いいえ、最大の素数はありません。素数の集合は無限である.

Q:算術の基本定理は何を述べているか?


A:算術の基本定理は、すべての正の整数が一意的に素数の積として書けることを述べています。

Q:ゴールドバッハ予想とは何ですか?


A:ゴールドバッハ予想とは、2以上の偶数整数はすべて2つの素数の和で表せるという数学の未解決問題のことです。

Q:最大の素数が存在しないことを証明したのは誰?


A:ユークリッドが最大の素数が存在しないことを証明した。


百科事典を検索する
AlegsaOnline.com - 2020 / 2025 - License CC3