■ファニャーノのレムニスケート等分公式(その32)
ガウスは円積分に倣って、レムニスケートサインの逆関数を
∫(0,x)dx/(1-x^4)^1/2
で定義した。
ω=∫(0,1)dx/(1-x^4)^1/2
さらにcosx=sin(π/2-x)に倣って、レムニスケートコサインを
c(x)=s(ω-x)
によって定義した
===================================
加法公式は
s(u+v)={s(u)c(v)+s(v)c(u)}/{1-s(u)s(v)c(u)c(v)}
c(u+v)={c(u)c(v)-s(v)s(u)}/{1+s(u)s(v)c(u)c(v)}・・・実数全体に拡張
複素関数に拡張すると
s(iu)=is(u),v(iu)=1/c(u)
s(u+4ω)=s(x),s(u+4iω)=s(x)・・・2重周期的有理関数
===================================