「1は1とその数自身でしか割れないから、素数ではないのか？」――学生時代に数学の授業で疑問に思い、大人になった今でもふと気になって検索した経験を持つ人は少なくありません。Googleの検索トレンドでも、素数に関する疑問の中で常にトップクラスの検索ボリュームを誇るのが「1と素数」の関係です。

実は、歴史を遡ると古代ギリシャや19世紀頃まで「1を素数に含めるべきか否か」で議論が交わされた時代もありました。しかし現代の数学界において、1は明確に「素数ではない」と定義されています。その背景には、数学の根幹を支える極めて美しく合理的なルールが存在します。日常の疑問をスッキリ解消できるよう、背景にある決定的な理由を紐解いていきます。

• 要点1：素数の定義は「1より大きい自然数で、正の約数が1と自分自身の2個だけ」であり、1は約数が1個しかないため素数に含まれない。
• 要点2：1を素数と認めると、数学の超重要ルールである「素因数分解の一意性（算術の基本定理）」が崩壊してしまう。
• 要点3：最小の素数は「2」であり、同時に2はすべての素数の中で唯一の「偶数の素数」という特別な性質を持つ。

【基礎知識】そもそも素数の定義とは？約数の個数で直感理解

まずは素数の定義をわかりやすく整理しておきましょう。学校教育や現代数学における素数の定義は、極めて明確に決められています。

数学における素数とは、「1より大きい自然数（正の整数）で、正の約数が1とその数自身の2個だけである数」を指します。ポイントとなるのは、条件に「1より大きい」と明記されている点と、「約数の個数がちょうど2個」でなければならないという点です。

数字ごとの約数の個数を並べてみると、その違いが一目で分かります。

• 1の約数：「1」のみ（約数は1個） → 素数ではない
• 2の約数：「1」と「2」（約数は2個） → 素数（最小の素数）
• 3の約数：「1」と「3」（約数は2個） → 素数
• 4の約数：「1」「2」「4」（約数は3個） → 合成数
• 5の約数：「1」と「5」（約数は2個） → 素数
• 6の約数：「1」「2」「3」「6」（約数は4個） → 合成数

このように、自然数は「1」「素数」「合成数」の3つのグループにきれいに分類されます。素数以外の「約数を3個以上持つ2以上の整数」はすべて合成数と呼ばれます。つまり、1は素数でも合成数でもない、特別な独立した数として扱われているのです。

【最大の謎】なぜ「1」は素数ではないのか？決定的な数学の背景

ここで本題となる「1が素数ではない理由」を深掘りします。「1でしか割れないのだから素数でいいのではないか」と感じるかもしれませんが、もし1を素数にしてしまうと、数学全体に大きな混乱が生じてしまいます。

かつて17世紀や18世紀の数学者の中には、1を素数の仲間として扱う論文を書いた人物も存在しました。しかし時代が進むにつれ、素数という概念を使って様々な定理を組み立てる際、1を素数に入れておくと「ただし1を除く」という例外規定を毎回付け足さなければならない不都合が多発したのです。

数学者たちは「例外規定をいちいち書くよりも、最初から1を素数の定義から外したほうが、数学全体の体系が驚くほどシンプルで美しく整理できる」と判断しました。その最大の引き金となったのが、次に解説する「算術の基本定理」です。