プロス素数

ウィキペディア

プロス数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/07/30 08:11 UTC 版)

プロス数（ぷろすすう、Proth number）とは、以下の制約を満たす式で表される自然数$N$のことである。プロス数の名は、19世紀フランスの数学者 François Proth にちなんで付けられた。

$N=k\cdot 2^{n}+1$

• 制約1: $k$は正の奇数。
• 制約2: $n$は正の整数。
• 制約3: $2^{n}>k$。

※ 制約3が無い場合、1より大きなあらゆる奇数がこの式から生まれてしまう。

プロス数の最初の数項は

3, 5, 9, 13, 17, 25, 33, 41, 49, 57, 65, 81, 97, 113, 129, 145, 161, 177, 193, 209, 225, 241,… (オンライン整数列大辞典の数列 A080075)

である

カレン数 (n·2ⁿ+1) や フェルマー数 (2²ⁿ+1) は、プロス数の特殊なケースと考えることもできる。

プロス素数

プロス素数（ぷろすそすう、Proth prime）とは、素数であるプロス数のことである。

プロス素数の最初の数項は

3, 5, 13, 17, 41, 97, 113, 193, 241, 257, 353, 449, 577, 641, 673, 769, 929, 1153, 1217, 1409, 1601, 2113, 2689, 2753, 3137, 3329, 3457, 4481, 4993, 6529, 7297, 7681, 7937, 9473, 9601, 9857, …(オンライン整数列大辞典の数列 A080076)

である。

プロスの定理を用いて、プロス数がプロス素数であるか否か判定を行うことができる。 $p$をプロス数とする以下の合同式を満たす整数$a$を見つけることができれば、$p$はプロス素数である。プロス素数は無数にあると予想されているが、証明されていない。

$a^{(p-1)/2}\equiv -1{\pmod {p}}$

すなわち、$a^{(p-1)/2}$に1を加えた数が$p$で割り切れるよう、$a$を探せばよい。

2016年現在、発見済みである最大のプロス素数は 10223×2^31172165 + 1 であり、9,383,761桁の大きさを持つ。 このプロス素数は PrimeGrid プロジェクトの Péter Szabolcs によって導き出された事が2016年11月6日に発表された。 このプロス素数はメルセンヌ素数に属さない最大の素数でもある。

関連項目

• シェルピンスキー数
• PrimeGrid - 巨大なプロス素数を探す分散コンピューティングプロジェクト

ウィキペディア小見出し辞書

プロス素数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/07/30 08:11 UTC 版)

「プロス数」の記事における「プロス素数」の解説

プロス素数（ぷろすそすう、Proth prime）とは、素数であるプロス数のことである。 プロス素数の最初の数項は 3, 5, 13, 17, 41, 97, 113, 193, 241, 257, 353, 449, 577, 641, 673, 769, 929, 1153, 1217, 1409, 1601, 2113, 2689, 2753, 3137, 3329, 3457, 4481, 4993, 6529, 7297, 7681, 7937, 9473, 9601, 9857, …(オンライン整数列大辞典の数列 A080076) である。 プロスの定理（英語版）を用いて、プロス数がプロス素数であるか否か判定を行うことができる。 p をプロス数とする以下の合同式を満たす整数 a を見つけることができれば、 p はプロス素数である。プロス素数は無数にあると予想されているが、証明されていない。 a ( p − 1 ) / 2 ≡ − 1 ( mod p ) すなわち、 a ( p − 1 ) / 2 に1を加えた数が p で割り切れるよう、 a を探せばよい。 2016年現在[update]、発見済みである最大のプロス素数は 10223×231172165 + 1 であり、9,383,761桁の大きさを持つ。 このプロス素数は PrimeGrid プロジェクトの Péter Szabolcs によって導き出された事が2016年11月6日に発表された。 このプロス素数はメルセンヌ素数に属さない最大の素数でもある。