フェルマー・ワイルズの定理『ｘ^n＋ｙ^n＝ｚ^nでｎ≧３のとき，ｘ，ｙ，ｚは正の整数解をもたない』をご存じの方は多いだろう．

　ところで，多項式に対するフェルマー・ワイルズの定理の類似

『方程式ｘ（ｔ）^n＋ｙ（ｔ）^n＝ｚ（ｔ）^nでｎ≧３のとき，定数でない互いに素なｘ（ｔ），ｙ（ｔ），ｚ（ｔ）は存在しない』も成り立つ．しかもそれは１９世紀には知られていたようである．

　代数幾何学を使って証明されたのであるが，メーソン・ストーサーズの定理を使えばすごく簡単に証明できるという．

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

【１】メーソン・ストーサーズの定理（１９８３年）

　　ｆ（ｔ）＝ｃ1Π（ｔ−αi）^mi

　　ｄｅｇｆ＝ｍ1＋ｍ2＋・・・＋ｍr　　（次数）

　　ｒ（ｆ）＝ｒ　　（互いに異なる根の数）

で表す．

　　ｇ（ｔ）＝ｃ2Π（ｔ−βj）^nj

　　ｈ（ｔ）＝ｃ3Π（ｔ−γk）^lk

　「ｆ＋ｇ＝ｈのとき，

　　ｍａｘ（ｄｅｇｆ，ｄｅｇｇ，ｄｅｇｈ）≦ｒ（ｆｇｈ）−１

が成り立つ．」

　すなわち，この定理はｆ＋ｇ＝ｈという関係によってｆ，ｇ，ｈの次数には上界が定められること，その上界はｆｇｈの相異なる根の数−１であることを主張している．多項式について，このような結果が２０世紀も終わりに近づいた１９８０年代になってようやく発見されたのは驚きを禁じ得ない．

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

【２】証明

　ｆ＝ｘ^n，ｇ＝ｙ^n，ｈ＝ｚ^nとおくと，メーソン・ストーサーズの定理により

　　ｄｅｇｘ^n≦ｒ（ｘ^nｙ^nｚ^n）−１

ところが，ｄｅｇｘ^n＝ｎ・ｄｅｇｘ，ｒ（ｘ^n）＝ｒ（ｘ）≦ｄｅｇｘより

　　ｎ・ｄｅｇｘ≦ｄｅｇｘ＋ｄｅｇｙ＋ｄｅｇｚ−１

同様に

　　ｎ・ｄｅｇｙ≦ｄｅｇｘ＋ｄｅｇｙ＋ｄｅｇｚ−１

　　ｎ・ｄｅｇｚ≦ｄｅｇｘ＋ｄｅｇｙ＋ｄｅｇｚ−１

　辺々を加えると

　　（ｎ−３）（ｄｅｇｘ＋ｄｅｇｙ＋ｄｅｇｚ）≦−３

このような不等式は成り立たないので，これで多項式に対するフェルマの最終定理の類似が証明されたことになる．

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