【５】可解性条件

　これまで（ｍ，ｎ）＝（５，−５）には自然数解があることが得られましたが，

ａ）（ｍ，ｎ）＝（１，−１）には自然数解は存在しないことの証明がフィボナッチ・フェルマーの定理であること

（ｙ＞０，ｘ，ｚ，ｗはすべて≧０としてよい．ｘ^2＋ｙ^2＝ｚ^2よりｚ＞０．またここでｘ＞０．もしｘ＝０ならばｘ^2−ｙ^2＝−ｙ^2＝ｗ^2＜０となり矛盾．またｗ＞０．もしｗ＝０ならばｘ^2−ｙ^2＝ｗ^2＝０より，ｘ＝ｙ．これをｘ^2＋ｙ^2＝ｚ^2に代入すると２ｘ^2＝ｚ^2となり矛盾．したがって，非自明解があるとすると自然数解ができてしまい，フィボナッチ・フェルマーの定理に矛盾する．）

ｂ）自明な解を除いて（ｍ，ｎ）＝（１，２）には自然数解がない，一方，（２，６）には自然数解，たとえば，（ｘ，ｙ）＝（１，２），（１９１，６０）などがあることが帰結として導かれます．

　　１^2＋２・２^2＝３^2，１^2＋６・２^2＝５^2

　　１９１^2＋２・６０^2＝２０９^2，１９１^2＋６・６０^2＝２４１^2

　拡張したフィボナッチ・フェルマーの方程式

　　ｘ^2＋ｍｙ^2＝ｚ^2

　　ｘ^2＋ｎｙ^2＝ｗ^2

の自然数解の有無については部分的な解答が得られているだけで，完全な解決（一般的な可解性条件）はまだ得られていませんが，わかっていること，予想されていることについてまとめておきましょう．

ａ）（ｍ，ｎ）＝（１，２ｎ^2−１）　（ｎ≧２）には非自明解がある

ｂ）（ｍ，ｎ）＝（ｍ，２−ｍ）　（ｍ≠０，１，２）には非自明解がある

ｃ）（ｍ，ｎ）＝（ｋ，−ｋ）　（ｋは分離的数）の場合，

　　　ｋ＝１，ｋ＝２→自明解のみ

　　　ｋ＝３（ｍｏｄ８）→自明解のみ

　　　ｋ＝５，６，７（ｍｏｄ８）７→非自明解がある

　　　ｋ＝１，２（ｍｏｄ８）→どちらの場合もある

　ｋが分離的とはｐ^2｜ｋなる素数ｐがないこと，すなわち，ｋ＝±ｐ1ｐ2・・・ｐn，ｐi≠ｐjと因数分解されることである（ｋ＝±１は分離的，ｋ＝１は平方数であり分離的数である唯一の整数）．

　ｋ＝５，６，７（ｍｏｄ８）７→非自明解がある

という予想は，ＢＳＤ予想からも自然にでてくるものであるという．

ｄ）（ｍ，ｎ）＝（ｋ，−ｋ）に非自明解がある場合，

　　ｋｃ^2＝ａｂ（ａ^2−ｂ^2）　　（ａ，ｂ）＝１，ａ≠ｂ（ｍｏｄ２）

を満足するａ，ｂ，ｃに対して，

　　ｘ＝（ａ^2＋ｂ^2，２ｃ，ａ^2−ｂ^2＋２ａｂ，ａ^2−ｂ^2−２ａｂ）

は非自明解を与える．

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

［参］小野孝「オイラーの主題による変奏曲」実教出版

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