■ファニャーノのレムニスケート等分公式(その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重周期的有理関数

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