■対蹠点までの距離(その3)

  (その2)の続き。因数分解すると

  1+3x+5x^2+6x^3+5x^4+3x^5+x^6

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

 (1+x)(1+x+x^2)(1+x+x^2+x^3)=0の解は,すべて複素数解で,

  |xi|=1

となる.

 さらに変形すると

 (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

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

[雑感]3次元より高次元を扱う場合の母関数は、

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

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