■正多胞体の不変量(その86)
  ξ=2mπ/h
  x=cosξ/2=cosmπ/h
 (その18)では,2x=2cosξ/2=yとおいて,
[3^3]→y^4−3y^2+1=0→ξ=2π/5
[3^2,1,1]→y(y^4−4y^2+2)=0→ξ=2π/8
[3^2,2,1]→(y^2−1)(y^4−4y^2+1)=0→ξ=2π/12
[3^3,2,1]→y(y^6−6y^4+9y^2−3)=0→ξ=2π/18
[3^4,2,1]→y^8−7y^6+14y^4−8y^2+1=0→ξ=2π/30
[3^5,2,1]→y(y^4−4)(y^2−1)(y^4−3y^2+1)=0→ξ=2π/0
としたが,y=4x^2とおいた場合は
[3^2,2,1]→(y−1)(y^2−4y+1)=0
[3^3,2,1]→x(y^3−6y^2+9y−3)=0
[3^4,2,1]→y^4−7y^3+14y^2−8y+1=0
となる.このような変数変換の違いはたくさんあって,誤解を招きやすい.
===================================
 もう一度整理しておきたい.
  ξ=2mπ/h
  1=m1≦m2≦・・・≦mn=h−1,mn+1-k=mk
  exp(ξi)=exp(2mπi/h)
=cos(2mπ/h)+isin(2mπ/h)
 ここで,固有方程式
  Π(λ−exp(2mπi/h))=0
  x=λ+λ^-1=2cosξ=4cos^2(ξ/2)−2
  ここで,θ=ξ/2,X=cosθ=cos(ξ/2)とおくと
  x=2cos2θ,x+2=(2X)^2
  Uk-1(x/2)=U2k-1(X)/2X
  Uk(x/2)+Uk-1(x/2)=U2k(X)
  [3^n-1]=Anに対してUn(X)=0
  Tk(x/2)=T2k(X)
  Uk(x/2)−Uk-1(x/2)=T2k+1(X)/X
  [3^n-2,4]=BCnに対してTn(X)=0
  Tk(x/2)+Tk-1(x/2)=2XT2k-1(X)
  [3^n-3,1,1]=Dnに対してXTn(X)=0
===================================