フェルマー数のソースを表示

<!--<math>F_n=2^{\,\!2^n}+1</math> <!-- 「\,\!」の挿入は、「できる限りHTML」モード使用時の不適切なHTML化に対する抜け道。2006年8月時点では「上付の上付」などの表示が崩れる。[[m:math]]参照。 （それは mediawiki が対応するべきことで、記事のほうで force PNG rendering する理由にはならないような……）-->
'''フェルマー数'''（フェルマーすう）とは 2<sup>2</sup><sup><sup>''n''</sup></sup> + 1 （''n'' は自然数）の形に書くことができる[[自然数]]のことである。''n'' 番目のフェルマー数はしばしば ''F<sub>n</sub>'' と記される。

この数は[[ピエール・ド・フェルマー]]が、''n'' に自然数を代入したとき常に素数を生成する式として提示したものであったが、この主張は後に[[レオンハルト・オイラー|オイラー]]によって誤っていることが証明されている。オイラーによる反例は ''n'' = 5 という比較的小さなフェルマー数に対してなされたものであったが、実際にフェルマー数の最初の方をいくつか計算すると
:''F''<sub>0</sub> = 2<sup>1</sup> + 1 = [[3]]
:''F''<sub>1</sub> = 2<sup>2</sup> + 1 = [[5]]
:''F''<sub>2</sub> = 2<sup>4</sup> + 1 = [[17]]
:''F''<sub>3</sub> = 2<sup>8</sup> + 1 = [[257]]
:''F''<sub>4</sub> = 2<sup>16</sup> + 1 = [[65537]]
:''F''<sub>5</sub> = 2<sup>32</sup> + 1 = [[4294967297]]
:''F''<sub>6</sub> = 2<sup>64</sup> + 1 = [[18446744073709551617]]
:''F''<sub>7</sub> = 2<sup>128</sup> + 1 = [[340282366920938463463374607431768211457]]
:''F''<sub>8</sub> = 2<sup>256</sup> + 1 = [[115792089237316195423570985008687907853269984665640564039457584007913129639937]]
という値が得られ、フェルマー数のほとんどが相当に巨大な数となることが分かる。それと同時にこれらが小さな素因数を含んでいないことがフェルマー数の因数の発見を遅らせた要因の一つである。

== 性質 ==
=== 基本的性質 ===
フェルマー数は次の[[漸化式]]を満たす：
:''F<sub>n</sub>'' = (''F''<sub>''n'' &minus; 1</sub> &minus; 1)<sup>2</sup> + 1
:''F<sub>n</sub>'' = ''F''<sub>''n'' &minus; 1</sub> + 2<sup>2</sup><sup><sup>''n'' &minus; 1</sup></sup>''F''<sub>0</sub> ... ''F''<sub>''n'' &minus; 2</sub>
:''F<sub>n</sub>'' = ''F''<sub>''n'' &minus; 1</sub><sup>2</sup> &minus; 2(''F''<sub>''n'' &minus; 2</sub> &minus; 1)<sup>2</sup>
:''F<sub>n</sub>'' = ''F''<sub>0</sub> ... ''F''<sub>''n'' &minus; 1</sub> + 2

フェルマー数は全て奇数であるから、4番目の式は相異なるどの二つのフェルマー数も[[互いに素]]となることを意味することになる。

フェルマー数は次の[[合同式]]を満たす。
*''n'' &ge; 2 ならば、''F<sub>n</sub>'' &equiv; 17 or 41 (mod 72)
*''n'' &ge; 2 ならば、''F<sub>n</sub>'' &equiv; 17, 37, 57 or 97 (mod 100)

フェルマー数の代わりに一般の 2<sup>''m''</sup> + 1 の形の素数を探すという問題を考えても同じである。一般に ''a<sup>m</sup>'' + 1 が素数ならば、''a'' は偶数で ''m'' は 2 の累乗となる。実際、''a'' が奇数ならば 2 で、''m'' が 1 より大きな奇数 ''k'' で割れるならば ''a<sup>m/k</sup>'' + 1 で割れる。

このことから、''n<sup>n</sup>'' + 1 が素数ならば、''n'' =　2<sup>2</sup><sup><sup>''m''</sup></sup> となる ''m'' が存在することが分かる（[[ヴァツワフ・シェルピニスキ|Sierpinski]], 1958またはKrizek, Luca, Somer, 2001, p.156）。よって ''n<sup>n</sup>'' + 1 = ''F''<sub>m</sub> である。

=== フェルマー数の素因数 ===
フェルマー数 ''F<sub>n</sub>'' の素因数は ''k'' 2<sup>''n'' + 2</sup> + 1, ''k'' &ge; 3 の形をしている（Lucas）。フェルマー数はどの2つも互いに素なので、任意の ''n'' に対して ''k'' 2<sup>''n''</sup> + 1, ''k'' = 1, 2, ... の形の素数が無限に多く存在することが導かれる。また実際に 3 &times; 2<sup>''n'' + 2</sup> + 1 が ''F<sub>n</sub>'' を割り切る例が存在する。

フェルマー数 ''F''<sub>''n''</sub> の最大の素因数 ''P'' (''F<sub>n</sub>'') は
:''P'' (''F<sub>n</sub>'') &ge; 2<sup>''n'' + 2</sup>(4''n'' + 9) + 1
を満たす（Grytczuk, Luca and Wojtowicz, 2001）。

