プロス数

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

 制約1: は正の奇数。
 制約2: は正の整数。
 制約3:  である。

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

プロス数の最初の数項は
3, 5, 9, 13, 17, 25, 33, 41, 49, 57, 65, 81, 97, 113, 129, 145, 161, 177, 193, 209, 225, 241,… ()
である。

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

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

プロス素数の最初の数項は
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, …()
である。プロス素数は無数にあると予想されているが、証明されていない。

を用いて、プロス数が素数であるか否かの判定を行うことができる。
をプロス数とする。以下の合同式を満たす整数があれば、はプロス素数である。なければ、プロス素数でない。

すなわち、に1を加えた数がで割り切れるよう、を探せばよい。

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

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

脚注

数学に関する記事
数論
整数の類
素数
数学のエポニム