多項式版フェルマーの最終定理の正則関数への拡張
※以下は多少雑な記事となっているので広い心で読んでくれると嬉しいです。
⚫多項式版フェルマーの最終定理
フェルマーの最終定理
を3以上の整数とした時、
を満たす正の整数の組は存在しない。
という定理であり、1994年にワイルズ氏によって証明されました。多項式版フェルマーの最終定理は「正の整数の組」を「非自明な(複素数係数)多項式の組」にそっくりそのまま書き換えたものです。(ここでの非自明な関数の組とは、どのふたつの関数の比も定数関数でないことを意味します)
多項式版フェルマーの最終定理
を3以上の整数とした時、
n=2の時の反例はです。この定理の証明はネットで調べればすぐ出てくると思います。(微分さえ知ってれば証明できます)
⚫正則関数への拡張
を3以上の整数とした時、
を満たす非定数有理関数の組は存在しない。
と同値であることは簡単に確認できます。ここで「有理関数」を「有理型関数」に拡張したらどうなるでしょうか?有理関数については既に分かっているので超越有理型関数に絞って調べます。超越有理型関数については次の定理が成り立ちます。
分岐定理
ある超越有理型関数が与えられているとする。
の解が無限個ありその重複度が全て以上である時(有限個の場合はとする)、
を満たす。
この定理はネヴァンリンナの第二主要定理と呼ばれるネヴァンリンナ理論の中心定理から導くことができます。この記事ではネヴァンリンナ理論の内容には踏み込まないつもりですが、今後記事にしていけたらいいなと思っています。
さて分岐定理を使って何が言えるでしょうか。
正整数に対し、超越有理型関数が存在し、
が成り立っている時、簡単な式変形により、
※ただし
であり、これは
は無限個の重解(または有限個の解)を持つ
ということを意味しています。そしてのときは上の分岐定理に反することが簡単な計算で確かめることができます。よって次のことが言えます。
を4以上の整数とした時、
を満たす非自明な超越有理型関数の組は存在しない。
ではのときはどうでしょうか?実はのときには反例が存在します。この反例を構成するのも面白いのでまた別な記事で書こうと思います。
⚫結論
以上の結果から、正則関数版フェルマーの最終定理は
正則関数版フェルマーの最終定理
を4以上の整数とした時、
を満たす非自明な正則関数の組は存在しない。
となります。に反例があるのに’’フェルマーの最終定理’’の名前を使っていいのか、という感じはありますが、多項式と正則関数の性質の面白い差とも言えるんじゃないでしょうか。
色々と不完全で読みづらい記事となってしまいましたが、最後まで読んでくださりありがとうございました。大きな誤りの発見やアドバイス等ありましたらコメントよろしくお願いします。