レイランド素数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/05 05:26 UTC 版)
レイランド素数はレイランド数でもあり素数でもある数。小さい順に並べると以下の通り。 17, 593, 32993, 2097593, 8589935681, 59604644783353249, 523347633027360537213687137, 43143988327398957279342419750374600193, ... (オンライン整数列大辞典の数列 A094133) それぞれ次に対応する 32 + 23, 92 + 29, 152 + 215, 212 + 221, 332 + 233, 245 + 524, 563 + 356, 3215 + 1532. また、y の値を固定しレイランド素数を与える x の値の列を考えることもできる。例えば x2 + 2x は x = 3, 9, 15, 21, 33, 2007, 2127, 3759, ... (A064539)のときに素数となる。 2012年11月までに素数であると判明した最大のレイランド数は 51226753 + 67535122 であり桁数は25050である。これは2011年1月から2011年4月までに楕円曲線の素数証明により素数であると証明された最大の数であった。2012年12月、311063 + 633110 (5596桁) と 86562929 + 29298656 (30008桁) の2つの数字が素数であることが証明され、後者は以前の記録を上回った。3147389 + 9314738 などの巨大な素数候補は多くあるが、巨大なレイランド数が素数であるかを証明するのは難しい。レイランドは自身のウェブサイトに次のように書いている。「最近ではこの形式の数は汎用性のある素数性証明プログラムの理想的なテストケースであることが分かった。これらは単純な代数的記述を持っているが、特定目的のアルゴリズムが使用できる明白な円分体的性質はない」 合成レイランド数を分解するためのXYYXFというプロジェクトがある.
※この「レイランド素数」の解説は、「レイランド数」の解説の一部です。
「レイランド素数」を含む「レイランド数」の記事については、「レイランド数」の概要を参照ください。
- レイランド素数のページへのリンク
