■フェルマーの最終定理と有限体(その47)

楕円曲線とは

a5y^2+a6xy+a7y=a1x^3+a2x^2+a3x+a4

と書ける平面代数曲線である。

X^3+Y^3=1はこのままでは楕円曲線とはいえいないが、楕円曲線y^2=x^3-432にうつすことができる

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

X=(36+y)/6x,Y=(36-y)/6xとおくと

X^3+Y^3-1=(432+y^2-x^3)/x^3=0

逆に

x=12/(X+Y),y=36(x-y)/(X+Y)とおくと

432+y^2-x^3=x^3(X3+Y^3-1)=0

これらは有理点を有理点にうつす

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