「レイランド数」の版間の差分

: [[8]], [[17]], [[32]], [[54]], [[57]], [[100]], [[145]], [[177]], [[300|320]], 368, [[512]], 593, [[900|945]], [[1000|1124]], ... ({{OEIS|A076980|id=A076980}}.)

''x'' と ''y'' の両方が1より大きいという要件は重要である。なぜならそれがなければすべての正の整数が ''x''¹ + 1^''x'' という形式のレイランド数になってしまうからである。また加算の[[交換法則|交換]]性のために ''x'' ≥ ''y'' の条件は通常レイランド数の重複をさけるために加えられる。(よって 1 < ''y'' ≤ ''x を用いる'')

: 17, 593, 32993, 2097593, 8589935681, 59604644783353249, 523347633027360537213687137, 43143988327398957279342419750374600193, ... ({{OEIS|A094133|id=A094133}})

: 3² + 2³, 9² + 2⁹, 15² + 2¹⁵, 21² + 2²¹, 33² + 2³³, 24⁵ + 5²⁴, 56³ + 3⁵⁶, 32¹⁵ + 15³².<ref name="Leyland">{{Cite web|url=http://www.leyland.vispa.com/numth/primes/xyyx.htm|title=Primes and Strong Pseudoprimes of the form x^y + y^x|accessdate=2007-01-14|publisher=Paul Leyland}}</ref>

また、y の値を固定しレイランド素数を与える x の値の列を考えることもできる。例えば ''x''² + 2^''x'' は ''x'' = 3, 9, 15, 21, 33, 2007, 2127, 3759, ... ({{OEIS2C|id=A064539}})のときに素数となる。

2012年11月までに素数であると判明した最大のレイランド数は 5122⁶⁷⁵³ + 6753⁵¹²² であり桁数は25050である。これは2011年1月から2011年4月までに楕円曲線の素数証明により素数であると証明された最大の数であった<ref name="ECPP">{{Cite web|url=http://primes.utm.edu/top20/page.php?id=27|title=Elliptic Curve Primality Proof|accessdate=2011-04-03|publisher=Chris Caldwell}}</ref>。2012年12月、3110⁶³ + 63³¹¹⁰ (5596桁) と 8656²⁹²⁹ + 2929⁸⁶⁵⁶ (30008 桁) の2つの数字が素数であることが証明され、後者は以前の記録を上回った<ref>{{Cite web|url=http://mersenneforum.org/showthread.php?t=17554|title=Mihailescu's CIDE|accessdate=2012-12-26|date=2012-12-11|publisher=mersenneforum.org}}</ref>。314738⁹ + 9³¹⁴⁷³⁸ などの巨大な素数候補は多くあるが<ref>Henri Lifchitz & Renaud Lifchitz, [http://www.primenumbers.net/prptop/searchform.php?form=x%5Ey%2By%5Ex&action=Search PRP Top Records search].</ref>、巨大なレイランド数が素数であるかを証明するのは難しい。レイランドは自身のウェブサイトに次のように書いている。「最近ではこの形式の数は汎用性のある素数性証明プログラムの理想的なテストケースであることが分かった。これらは単純な代数的記述を持っているが、特定目的のアルゴリズムが使用できる明白な[[円分体]]的性質はない」