■正多胞体の不変量(その62)

  θ=π/5,5θ=πのとき、

  cos(2θ+3θ)=−1

  cos(3θ)=cos(π−2θ)=−cos(2θ)

  4cos^3θ−3cosθ=2cos^2θ−1

  4x3−2x^2−3x+1=0→T3(x)=-T2(x)と同値

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

Tn(cosθ)=cosnθ、Un(cosθ)=sin(n+1)θ/sinθ

X=cosθとおくと

Tn(X)=cosnθ、Un(X)=sin(n+1)θ/sinθ

x=2cos(2θ)とおくと

x=4cos^2θ-2

√(x+2)=2X

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

n=k,θ=2φとすると

Tk(cos2φ)=cos2kφ

x=2cos2φとすると

Tk(x/2)=cos2kφ=T2k(X)

n=k-1,θ=2φとすると

Tk-1(cos2φ)=cos(2k-2)φ

x=2cos2φとすると

Tk-1(x/2)=cos2(k-1)φ=T2(k-1)(X)

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

Tk(x/2)+Tk-1(x/2)={cos(2k)φ+cos(2k-2)φ}

=2cos(2k-1)φcosφ

=2XT2k-1(x)

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

Uk(x/2)-Uk-1(x/2)={sin(2k+2)φ-sin2kφ}/sin2φ

=2cos(2k+1)φsinφ/sin2φ

=cos(2k+1)φ/cosφ=T2k+1(X)/X

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

Tn(X)=0

n=evenのとき、Tk(x/2)=T2k(X)、n=2kより、

Tn/2(x/2)=0

n=oddのとき、Uk(x/2)-Uk-1(x/2)=T2k+1(X)/X,n=2k+1より、

U(n-1)/2(x/2)-U(n-3)/2(x/2)=0

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

XTn-1(X)=0のとき、偶奇が入れ替わっていて

n-1=oddのとき、Tk(x/2)=T2k(X)、n-1=2kより、

T(n-1)/2(x/2)=0

n-1=oddのとき、Tk(x/2)+Tk-1(x/2)=2XT2k-1(x),n=2kより

Tn/2(x/2)+Tn/2-1(x/2)=0

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