2^136279841-1 is Prime!

no extension

発見された素数の最大数が更新されたようだ。 ついに $p$ 値が1億超えたか。

「メルセンヌ素数(Mersenne prime number)」というのは $M_p = 2^p-1$ で表されるメルセンヌ数1 $M_p$ のうち素数であるものを指す。 $M_p$ が素数なら $p$ も素数であるという面白い性質がある(逆は成り立たない)。 ちなみに $M_p = 2^p-1$ が素数なら $2^{p-1}(2^p-1)$ は完全数2 になる。

素数探索プロジェクトで最大のものが GIMPS (Great Internet Mersenne Prime Search) プロジェクトである。 GIMPS は分散コンピューティング・プロジェクトで,世界中のコンピュータを使ってメルセンヌ素数を探索している。 メルセンヌ数に対しては効率的な素数判定法が知られており分散コンピューティング向きの題材と言える。 今回のトピックは GPU を活用した分散コンピューティングソフトウェアを使った初の発見というところだろうか。

なお,メルセンヌ素数 $2^{136,279,841}-1$ を書き記したテキスト・ファイルを zip 圧縮したものが GIMPS のサイトから入手できる。 ダウンロードしたら 19MB 以上あったよ(笑)

ブックマーク

参考図書

photo
数学ガールの秘密ノート/整数で遊ぼう
結城 浩 (著)
SBクリエイティブ 2013-12-17 (Release 2014-07-24)
Kindle版
B00L0PDMJ0 (ASIN)
評価     

小中学生にお薦め。小学生高学年くらいならギリで理解可能と思われ。

reviewed by Spiegel on 2014-09-26 (powered by PA-APIv5)


  1. メルセンヌ数の定義($M_p = 2^p-1$)を見るとなにやら難しそうだが,2進数で考えると簡単である。つまり $p$ 桁の2進数のビットが全て立っている状態がメルセンヌ数である。たとえば 1B, 11B, 111B,… はメルセンヌ数(の定義そのもの)だ。 ↩︎

  2. 「完全数(perfect number)」とは「その数自身を除く約数の和がその数自身と等しい自然数」を指す。たとえば $6$ の素因数は $2\times3$ なので $6$ 自身を除く約数の和は $1+2+3=6$ となり完全数と言える。ちなみに $3$ は $2^2-1$ とメルセンヌ素数になっていて, $2^1(2^2-1)=6$ である。 ↩︎