■ファニャーノのレムニスケート等分公式(その31)
[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}
===================================