「素数階乗」の版間の差分
削除された内容 追加された内容
PuzzleBachelor (会話 | 投稿記録) m編集の要約なし |
編集の要約なし |
||
1行目:
[[Image:Primorial n plot.png|thumb|300px|階乗(黄色)と素数階乗(赤)の値の推移]]
'''素数階乗'''(そすうかいじょう)は
== 数学的性質 ==
*5# 以上の素数階乗数は全て一の位が0であり、十の位は1,3,7,9のいずれかに限られる。
略解例:最大の素数の存在を仮定し、それをp<sub>max</sub>とおくと p<sub>max</sub>#+1 は p<sub>max</sub>以下の[[約数]]をもたない。したがって p<sub>max</sub>#+1 は p<sub>max</sub> より大きな整数で[[素因数分解]]されることになるが、これはp<sub>max</sub>を最大の素数とした仮定に反するので最大の素数は存在しない。<br>
このように[[背理法]]を用いて最大の素数の存在を否定する方法は[[紀元前]]から知られていた。
*全ての[[高度合成数]]は素数階乗数の[[累乗数]]の積で表わされる。例:[[720]] = 2<sup>2</sup>×6<sup>1</sup>×30<sup>1</sup>
== 最初の20個の素数階乗数p<sub>n</sub># ==
p<sub>1</sub>#=2#=[[2]]<br>
▲素数は無限にあるかという問題で、素数階乗が使われることがある。
p<sub>2</sub>#=3#=[[6]]<br>
p<sub>3</sub>#=5#=[[30]]<br>
p<sub>4</sub>#=7#=[[210]]<br>
p<sub>5</sub>#=11#=2310<br>
p<sub>6</sub>#=13#=30030<br>
p<sub>7</sub>#=17#=510510<br>
p<sub>8</sub>#=19#=9699690<br>
p<sub>9</sub>#=23#=223092870<br>
p<sub>10</sub>#=29#=6469693230<br>
p<sub>11</sub>#=31#=200560490130<br>
p<sub>12</sub>#=37#=7420738134810<br>
p<sub>13</sub>#=41#=304250263527210<br>
p<sub>14</sub>#=43#=13082761331670030<br>
p<sub>15</sub>#=47#=614889782588491410<br>
p<sub>16</sub>#=53#=32589158477190044730<br>
p<sub>17</sub>#=59#=1922760350154212639070<br>
p<sub>18</sub>#=61#=117288381359406970983270<br>
p<sub>19</sub>#=67#=7858321551080267055879090<br>
p<sub>20</sub>#=71#=557940830126698960967415390<br>
<!--p<sub>21</sub>#=73#=40729680599249024150621323470<br>
p<sub>22</sub>#=79#=3217644767340672907899084554130<br>
p<sub>23</sub>#=83#=267064515689275851355624017992790<br>
p<sub>24</sub>#=89#=23768741896345550770650537601358310<br>-->
==関連項目==
|