フィボナッチ素数

フィボナッチ素数（フィボナッチそすう、）はフィボナッチ数である素数である。
フィボナッチ素数の最初のいくつかは以下のようになる。
判明しているフィボナッチ素数.
"F""n" が素数となる "n" の最初の33個は以下の通りである（）。
以下の数に対する "F""n" も、素数である可能性が高いと考えられている。
"n" = 4 の場合を除いて、"F""n" がフィボナッチ素数となる "n" は素数である。しかし、"n" が素数でも "F""n" が素数になるとは限らない。
最初の10個の、素数番目のフィボナッチ数のうち、"p" が 2 と 19 のときを除いた8個で "F""p" は素数となる。2 と 19 のときは "F"2 = 1, "F"19 = 4181 = 37 × 113 となる。しかし、"p" が大きくなるにつれてフィボナッチ素数の出現頻度は下がっていく。10000以下の1229個の素数の中で、"F""p" が素数になるのは26個しかない。また、フィボナッチ素数 "F""p" が無限にあるかどうかは分かっていない。
2009年11月現在、確定している最大のフィボナッチ素数は17103桁の "F"81839 である。この数は、2001年に David Broadhurst と Bouk de Water によって素数であることが証明された。
2018年3月に Henri Lifchitz が発見した698096桁の "F"3340367 は素数である可能性が高いとされている。
これとは対照的な結果として、Nick MacKinnon は双子素数になる素数でフィボナッチ素数となるのは 3, 5, 13 の場合だけであることを証明している。 という式を用いる。
フィボナッチ数列の整除.
素数番目のフィボナッチ数とそれ未満のフィボナッチ数は、1より大きい公約数を持たない（互いに素である）。これは、以下の式から明らかである。
"n" が3以上のとき、"n" が "m" で割り切れるときのみ "F""n" が "F""m" で割り切れる。
上の式において、"m" を素数 "p" とし、"n" をそれ未満の数とすると以下の式が成り立つ。