■ファニャーノの発見(その2)

 レムニスケートの弧長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

で与えられる.

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