■置換多面体の空間充填性(その281)
(その279)では頂点に集まるファセット数+1しかありえないかもと思ったのであるが,+2もあり得るようだ.
n次元正軸体において,k次元胞に接する(それを含む)m次元胞(m>m>k)は,2項係数を使って,
2^m-k(n−1−k,m−k)
である.(この手は正24胞体には使えないが・・・)
4次元正16胞体の頂点にはn=4,m=3,k=0とおいて,
2^3(3,3)=8
個の3次元面(正四面体)が集まる.
f3=x/4・f0=16,f0=8→x=8
一方,正24胞体の頂点には6個の3次元面が集まる.
f3=6/6・f0=24
===================================
[1]正16胞体
{3,3,4}(1,0,0,0)
f3=(0/1+0/2+0/3+8/4)f0=(8)+(24)+(32)+16=16
1は{3,4}(0,0,0)の頂点数=1
2は{4}(0,0)×{}(1)の頂点数=1×2=2
3は{}(0)×{3}(1,0)の頂点数=1×3=3
4は{3,3}(1,0,0)の頂点数=4
===================================
[4]正24胞体
{3,4,3}(1,0,0,0)
f3=(0/1+0/2+0/3+6/6)f0=(24)+(96)+(96)+24=24
1は{4,3}(0,0,0)の頂点数
2は{3}(0,0)×{}(1)の頂点数=1×2=2
3は{}(0)×{3}(1,0)の頂点数=1×3=3
6は{3,4}(1,0,0)の頂点数の頂点数=6
===================================