■ファニャーノのレムニスケート等分公式(その23)
レムニスケートの弧長sは
(x^2+y^2)^2=x^2−y^2
において,r^2=x^2+y^2,rcosθ=x,rsinθ=yとおくと,
r^2=cos2θ
dθ=−dr(cos2θ)^1/2/sin2θ
(ds)^2=(dr)^2+(rdθ)^2=(dx)^2{1+r^2cos2θ/(sin2θ)^2}
(ds)^2=(dx)^2{1+r^4/(1−r^4)}
(ds)^2=(dr)^2/(1−r^4)
ds=dr/(1−r^4)^1/2
s=∫(0,x)dx/(1−x^4)^1/2
で与えられる.
===================================