素数とは、ある特定の自然数のことです。より正確には、素数とは 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 など）で重要です。

素数の応用

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

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