素数階乗について
素数階乗(そすうかいじょう、英: Primorial)は、特定の自然数に対して、その数以下の
素数全てを掛け合わせた計算結果を指します。記号で表すと、自然数 n の
素数階乗は n# で示されます。特に
2以上の自然数に対して定義され、以下のように求めることができます。
- - 2# = 2
- - 3# = 3 × 2 = 6
- - 4# = 3# = 6
- - 5# = 5 × 3# = 30
- - 6# = 5# = 30
このように、
素数階乗は n 以下の最大の
素数を p とし、p# に等しいことが分かります。具体的には、以下の
素数階乗の列が得られます:
- - 2, 6, 30, 210, 2310, 30030, 510510, 9699690, 223092870, 6469693230, …
数学的特性
素数階乗には特有の数学的性質があります。特に興味深いのは、5# 以上の
素数階乗の一の位が常に0であり、十の位は1、3、7、または9のいずれかに限る点です。これにより、
素数の無限性を示す証明にも用いられることがあります。
無限の素数の証明
この証明は最大の
素数の存在を仮定し、もし存在するとした場合、その
素数を pmax と表します。このとき、pmax# + 1 は pmax 以下の
素数では割り切れません。したがって、pmax# + 1 は 1 と自分自身を除く因数を持たないことが確認できます。結果として、pmax# + 1 は
素数である必要があり、これは pmax が最大の
素数という仮定に矛盾します。これにより、最大の
素数は存在しないことになります。
実際の計算では、
素数 p に対して p# + 1 が
素数である場合や、合成数である場合も見られます。例えば、11# + 1 =
2311 は
素数ですが、13# + 1 =
30031 = 59 × 509 は合成数です。それにもかかわらず、p# + 1 の素因子はすべて
素数 p よりも大きいです。
高度合成数と素数階乗
全ての高度合成数は、
素数階乗数の累乗数の積として表すことができます。例えば、7
20 は
22 ×
61 ×
301 という形で表現されます。
素数階乗数の一覧
素数階乗数の最初の10個を以下に示します:
1. p01# =
2# =
2
2. p0
2# = 3# =
6
3. p03# = 5# =
30
4. p04# = 7# =
210
5. p05# = 11# =
2310
6. p0
6# = 13# =
300
30
7. p07# = 17# = 510510
8. p08# = 19# = 9
699
690
9. p09# =
23# =
22309
2870
10. p10# =
29# =
64
69
693
230
次の10個の
素数階乗は以下の通りです:
11. p11# = 31# =
2005
604901
30
1
2. p1
2# = 37# = 74
20738134810
13. p13# = 41# =
304
250
2635
27
210
14. p14# = 43# = 1
308
27
613331
6700
30
15. p15# = 47# =
61488978
2588491410
1
6. p1
6# = 53# = 3
258915847771900447
30
17. p17# = 59# = 19
227
60350154
21
263907
18. p18# =
61# = 117
28838135940
6970983
270
19. p19# =
67# = 78583
21551080
26755879090
20. p
20# = 71# = 5579408
301
266989
609
67415390
このように、
素数階乗は数学において非常に重要な概念であり、数の性質を深く理解する手助けとなります。