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

 辺中点における正軸体系切頂多面体

  f0=2n(n−1)

  f1=2(n−2)f0

  fn-1=2^n+2n

  fk=2^k+1(n,k+1)+2^k+2(n−k−1)(n,k+1)  (k=2〜n−2)

の頂点回りに集まるn−2次元面を調べてみたい.

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

 n−1次元面は

  {3,3,・・・,4}(10・・・0)

  {3,3,・・・,3}(01・・・0)

であったが,n−2次元面は

  {3,3,・・・,3}(10・・・0)頂点数n−1個

  {3,3,・・・,3}(01・・・0)頂点数(n−1)(n−2)/2

  {3,3,・・・,3}(001・・0)頂点数(n−1)(n−2)(n−3)/6

であると思われる.

  fn-2^(n)=n2^n-1+n2^n

  fk^n-1=2^k+1(n−1,k+1)+2^k+2(n−k−2)(n−1,k+1)

  fn-2^(n-1)=2^n-1+2(n−1)

  fk^n-2=2^k+1(n−2,k+1)+2^k+2(n−k−3)(n−1,k+1)

  fn-3^(n-2)=2^n-2+2(n−2)

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

切頂型では

  fk^(n)=hk^(n)+gk^(n)  (tp+1≦k≦n−1)

tp=1より,

  hn-2^(n)=g0^(n)fn-2^(n-1)−g1^(n)fn-2^(n-2)

=g0^(n)(2^n-1+2(n−1))−g1^(n)

  fn-2^(n)=hn-2^(n)+gn-2^(n)

ここで,gk=2^k+1(n,k+1)

  fn-1^(n)/f0^(n)={g0^(n)(2^n-1+2(n−1))−g1^(n)+gn-1^(n)}/f0^(n)

={2n2^n-1+2n2^n+2n(n−1)+2^n}/2n(n−1)

={x/a+y/b+z/c}

x={2n2^n-1+2n2^n+2n(n−1)+2^n}/2n(n−1)・(n−1)

y={2n2^n-1+2n2^n+2n(n−1)+2^n}/2n(n−1)・(n−1)(n−2)/2

z={2n2^n-1+2n2^n+2n(n−1)+2^n}/2n(n−1)・(n−1)(n−2)(n−3)/6

より,整数にはならないようである.

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