■モーデル方程式

 楕円曲線:y^2=x^3+k   (k:整数)

の有理点に関して,たとえば,

k=−2:無限に多くの有理点をもつ

k=1 :(0,±1),(−1,0),(2,±3)以外に有理点をもたない

k=−5:決して有理点をもたない

 整数点に関して,モーデルは2元3次形式の簡約理論とトゥエの定理から整数点は有限個しか存在しないことを証明した.

k=−28:すべての整数解は(4,±6),(8,±22),(37,±255)

k=11 :整数解をもたない

k=−11:すべての整数解は(3,±4),(15,±58)

 モーデルは,この結果を

  y^2=ax^3+bx^2+cx+d

に拡張した.右辺の3次式は異なる零点をもつことから,3次式よりは4次式の簡約に依拠する必要があった.

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