全てのフェルマー数の素因数全体の集合を ''S'' とする。Golomb(1955) は ''S'' の元の逆数の和が収束するか否かという問題を提出したが、Krizek, Luca, Somer(2002) は ''S'' の元で ''x'' より小さいものの個数は
:''O''(''x''<sup>1/2</sup>log ''x'')
となることを示し、この問題を肯定的に解決した。

=== その他の性質 ===
2<sup>2</sup><sup><sup>''m''</sup></sup> &equiv; &minus; 1 (mod ''F<sub>m</sub>'') より、2 の ''F<sub>m</sub>'' を法とする位数は 2<sup>''m'' + 1</sup> で、これは ''F<sub>m</sub>'' &minus; 1 の約数である。すなわち、フェルマー数は 2 を底とする[[擬素数]]である。また、フェルマー数の積
:''F<sub>m</sub>F<sub>n</sub>...F<sub>s</sub>'' (2<sup>''s''</sup> > ''m'' > ''n'' > ... > ''s'') 
も擬素数である(Cipolla, 1904)。

フェルマー数は累乗数にはならず、また、完全数または友愛数にはならず（Luca, 2000a）、二項係数 <sub>''n''</sub>C<sub>''k''</sub> (''n'' &ge; 2''k'' &ge; 2) の値にもならない（Luca, 2000b）。

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

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

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

== フェルマー素数 ==
フェルマー数が[[素数]]であるとき、'''フェルマー素数'''という。4番目までは素数なので、フェルマーは、全てのフェルマー数はフェルマー素数であると予想したが、5番目のフェルマー数は次のように分解できることを [[1732年]]に[[レオンハルト・オイラー|オイラー]]が示し、[[反例]]が与えられた。
:''F''<sub>5</sub> = 2<sup>2</sup><sup><sup>5</sup></sup> + 1 = 641 &times; 6700417

オイラーはフェルマー数 ''F''<sub>''n''</sub> の因数は ''k'' 2<sup>''n''+1</sup> + 1 の形となることを証明した。これにより ''n'' = 5 の場合には、''F''<sub>5</sub> の因数は 64''k'' + 1 の形をとる。このことを利用して、オイラーは因数 641 = 10 &times; 64 + 1 を見つけたのである（実際には上で書いたように、''k'' 2<sup>''n'' + 2</sup> + 1 の形のものに限られる）。

フェルマー数 ''F''<sub>''n''</sub> が素数であるための必要十分条件は
:3<sup>(''F<sub>n</sub>'' &minus; 1)/2</sup> &equiv; &minus; 1 (mod ''F<sub>n</sub>'')
となることである（Pepin）。

また、[[定規とコンパスによる作図]]問題の1つである、'''定規とコンパスのみを使い[[正多角形]]を作図できるか'''という問題において、正 ''n'' 角形で ''n'' を[[素因数分解]]したときに奇数因子が全てフェルマー素数のどれかであり、なおかつ同じフェルマー素数が2つ以上存在しない場合のみ、作図可能だということが[[カール・フリードリヒ・ガウス|ガウス]] により証明されている。

現在 ''F''<sub>5</sub> 以降のフェルマー数の中に、素数となるようなものが存在するかどうかは知られていない。また、フェルマー素数やフェルマー合成数が無限にあるかどうかも知られていない。

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

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

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

== 参考文献 ==
*P. Erdos and E. G. Straus, On the irrationality of certain Ahmes series, ''J. Indian Math. Soc.(N. S.) '' 27(1963), 129--133.
*S. W. Golomb, On the sum of the reciprocals of the Fermat numbers and related irrationalities, ''Canad. J. Math.'' 15(1963), 475--478.
*A. Grytczuk, F. Luca and M. Wojtowicz(2001), Another note on the greatest prime factors of Fermat numbers, ''Southeast Asian Bull. Math.'' 25(2001), 111--115.
*Florian Luca(2000a), The anti-social Fermat number, ''Amer. Math. Monthly'' 107(2000), 171--173.
*Florian Luca(2000b), Fermar Numbers in the Pascal Triangle, ''Divulg. Math.'' 9(2001), 189--194, [http://www.maths.soton.ac.uk/EMIS/journals/DM/v92/art8.pdf].
*Michal Krizek, Florian Luca and Lawrence Somer(2001), ''17 Lectures on Fermat Numbers: From Number Theory to Geometry'', Springer, CMS Books 9, ISBN 0387953329.
*Michal Krizek, Florian Luca and Lawrence Somer(2002), On the convergence of series of reciprocals of primes related to the Fermat numbers, ''J. Number Theory'' 97(2002), 95--112.
*W. Sierpiński, Sue les nombres premiers de la forme ''n''<sup>''n''</sup> + 1, ''L'Enseign. Math.'' (2) 4(1958), 211--212.

== 関連項目 ==
*[[素数]]
*[[メルセンヌ数]]

== 外部リンク ==
*[http://www.prothsearch.net/fermat.html Fermat factoring status]

{{デフォルトソート:ふえるまあすう}}
[[Category:数論]]
[[Category:整数の類]]
[[Category:数学に関する記事]]

[[da:Fermatprimtal]]