■対蹠点までの距離(その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)・・・
===================================