■レムニスケートの等分点とテータ関数(その22)

 sl(nu),n≧3をsl(u)の関数として表すことは大層複雑である.

  sl(nu)=0

を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次方程式が得られるというわけであるが,この理由がわからない.

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

【1】レムニスケートのn等分と次数n^2の方程式

 理由が知りたいところであるが,

http://www.juen.ac.jp/math/nakagawa/ellfunc.pdf

に解答が書かれてあった.

 たとえば,3倍角の公式

  sl(3u)=sl(u)(3−6sl^4(u)−sl^8(u))/(1+6sl^4(u)−3sl^8(u))

 u=2ω/3)とおくと,sl(3u)=0であるから,

  3−6sl^4(u)−sl^8(u)=0

を満たす.この方程式の実根は

  sl(u)=(2√3−3)^1/4

である.

 一般に

[1]nが奇数のとき

  sl(nu)=sl(u)Pn(sl^4(u))/Qn(sl^4(u))

  Qn+1(x)=Qn-1(x){Qn(x)^2+xPn(x)^2}

  Pn+1(x)=2Pn(x)Qn(x)Qn-1(x)−Pn-1(x){Qn(x)^2+xPn(x)^2}

[2]nが偶数のとき

  sl(nu)=sl(u)sl’(u)Pn(sl^4(u))/Qn(sl^4(u))

  Qn+1(x)=Qn-1(x){Qn(x)^2+x(1−x)Pn(x)^2}

  Pn+1(x)=2(1−x)Pn(x)Qn(x)Qn-1(x)−Pn-1(x){Qn(x)^2+x(1−x)Pn(x)^2}

 さらに,Qn(0)=1が成り立つ.

 これより,

  P4(x)=4(1+x)(1−6x+x^2)

  P5(x)=(5−2x+x^2)(1−12x−26x^2+52x^3+x^4)

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

【2】雑感

  (5−2s^4+s^8)(1−12s^4−26s^8+52s^12+s^16)=0は,こういうことだったのである.これでn>5についても,方程式の次数が分かるのでガウスの主張の是非がたやすく確かめられたことになる.

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