■ポアンカレ多項式のチェビシェフ多項式表示(その6)

 x^n-1の因数分解が,nの約数dを使って次のように書かれることを考えます.

  x-1=Φ1(x)

  x^2-1=Φ1(x)Φ2(x)

  x^3-1=Φ1(x)Φ3(x)

  x^4-1=Φ1(x)Φ2(x)Φ4(x)

  x^5-1=Φ1(x)Φ5(x)

  x^6-1=Φ1(x)Φ2(x)Φ3(x)Φ6(x)

  ・・・・・・・・・・・・・・・・・・・・・・・

  x^18-1=Φ1(x)Φ2(x)Φ3(x)Φ6(x)Φ9(x)Φ18(x)

  x^36-1=Φ1(x)Φ2(x)Φ3(x)Φ4(x)Φ6(x)Φ9(x)Φ12(x)Φ18(x)Φ36(x)

 すると,円分多項式は

  Φ1(x)=x-1

  Φ2(x)=x+1

  Φ3(x)=x^2+x+1

  Φ4(x)=x^2+1

  Φ5(x)=x^4+x^3+x^2+x+1

  Φ6(x)=x^2-x+1

  Φ7(x)=x^6+x^5+x^4+x^3+x^2+x+1x-1

  Φ8(x)=x^4+1

  Φ9(x)=x^6+x^3+1

  Φ12(x)=x^4-x^2+1

  Φ15(x)=x^8-x^7+x^5-x^4+x^3-x+1

  Φ16(x)=x^8+1

  Φ18(x)=x^6-x^3+1

  Φ24(x)=x^8-x^4+1

  Φ36(x)=x^12-x^6+1

と定まります.

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

【1】円分多項式の解

[1]Φ1(x)=x-1=0

  x=1

[2]Φ2(x)=x+1=0

  x=-1

[3]Φ3(x)=x^2+x+1=0

  x=(-1±i√3)/2=ω,ω^2

[4]Φ4(x)=x^2+1=0

  x=±i

[5]Φ6(x)=x^2-x+1=0

  x=(1±i√3)/2

[6]Φ5(x)=x^4+x^3+x^2+x+1=0

 ガウス平面で正5角形の頂点を表す4次方程式

  x^4+x^3+x^2+x+1=0

の両辺をx^2でわり,

  x^2+x+1+1/x+1/x^2=0  (相反方程式)

  y=x+1/x=2cos(2π/5)

と変数変換すると2次方程式

  y^2+y-1=0

に帰着され,

  y=(√5-1)/2=2cos(2π/5)

  cos(2π/5)=(√5-1)/4

が得られる.

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