■n次元の立方体と直角三角錐(その244)
(その237)(その239)では
f1=Xの辺数×原正多面体の頂点数+Xの頂点数×原正多面体の辺数
としたが,
f1=Xの辺数×原正多面体の頂点数+Xより1次元低い多面体の頂点数×原正多面体の辺数
とすべきであった.そこで,・・・
正単体系において,
[X]=[1,0]・・・頂点数3,辺数3
[X]=[0,1]・・・頂点数3,辺数3
[X]=[1,1]・・・頂点数6,辺数6
正軸体系において,
[X]=[1,0]・・・頂点数4,辺数4
[X]=[0,1]・・・頂点数4,辺数4
[X]=[1,1]・・・頂点数8,辺数8
===================================
【1】f1公式再考
[Y]=[1,X]あるいは[Y]=[0,X]
[Z]=[1,Y]あるいは[Z]=[0,Y]
の場合を2次元準正多面体X,3次元準正多面体Y,4次元準正多胞体Zについて調べてみる.()内は(g0,g1).
[1]4次元正単体系(5,10)
[1,0](3,3)→[1,1,0](12,18)→[1,1,1,0](60,120)では,18×5+3×10=120
[1,0](3,3)→[1,1,0](12,18)→[0,1,1,0](30,60)では,120/2=60
[1,0](3,3)→[0,1,0](6,12)→[1,0,1,0](30,90)では12×5+3×10=90
[1,0](3,3)→[0,1,0](6,12)→[0,0,1,0](10,30)では,90/2=45 (NG)
[0,1](3,3)→[1,0,1](12,24)→[1,1,0,1](60,150)では,24×5+3×10=150
[0,1](3,3)→[1,0,1](12,24)→[0,1,0,1](30,90)では,150/2=75 (NG)
[0,1](3,3)→[0,0,1](4,6)→[1,0,0,1](30,60)では,6×5+3×10=60
[0,1](3,3)→[0,0,1](4,6)→[0,0,0,1](5,10)では,60/2=30 (NG)
[1,1](6,6)→[1,1,1](24,36)→[1,1,1,1](120,240)では,36×5+6×10=240
[1,1](6,6)→[1,1,1](24,36)→[0,1,1,1](60,120)では240/2=120
[1,1](6,6)→[0,1,1](12,18)→[1,0,1,1](60,150)では,18×5+6×10=150
[1,1](6,6)→[0,1,1](12,18)→[0,0,1,1](20,40)では,150/2=75 (NG)
[2]4次元正軸体系(8,24)
[1,0](4,4)→[1,1,0](24,36)→[1,1,1,0](192,384)では,36×8+4×24=384
[1,0](4,4)→[1,1,0](24,36)→[0,1,1,0](96,192)では,384/2=192
[1,0](4,4)→[0,1,0](12,24)→[1,0,1,0](96,288)では,24×8+4×24=288
[1,0](4,4)→[0,1,0](12,24)→[0,0,1,0](32,96)では,288/2=144 (NG)
[0,1](4,4)→[1,0,1](24,48)→[1,1,0,1](192,480)では,48×8+4×24=480
[0,1](4,4)→[1,0,1](24,48)→[0,1,0,1](96,288)では,480/2=240 (NG)
[0,1](4,4)→[0,0,1](8,12)→[1,0,0,1](64,192),12×8+4×24=192
[0,1](4,4)→[0,0,1](8,12)→[0,0,0,1](16,32)では,192/2=96 (NG)
[1,1](8,8)→[1,1,1](48,72)→[1,1,1,1](384,768)では,72×8+8×24=768
[1,1](8,8)→[1,1,1](48,72)→[0,1,1,1](192,384)では,768/2=384
[1,1](8,8)→[0,1,1](24,36)→[1,0,1,1](192,480)では,36×8+8×24=480
[1,1](8,8)→[0,1,1](24,36)→[0,0,1,1](64,128)では,480/2=240 (NG)
===================================
【2】f1公式再考
[Y]=[X,1]あるいは[Y]=[X,0]
[Z]=[Y,1]あるいは[Z]=[Y,0]
の場合を2次元準正多面体X,3次元準正多面体Y,4次元準正多胞体Zについて調べてみる.()内は(g0,g1).
[1]4次元正単体系(5,10)
[1,0](3,3)→[1,0,1](12,24)→[1,0,1,1](60,150)では,24×5+3×10=150
[1,0](3,3)→[1,0,1](12,24)→[1,0,1,0](30,90)では,150/2=75 (NG)
[1,0](3,3)→[1,0,0](4,6)→[1,0,0,1](20,60)では6×5+3×10=60
[1,0](3,3)→[1,0,0](4,6)→[1,0,0,0](5,10)では,60/2=30 (NG)
[0,1](3,3)→[0,1,1](12,18)→[0,1,1,1](60,120)では,18×5+3×10=120
[0,1](3,3)→[0,1,1](12,18)→[0,1,1,0](30,60)では,120/2=60
[0,1](3,3)→[0,1,0](6,12)→[0,1,0,1](30,90)では,12×5+3×10=90
[0,1](3,3)→[0,1,0](6,12)→[0,1,0,0](10,30)では,90/2=45 (NG)
[1,1](6,6)→[1,1,1](24,36)→[1,1,1,1](120,240)では,36×5+6×10=240
[1,1](6,6)→[1,1,1](24,36)→[1,1,1,0](60,120)では240/2=120
[1,1](6,6)→[1,1,0](12,18)→[1,1,0,1](60,150)では,18×5+6×10=150
[1,1](6,6)→[1,1,0](12,18)→[1,1,0,0](20,40)では,150/2=75 (NG)
[2]4次元正軸体系(8,24)
[1,0](4,4)→[1,0,1](24,48)→[1,0,1,1](192,480)では,48×8+4×24=480
[1,0](4,4)→[1,0,1](24,48)→[1,0,1,0](96,288)では,480/2=240 (NG)
[1,0](4,4)→[1,0,0](6,12)→[1,0,0,1](64,192)では,12×8+4×24=192
[1,0](4,4)→[1,0,0](6,12)→[1,0,0,0](8,24)では,192/2=96 (NG)
[0,1](4,4)→[0,1,1](24,36)→[0,1,1,1](192,384)では,36×8+4×24=384
[0,1](4,4)→[0,1,1](24,36)→[0,1,1,0](96,192)では,384/2=192
[0,1](4,4)→[0,1,0](12,24)→[0,1,0,1](96,288)では,24×8+4×24=288
[0,1](4,4)→[0,1,0](12,24)→[0,1,0,0](24,96)では,288/2=144 (NG)
[1,1](8,8)→[1,1,1](48,72)→[1,1,1,1](384,768)では,72×8+8×24=768
[1,1](8,8)→[1,1,1](48,72)→[1,1,1,0](192,384),768/2=384
[1,1](8,8)→[1,1,0](24,36)→[0,1,1,1](192,384)では,36×8+8×24=480 (NG)
[1,1](8,8)→[1,1,0](24,36)→[0,1,1,0](96,192)では,480/2=240 (NG)
===================================
この場合も,外れる多面体のワイソフ構成は正単体系と正軸体系でほぼ一致しているのは偶然ではなさそうだ.例外はあるにせよ,考え方はほぼ正しいことが確認されたわけである.
===================================