フェルマー数

フェルマー数とは、2supで表される自然数のことである。n}} 番目のフェルマー数はしばしば Fsub と記される。

1. 概要
-----

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

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

が得られる。

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

しかし //F//sub 以降は相当に巨大な数であると同時に小さな素因数を含んでいないことが、フェルマーを幻惑し反証の発見にはオイラーを待つこととなった要因の一つである。

2. 性質
-----

2.1. 基本的性質
----------

フェルマー数は次の漸化式を満たす：

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

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

//n// ≥ 2}} ならば、
//n// ≥ 2}} ならば、2sup の形の素数はフェルマー数である。一般に、//asup が素数ならば、a}} は偶数で m}} は 2}} の累乗となる。実際、//asup は奇数だから //asup すなわち a}} は偶数である。また、m}} が 1}} より大きい奇数 k}} で割れるならば //asup で割れる。

このことから、2sup が素数ならば、//m// =}} 2sup を満たす自然数 n}} が存在する。つまり 2sup である。

2.2. フェルマー数の素因数
---------------

フェルマー数 Fsub  の素因数は //k// · 2sup  の形をしている。フェルマー数はどの2つも互いに素なので、任意の n}} に対して //k// · 2sup }} の形の素数が無数に存在することが導かれる。また実際に 3 · 2sup が Fsub を割り切る例が存在する。

フェルマー数 Fsub の最大素因数を //P//(//Fsub とすると//

が成り立つ 。

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

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

2.3. その他の性質
-----------

2sup より、2}} の Fsub を法とする位数は 2sup で、これは //Fsub の約数である。すなわち、フェルマー数は 2}} を底とする擬素数である。また、フェルマー数の積//

//Fsub//も擬素数である 。

フェルマー数は累乗数にはならず、また、完全数または友愛数にはならず 、二項係数 sub }} の値にもならない 。

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

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

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

3. フェルマー素数
----------

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

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

オイラーは、フェルマー数 Fsub の因数は //k//·2sup の形となることを証明した。これにより //n// =}} 5}} の場合には、//F//sub の因数は 64//k// + 1}} の形をとる。このことを利用して、オイラーは因数 641 =}} 10 × 64 + 1}} を見つけたのである。その後、上記「フェルマー数の素因数」の記述の通り、エドゥアール・リュカにより //k//·2sup の形のものに限られることが示された。

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

現在 //F//sub 以降のフェルマー数で素数であるものが存在するかどうかは知られていない。また、フェルマー素数やフェルマー合成数が無限にあるかどうかも知られていない。フェルマー数の最大素因数についてはA070592}}を、最小素因数についてはA093179}}を参照。

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

3.1. 素数判定法
----------

3.1.1. ペピン・テスト
--------------

ペピン・テストはフランスの数学者テオフィル・ペピンによって名付けられたフェルマー数に対する素数判定法である。

//Fsub + 1 }} で //Fsubを定義すると、

ならば、Fsub は合成数である
ならば、Fsub は素数である基数は3以外の数値として以下を取ることを可能とする。

[[5

4. その他の未解決問題
------------

フェルマー数は平方因子を持たないと予想されているが、未だに解決されていない。

//m// =}} 20, 24}} に対して Fsub は合成数であることが知られているが、その素因数は1つも知られていない。k}} を1つ決めた時に //k//·2sup が Fsub を割り切る現象が無数に起こるかどうかも知られていない。

5. 表記
-----

フェルマー数を表すにはいくつか等価な表記がある。

{|class="wikitable"! 名称 ! 表記 |- | クヌースの矢印表記 | |}

6. 脚注
-----

7. 参考文献
-------

P. Erdos and E. G. Straus, On the irrationality of certain Ahmes series, //J. Indian Math. Soc. // 27, 129--133.
S. W. Golomb, On the sum of the reciprocals of the Fermat numbers and related irrationalities, //Canad. J. Math.// 15, 475--478.
A. Grytczuk, F. Luca and M. Wojtowicz, Another note on the greatest prime factors of Fermat numbers, //Southeast Asian Bull. Math.// 25, 111--115.
Florian Luca, The anti-social Fermat number, //Amer. Math. Monthly// 107, 171--173.
Florian Luca, Fermar Numbers in the Pascal Triangle, //Divulg. Math.// 9, 189--194, [1].
Michal Krizek, Florian Luca and Lawrence Somer, //17 Lectures on Fermat Numbers: From Number Theory to Geometry//, Springer, CMS Books 9, ISBN 0387953329.
Michal Krizek, Florian Luca and Lawrence Somer, On the convergence of series of reciprocals of primes related to the Fermat numbers, //J. Number Theory// 97, 95--112.
W. Sierpiński, Sue les nombres premiers de la forme //n//sup, //L'Enseign. Math.//  4, 211--212.
Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004.

8. 関連項目
-------

素数
メルセンヌ数
ピアポント素数

9. 外部リンク
--------

[2]