■フェルマーの最終定理と有限体(その16)
フェルマーの問題を拡張する方向としては,一つには指数を大きくすることが考えられます。
x^3+y^3=z^3 → x^m+y^m=z^m
驚かれるかもしれないが,フェルマーの最終定理を、素数を法とした数式
x^m+y^m=z^m (mod p)
を考えることによって証明するためのどんな試みも失敗に終わることが示されている。
===================================
ディクソンは
x^m+y^m=z^m (mod p)
pを十分に大きい素数と仮定するならば、pと互いの素な3つの整数x、y、zに対して、この合同式が成り立つという結果を示した。
1916年にシューアは鳩ノ巣原理をを使って、ディクソンの結果に対するわかりやすい照明を与えた。
また、ラムゼイの定理「6点が空間上の一般に位置にあるとき、それらを結ぶ15本の線分が、赤あるいは青で彩色される。この時ある三角形の3辺は同じ色で彩色される」もシューアの結果の簡単な証明を与えるために用いることができる。
===================================