■完全グラフと同色の三角形(その14)

 (その8)に誤りがあったので訂正しておきたい.

 n次元正単体,正軸体,超立方体のk次元胞の数を表す公式は古くから知られており,Coxeter, Regular Polytopesにも表がついています.

[1]n次元正単体は(n+1)個の点からなる完全グラフとみなすことができ,k次元胞の数はfk=(n+1,k+1)です.

  Σfkx^k={(1+x)^n+1−1}/x

[2]n次元正軸体については,母関数が

  Σfkx^k=x^n+{(1+2x)^n−1}/x

という形になります.すなわち,fk=2^(k+1)(n,k+1)です.

[3]n次元超立方体はこの双対で,母関数が

  Σfkx^k=(2+x)^n

という形になります.すなわち,fk=2^(n-k)(n,k)です.

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

 これにより,(その9)[2]3^n−1胞体は

  Σfkx^k=x^n+{(1+2x)^n−1}/x

に1を代入すると,3^n.さらにfn=1を引くと

  3^n−1

となって,

  Σfkx^k=(2+x)^n

に1を代入すると,3^n.さらにfn=1を引くと

  3^n−1

と一致する.

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