■パラメータ表示の幾何学的な解釈(その2)

【1】レムニスケートのパラメータ表示

 レムニスケート:極座標系でr^2 =cos2θ,直交座標系で(x^2 +y^2 )^2 =x^2 −y^2 は,三角関数を用いて

  x=cosθ/(1+sin^2θ)

  y=sinθcosθ/(1+sin^2θ)

とパラメトライズされます.

 ここで,

  t=tan(θ/2)

を使うと

sinθ=2t/(1+t^2)

cosθ=(1−t^2)/(1+t^2)

と表示されますから,

  x=(1−t^4)/(1+6t^2+t^4)

  y=2t(1−t^2)/(1+6t^2+t^4 )

のようにパラメトライズすることができます.

 (その1)では

sinθ=(1−t^2)/(1+t^2)

cosθ=2t/(1+t^2)

とおいて,

  x=t(1+t^2)/(1+t^4 )

  y=t(1−t^2)/(1+t^4 )

とパラメトライズしたわけですから,パラメトライズの仕方は1通りではありません.

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

 次に,もう一つ別のパラメトライズをみてみましょう.レムニスケートは4次曲線ですが,原点(0,0)が有理点ですから,y=mxとおくことによってパラメータ表示の形に書くことができます.

  (1+m^2)^2x^4=(1−m^2)x^2

  x=(1−m^2)^1/2/(1+m^2)

  y=m(1−m^2)^1/2/(1+m^2)

m=tanθですから,t=tan(θ/2)を使うと

  m=2t/(1−t^2)

  x=(1−6t^2+t^4)/(1+t^2)^2

  x=2t(1−6t^2+t^4)/(1+t^2)^2(1−t^2)

と置き換えることもできます.

 あるいは,r^4=cos^2θ−sin^2θより,

  x=rcosθ=cosθ(cos^2θ−sin^2θ)^1/4

  y=rsinθ=sinθ(cos^2θ−sin^2θ)^1/4

ここで,

  t=tan(θ/2)

sinθ=2t/(1+t^2)

cosθ=(1−t^2)/(1+t^2)

  r=((1−6t^2+t^4)/(1+t^2)^2)^4

を使って置き換えることもできるでしょう.すると

  x=(1−t^2)/(1+t^2)・((1−6t^2+t^4)/(1+t^2)^2)^4

  y=2t/(1+t^2)・((1−6t^2+t^4)/(1+t^2)^2)^4

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

【2】中間曲線のパラメ−タ表示

 レムニスケートではうまいパラメトライズの方法があったのですが,中間曲線ではどうでしょうか?

 y=mxとおくことによって

  (2(x^2+y^2)^3−4x^3+3x(x^2+y^2))^2=(x^2+y^2)^3

  (2x^6(1+m^2)^3−4x^3+3x^3(1+m^2))^2=x^6(1+m^2)^3

  (2x^3(1+m^2)^3−1+3m^2))^2=(1+m^2)^3

これはX=x^3に関する2次方程式ですから,X=g(m)を解として

  x=(g(m))^1/3

  y=m(g(m))^1/3

とパラメトライズできます.

 あるいは,

  r^3=cos^2(3/2θ)=(4cos^3θ−3cosθ+1)/2

より,rを三角関数で表すと

  r=((4cos^3θ−3cosθ+1)/2)^1/3

  x=rcosθ

  y=rsinθ

  r=((4cos^3θ−3cosθ+1)/2)^1/3

に対して,

  t=tan(θ/2)

を使うと

sinθ=2t/(1+t^2)

cosθ=(1−t^2)/(1+t^2)

より,

  r=(3t^2−1)^(2/3)/(1+t^2)

  x=(1−t^2)(3t^2−1)^(2/3)/(1+t^2)^2

  y=2t(3t^2−1)^(2/3)/(1+t^2)^2

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