■正多胞体のポアンカレ多項式(その3)

 n次方程式:λ^n+λ^n-1+・・・+λ+1=0

の解は,すべて複素数解で,

  |λi|=1

である.したがって,ポアンカレ方程式

 (1+x)=0

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

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

の解も,すべて複素数解で,

  |xi|=1

となる.

 (1+x)(1−x)=1−x^2

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

 (1+x)(1−x)(1+x+x^2)(1−x)(1+x+x^2+x^3)(1−x)=(1−x^2)(1−x^3)(1−x^4)

 ポアンカレ級数の母関数は

(1−x^2)(1−x^3)(1−x^4)/(1−x)^3

であるから,無限ポアンカレ級数を考えると,その母関数は

1/(1−x)^n=(1+x)(1+x+x^2)(1+x+x^2+x^3)・・・

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

 ここではx→−xとしたものもポアンカレ多項式と呼ぶことにする.

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

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

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

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