■レムニスケート積分(その3)
さらに,ファニャーノは倍角公式,4倍角公式によって得られるものに置き換えて,レムニスケートの四半弧の3等分あるいは5等分を与える代数方程式を導いています.
===================================
【1】レムニスケートサインのn倍角公式
レムニスケートサインの加法定理
sl(u+v)=(sl(u)sl'(v)+sl(v)sl'(u))/(1+sl^2(u)sl^2(v))
より,
sl(2u)=2sl(u)sl'(u)/(1+sl^4(u))
sl(3u)=(sl(2u)sl'(u)+sl(u)sl'(2u))/(1+sl^2(2u)sl^2(u))
sl(4u)=(sl(3u)sl'(u)+sl(u)sl'(3u))/(1+sl^2(3u)sl^2(u))
sl(5u)=(sl(4u)sl'(u)+sl(u)sl'(4u))/(1+sl^2(4u)sl^2(u))
sl(6u)=(sl(5u)sl'(u)+sl(u)sl'(5u))/(1+sl^2(5u)sl^2(u))
また,
sl'(u)=(1-sl^4(u))^1/2
sl'(2u)=(1-sl^4(2u))^1/2
sl'(3u)=(1-sl^4(3u))^1/2
sl'(4u)=(1-sl^4(4u))^1/2
sl'(5u)=(1-sl^4(5u))^1/2
を用いて,sl(u)の関数として表すと
sl(2u)=2sl(u)(1-sl^4(u))^1/2/(1+sl^4(u))
などが得られます.
===================================
【2】レムニスケートのn等分と次数n^2の方程式
しかし,sl(nu),n≧3をsl(u)の関数として表すことは大層複雑であって,次数n^2の方程式が登場する.
たとえば,s=sl(2ω/5)とおくと,sl(5u)の乗法公式により,sは
(5−2s^4+s^8)(1−12s^4−26s^8+52s^12+s^16)=0,
すなわち,24次方程式の根になるが,因数(s−1)で割り切れることを考慮すると25次方程式が得られるというわけである.
===================================