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

[1]三角関数(円積分)の加法定理

  θ=∫(0,x)dx/(1−x^2)^1/2,x=sinθ

  φ=∫(0,y)dy/(1−y^2)^1/2,y=sinφ

  ψ=∫(0,z)dz/(1−z^2)^1/2,z=sinψ

 θ+φ=ψならば

 sin(θ+φ)=sinψ

 sinψ=sinθcosφ+cosθsinφ

 z=x(1−y^2)^1/2+y(1−x^2)^1/2

によりzを定めると

 ∫(0,z)dz/(1−z^2)^1/2

=∫(0,x)dx/(1−x^2)^1/2+∫(0,y)dy/(1−y^2)^1/2

 dz/(1−z^2)^1/2=dx/(1−x^2)^1/2+dy/(1−y^2)^1/2

が成立する.

 x=yの場合,z=2x(1−x^2)^1/2

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

[2]レムニスケート積分の加法定理

  α=∫(0,x)dx/(1−x^4)^1/2,x=φ(α)

  β=∫(0,y)dy/(1−y^4)^1/2,y=φ(β)

 α=β+γならば

 x=φ(α)=φ(θ+φ)

={φ(β)(1−φ^4(γ))^1/2+φ(γ)(1−φ^4(β))^1/2}/{1+φ^2(β)φ^2(γ)}

={y(1−c^4)^1/2+c(1−y^4)}^1/2)}/{1+c^2y^2}

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