■置換多面体の空間充填性(その228)

 正単体切頂型ペトリー多面体ではtp=0とおくことはできない.

  hk^(n)=Σ(j=0~tp)(-1)^jgj^(n)fk^(n-1ーj)

  f0^(n)=Σ(j=0~tp)(-1)^jgj^(n)f0^(n-1ーj)

ファセット数を得るために,k=n−1とおくと,

  hn-1^(n)=Σ(j=0~tp)(-1)^jgj^(n)fn-1^(n-1ーj)

切頂型では

  fn-1^(n)=Σ(j=0~tp)(-1)^jgj^(n)fn-1^(n-1ーj)+gn-1^(n)

 正単体切頂型ペトリー多面体では

  gk^(n)=(n+1,k+1)=(n+1)!/(k+1)!(n−k)!

であるから,

  g0^(n)=(n+1,1)=n+1

  g1^(n)=(n+1,2)=(n+1)n/2=g0^(n)・n/2

  g2^(n)=(n+1,3)=(n+1)n(n−1)/6=g0^(n)・n(n−1)/6

  gn-1^(n)=(n+1,n)=n+1

であるから,

  fn-1^(n)/f0^(n)={g0^(n)f(n-1)^(n-1)−g1^(n)f(n-1)^(n-2)+・・・+(-1)^tpgtp^(n)fn-1^(n-1ーtp)+gn-1^(n)}/{Σ(j=0~tp)(-1)^jgj^(n)f0^(n-1ーj)}

 一方,頂点回りのファセットは

  切頂面・・・頂点数(n+1,tp+1)=a

  n−1次元面・・・頂点数(n+1,fp+1)=b

となる.

 ここで,

  fn-1^(n)/f0^(n)={x/a+y/b}

とおくことができる.

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

[まとめ]いま得られているファセットに関する結果を得るだけでも難しい.(その225)はnの偶奇によって最終的に正六角形が関係してくるかこないかという違いはわかるにしても,肝心の重複の仕方について何も教えてくれない.

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