素数チェッカー

素数とは、1とそれ自身以外に正の約数を持たない1より大きい自然数のことである。最初の素数は、2、3、5、7、11、13、17、19、23、29...である。

いいえ、1は素数とはみなされません。定義上、素数は1より大きく、ちょうど2つの異なる正の約数（1とそれ自身）を持たなければならない。1は1つの約数を持つだけである。

そう、2は唯一の偶数素数である。1と2だけで割り切れる。他の偶数はすべて2で割り切れるので、素数にはなり得ない。

素数は数学の基本であり、現代の暗号技術にとって極めて重要である。オンライン取引の安全性を確保するために使われるRSA暗号は、大きな数を素数成分に因数分解することの難しさに依存している。

紀元前300年頃にユークリッドが証明したように、素数は無限に存在する。どんなに大きな素数を見つけたとしても、必ずそれより大きな素数が存在する。しかし、数が大きくなるにつれて、素数はますます稀になる。

2024年現在、知られている最大の素数は2018年に発見された2^82,589,933 - 1である。このメルセンヌ素数は24,862,048桁である。新記録の素数は、分散コンピューティング・プロジェクトであるGIMPS（Great Internet Mersenne Prime Search）によって発見される。

小さい数の場合は、平方根までの素数で割り切れるかどうかをチェックする。例えば、97が素数かどうかを調べるには、√97≒9.8までの素数を調べる（つまり、2、3、5、7を調べる）。97はこれらのどれでも割り切れないので、素数である。

双子素数は、(3,5)、(5,7)、(11,13)、(17,19)、(29,31)のように、2つずつ異なる素数の組である。双子素数は無限に存在するという双子素数予想があるが、数世紀にわたる数学的研究にもかかわらず、まだ証明されていない。

すべての合成数は素数の積として一意に表現できる（算術の基本定理）。素因数分解は、分数の簡略化、GCD/LCMの発見、暗号解読、多くの数学的問題の解決に使われる。例えば、60＝2^2×3×5である。

メルセンヌ素数は2^p - 1の形をしており、pも素数である。例としては、3（2^2-1）、7（2^3-1）、31（2^5-1）などがある。これらは大きな素数を見つける上で重要であり、完全数との関連もある。メルセンヌ素数は51個しか知られていない。