■パラメータ表示の幾何学的な解釈(その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
===================================