■y^2=x^3−aの整数解(その4)

  x座標もy座標も整数である点を整数点,座標x,yがともに有理数であるような点を有理点といいます.指数曲線:y=exp(x)は座標(0,1)を通りますが,点(0,1)がこの滑らかな曲線上の唯一の整数点・有理点であって,それ以外のどの有理点にもぶつからないのは驚くべきことです.同様に,xが0以外の有理数のとき,y=tanxは有理数の値をとることはできません.

 ところで,楕円曲線:y^2 =x^3 +1には無限に多くの整数点があるでしょうか,あるいは一つでも整数点はあるでしょうか.実は,これには整数点は(2,±3),(0,±1),(−1,0)の5つしかありません.また,この楕円曲線には有理点もやはりこの5つしかないのです.また,y^2 =x^3 −2は(3,±5)以外の整数点をもちませんが,無数に有理点が得られます.

 一般に,y^2 =x^3 −aには有限個の整数解しかないのですが,たとえば,a=−7に対しては1つも整数解がありません.また,a≠−1,432ならば曲線上には無限個の有理点があることがわかっています. 少し挑戦してみると分かるのですが、これらを証明するのはほとんど不可能に見えるほど難しい問題です。楕円曲線上に有理点が無限個のっていたり、有限個であったり、あるい全くなかったりすることは図をいくらにらんでもわからない問題ですが、ここではこれ以上は追求しないでおきましょう。

===================================

【補】楕円曲線とフェルマーの定理

 ワイエルシュトラス形式の特異点は有理点であり,曲線上に特異点があれば,適当なパラメータmによりx,yはmの多項式として表されます.そして,xとyがmの有理式として表されるとき,有理曲線となり,2次曲線とよく似た性質をもちます.

 一方,特異点がなければ,楕円曲線と呼ばれる非有理曲線で2次曲線とは本質的に異なってきます.2次曲線はすべて有理曲線ですが,3次曲線が異なる3根をもつ有理係数の多項式の場合は,有理勾配の方法によるパラメトライズは有効には働きません.すなわち,楕円曲線は有理曲線でないため有理関数で表わすことはできませんが,楕円関数でパラメトライズすることは可能です.

 ところで,フェルマーの最終定理『x^n+y^n=z^nでn≧3のとき,x,y,zは正の整数解をもたない.』を解くことは,2変数n次多項式f(x,y)=x^n+y^n−1=0に,有理数解があるか,すなわち有理点をもつかどうかを考える問題に対応します.

 1970年代,フェルマーの問題を征するために必要となるのが楕円曲線であることが明らかになりました.楕円曲線には,楕円曲線と三点で交わる直線で,そのうちの二つの交点の座標がわかれば他の一点の座標も計算でき,二つの点の座標が有理数ならば,他の一点の座標も有理数であるなどの性質をもっています.

 a^p+b^p=c^pを満たすような楕円曲線:

  y^2=x(x+a^p)(x−b^p)

が保型関数によってパラメトライズできないことの証明がフェルマーの最終定理の証明に繋がるのですが,これ以上はかなりこみいった話になるので追求しないでおきましょう.(楕円曲線の有理点の有無ではなく,楕円曲線そのものが存在しないことを示すのである.)

===================================