■レムニスケートの幾何学(その32)
sl’(u)^2=1−sl(u)^4
sl”(u)=−sl(u)^3
とおくと,加法定理:任意の実数u,vに対して
sl(u+v)={sl(u)sl’(v)+sl(v)sl’(u)}/{1+sl^2(u)sl^2(v)}
が成り立つ.
複素数に拡張しても成り立つためには
sl(iu)=isl(u),sl’(iu)=sl(u)
sl(z)=sl(u+vi)={sl(u)sl’(iv)+sl(v)sl’(iu)}/{1+sl^2(u)sl^2(vi)}=
={sl(u)sl’(v)+isl(v)sl’(u)}/{1−sl^2(u)sl^2(v)}
sl(iz)=isl(z),sl’(iz)=sl(iz)
と定義する.
このとき,加法定理:任意の複素数u,vに対して
sl(u+v)={sl(u)sl’(v)+sl(v)sl’(u)}/{1+sl^2(u)sl^2(v)}
が成り立つ.
===================================
【1】レムニスケートサインとワイエルシュトラスのペー関数の関係
sl(z)=−2p1(z)/p1’(z)
sl’(z)=(4p1(z)^2−1)/(4p1(z)^2+1)
===================================