■オイラーのエラスチカからミウラ折りへ(その6)
dx/(1−x^2)^1/2=dy/(1−y^2)^1/2
x^2+y^2=c^2+2xy(1−c^2)^1/2
からの類推で,ファニャーノは
x^2y^2+x^2+y^2−1=0
を与えたと思われる.
一般には,次数≦2の多項式P,Qに対して
Φ(x,y)=P0(x)y^2+2P1(x)y+P2(x)=0
Φ(x,y)=Q0(y)x^2+2Q1(y)x+Q2(y)=0
を解けば
Φ(x,y)=0
で定義される曲線は
z^2=F(x),F=P1^2−P0P2
ω^2=G(y),G=Q1^2−Q0Q2
の双有理同値である.
さらに,
1/2・∂Φ/∂x=Q0(y)x+Q1(y)
1/2・∂Φ/∂y=P0(x)y+P1(x)
より,Φ=0を微分して
±dx/√F(x)=±dy/√G(y)
が得られる.
===================================