フェルマー数

フェルマー数（フェルマーすう、）とは、（は正整数）で表される自然数のことである。番目のフェルマー数はしばしばと記される。

概要その名の由来であるピエール・ド・フェルマーは、この式のに正整数を代入したとき常に素数を生成すると主張（予測）したが、1732年にレオンハルト・オイラーがの場合に素数でないことを示し、フェルマーの主張は誤りと確認された、。素数であるフェルマー数はフェルマー素数と呼ばれる。

実際にフェルマー数の値の最初の方をいくつか計算してみると、

が得られる。

までは、未満の既知である全ての素数で割りきれないことを確かめることで、容易に素数であることを確認できる。

しかし以降は（17世紀当時の計算技術から見ると）相当に巨大な数であると同時に小さな素因数を含んでいないことが、フェルマーを幻惑し反証の発見にはオイラーを待つこととなった要因の一つである。

性質基本的性質フェルマー数は次の漸化式を満たす：

フェルマー数は全て奇数であるから、4番目の式から、どの2つのフェルマー数も互いに素であると分かる。

フェルマー数は、例えば次の合同式を満たす。ならば、ならば、

の形の素数はフェルマー数である。一般に、が素数ならば、は偶数ではの累乗となる。実際、は奇数だからすなわちは偶数である。また、がより大きい奇数で割れるならばで割れる。

このことから、が素数ならば、を満たす自然数が存在する。つまりである。

フェルマー数の素因数フェルマー数 () の素因数は () の形をしている（エドゥアール・リュカにより証明）。フェルマー数はどの2つも互いに素なので、任意のに対して ( の形の素数が無数に存在することが導かれる。また実際にがを割り切る例が存在する。

フェルマー数の最大素因数をとすると

が成り立つ。

全てのフェルマー数の素因数全体の集合をとする。Golomb (1955) はの元の逆数和が収束するか否かという問題を提出したが、はの元でより小さいものの個数は

となることを示し、この問題を肯定的に解決した。

その他の性質より、のを法とする位数はで、これはの約数である。すなわち、フェルマー数はを底とする擬素数である。また、フェルマー数の積

も擬素数である (Cipolla, 1904)。

フェルマー数は累乗数にはならず、また、完全数または友愛数にはならず (Luca, 2000a)、二項係数 ( の値にもならない。

Golomb (1963) は、フェルマー数の逆数和は無理数であることを示した。なお、ポール・エルデシュと Straus はさらに一般的な結果を得ている。

フェルマー数はまた、正多角形の定規とコンパスによる作図の問題とも関係がある。ガウスは、正角形が作図可能になる必要十分条件を求めたが、それは「がの冪であるか、異なるフェルマー素数の積との冪の積であるとき」というものである。

フェルマー数の性質については、が詳しい。

フェルマー素数素数であるフェルマー数をフェルマー素数という。具体的には、既知の範囲において次の5つがある： , , , , ()

までは素数なので、フェルマーは、全てのフェルマー数はフェルマー素数であると予想したが、1732年にレオンハルト・オイラーが5番目のフェルマー数は次のように分解できることを示し、反例が与えられた。

オイラーは、フェルマー数の因数はの形となることを証明した。これによりの場合には、の因数はの形をとる。このことを利用して、オイラーは因数を見つけたのである。その後、上記「フェルマー数の素因数」の記述の通り、エドゥアール・リュカによりの形のものに限られることが示された。

また、定規とコンパスによる作図問題の1つである、正多角形は（定規とコンパスのみで）作図できるかという問題において、正角形が作図可能であるのは、を素因数分解したときに奇数因子が全てフェルマー素数であり、なおかつそれらが相異なる場合のみであることがガウスにより証明されている。

現在以降のフェルマー数で素数であるものが存在するかどうかは知られていない。また、フェルマー素数やフェルマー合成数が無限にあるかどうかも知られていない。加えて、フェルマー数は平方因子を持たないと予想されているが、未だに解決されていないGuy, Unsolved Problems in Number Theory, p.16. 金光滋による訳本でも p.16.。フェルマー数の最大素因数についてはを、最小素因数についてはを参照。

フェルマー数の素数性、素因数分解に関する情報は外部リンクに挙げたサイトが詳しい。

素数判定法ペパン・テストペパン・テストはフランスの数学者テオフィル・ペパン(:en:Théophile_Pépin)によって名付けられたフェルマー数に対する素数判定法である。

+ 1 で }を定義すると、ならば、は合成数であるならば、は素数である

基数は3以外の数値として以下を取ることを可能とする。

（）

なお、ぺパンテストを一般化した定理としてがある。

表記フェルマー数を表すにはいくつか等価な表記がある。 {|class="wikitable" ! 名称 ! 表記 |- | クヌースの矢印表記

脚注

参考文献

Michal Krizek, Florian Luca and Lawrence Somer(2001), 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Springer, CMS Books 9, ISBN 0387953329.

W. Sierpiński, "Sue les nombres premiers de la forme ", L'Enseign. Math. (2) 4(1958), 211--212. Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004.

フェルマー数

Źródło i licencja