【１】オイラー独自の理論的裏付け

　ここでは，

　　ｐ｜ａ^(2^n)＋１　　（ｐ≠２の素数）

ならば

　　２^(n+1)｜ｐ−１

となることの証明をに与えておきます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］２平方和定理（フェルマー・オイラーの定理）

　　（ａ^2＋ｂ^2）（ｃ^2＋ｄ^2）＝ｐ^2＋ｑ^2，ｐ＝ａｃ−ｂｄ，ｑ＝ａｄ＋ｂｃ

　特別な素数である２を除外して，素数は４で割ると余りが１になるもの（５，１３，１７，２９，３７，４１，・・・）と３になるもの（３，７，１１，１９，２３，３１，・・・）の２種類に分けられます．このうち，４ｎ＋１の形の素数は２つの整数の平方の和として表されます．たとえば，５＝１^2＋２^2，１３＝２^2＋３^2，１７＝１^2＋４^2，２９＝２^2＋５^2，・・・．しかし，４ｎ＋３の形の素数は１つもこのようには表せないのです．

　この定理はフェルマーの「直角三角形の基本定理」と呼ばれ，フェルマーは無限降下法でこれを証明しましたが，その証明は不十分で，１００年後のオイラーによって完全な証明（一意性も込めた証明）がなされています．

［２］この定理を拡張する方向としては，ひとつには未知数の個数を増すこと，もうひとつには指数を大きくすることです．後者の方向に押し進めていくと

(1)ａ^2＋ｂ^2の奇約数はつねに４ｎ＋１の形である

(2)ａ^4＋ｂ^4の奇約数はつねに８ｎ＋１の形である

(3)ａ^8＋ｂ^8の奇約数はつねに１６ｎ＋１の形である

・・・・・・・・・・・・・・・・・・・・・・・・・

(4)ａ^2^(2^m)＋ｂ^2^(2^m)の奇約数はつねに２^(m+1)ｎ＋１の形である

　フェルマー数はＦn＝２^(2^n)＋１という形の数ですが，ａ＝２，ｂ＝１とおくと

(5)フェルマー数２^(2^m)＋１の奇約数はつねに２^(m+1)ｎ＋１の形である

という言明に到達します．ｍ＝５の場合，約数は６４ｎ＋１という形でしかあり得ないことになります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