フェルマー数（フェルマーすう）とは 2 + 1 （"n" は自然数）の形に書くことができる自然数のことである。クヌースの矢印表記を用いれば、2↑2↑"n" + 1 となる。"n" 番目のフェルマー数はしばしば "F" と記される。この式はピエール・ド・フェルマーが、"n" に自然数を代入したとき常に素数を生成すると主張（予測）したものであるが、後にオイラーが "n" = 5 の場合に素数でないことを示し、フェルマーの主張は誤りと確認された。実際にフェルマー数の最初の方をいくつか計算してみると、という値が得られる。"F"の65537までは、257ないしそれより小さい既知の素数で割りきれないことを確かめることで、容易に素数であることを確認できる。一方で"F"以降は（当時の計算技術から見ると）相当に巨大な数であると同時に小さな素因数を含んでいないことが、フェルマーを幻惑し反証の発見にはオイラーを待つこととなった要因の一つである。フェルマー数は次の漸化式を満たす：フェルマー数は全て奇数であるから、4番目の式は相異なるどの二つのフェルマー数も互いに素となることを意味することになる。フェルマー数は次の合同式を満たす。フェルマー数の代わりに一般の 2 + 1 の形の素数を探すという問題を考えても同じである。一般に "a" + 1 が素数ならば、"a" は偶数で "m" は 2 の累乗となる。実際、"a" が奇数ならば 2 で、"m" が 1 より大きな奇数 "k" で割れるならば "a" + 1 で割れる。このことから、2 + 1 が素数ならば、"m" = 2 となる "n" が存在することが分かる。よって 2 + 1 = "F" である。フェルマー数 "F" の素因数は "k" 2 + 1, "k" ≥ 3 の形をしている（Lucas）。フェルマー数はどの2つも互いに素なので、任意の "n" に対して "k" 2 + 1, "k" = 1, 2, ... の形の素数が無限に多く存在することが導かれる。また実際に 3 × 2 + 1 が "F" を割り切る例が存在する。フェルマー数 "F" の最大の素因数 "P" ("F") はを満たす（Grytczuk, Luca and Wojtowicz, 2001）。全てのフェルマー数の素因数全体の集合を "S" とする。Golomb(1955) は "S" の元の逆数の和が収束するか否かという問題を提出したが、Krizek, Luca, Somer(2002) は "S" の元で "x" より小さいものの個数はとなることを示し、この問題を肯定的に解決した。2 ≡ − 1 (mod "F") より、2 の "F" を法とする位数は 2 で、これは "F" − 1 の約数である。すなわち、フェルマー数は 2 を底とする擬素数である。また、フェルマー数の積も擬素数である(Cipolla, 1904)。フェルマー数は累乗数にはならず、また、完全数または友愛数にはならず（Luca, 2000a）、二項係数 C ("n" ≥ 2"k" ≥ 2) の値にもならない（Luca, 2000b）。Golomb(1963) はフェルマー数の逆数の和は無理数であることを示した。なお、ErdosとStrausはさらに一般的な結果を得ている。フェルマー数はまた、正多角形の定規とコンパスによる作図の問題とも関係がある。カール・フリードリヒ・ガウスは、正 "n" 多角形が作図可能になる必要十分条件を求めたが、それは「"n" が 2の冪であるか、異なるフェルマー素数の積と 2 の冪の積であるとき」というものである。フェルマー数の性質については、Krizek, Luca, Somer(2001) が詳しい。フェルマー数が素数であるとき、フェルマー素数という。4番目までは素数なので、フェルマーは、全てのフェルマー数はフェルマー素数であると予想したが、5番目のフェルマー数は次のように分解できることを 1732年にオイラーが示し、反例が与えられた。オイラーはフェルマー数 "F" の因数は "k" 2 + 1 の形となることを証明した。これにより "n" = 5 の場合には、"F" の因数は 64"k" + 1 の形をとる。このことを利用して、オイラーは因数 641 = 10 × 64 + 1 を見つけたのである（実際には上で書いたように、"k" 2 + 1 の形のものに限られる）。フェルマー数 "F" が素数であるための必要十分条件はとなることである（Pepin）。また、定規とコンパスによる作図問題の1つである、定規とコンパスのみを使い正多角形を作図できるかという問題において、正 "n" 角形で "n" を素因数分解したときに奇数因子が全てフェルマー素数のどれかであり、なおかつ同じフェルマー素数が2つ以上存在しない場合のみ、作図可能だということがガウス により証明されている。現在 "F" 以降のフェルマー数の中に、素数となるようなものが存在するかどうかは知られていない。また、フェルマー素数やフェルマー合成数が無限にあるかどうかも知られていない。フェルマー数の素数性、素因数分解に関する情報は外部リンクに挙げたサイトが詳しい。フェルマー数は平方因子を持たないと予想されているが、未だに解決されていない。"m" = 20, 24 に対して "F" は合成数であることが知られているが、その素因数は1つも知られていない。"k" を1つ決めた時に "k" 2 + 1 が "F" を割り切る現象が無限に多く起こるかどうかも知られていない。

出典:wikipedia