■置換多面体の空間充填性(その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
より,整数にはならないようである.
===================================