■DE群多面体の面数公式(その835)
[1]421
N0=x/8・9!=240,x=1920・9!
N1=x/2・72・6!=6720
N2=x/6・2^4・5!=60480(α2)
N3=x/24・5!=241920(α3)
N4=x/5!・6・2=483840(α4)
N5=x/6!・2=483840(α5)
N6=x/7!・2+x/7!=69120(α6)+138240(α6)
N7=x/8!+x/2^6・7!=17280(α7)+2160(β7)
N0+N2+N4+N6=N1+N3+N5+N7=751920
421の頂点図形は321=E7
(56,756,4032,10080,12096,2016(α5)+4032(α5),576(α6)+126(β6))
421の各頂点に連結する辺は56本
したがって,421の辺数は240・(56/2)=6720 (OK)
421の各頂点に連結する面は756
したがって,421の面数は240・(756/3)=60480 (OK)
421の各頂点に連結する3次元面は4032
したがって,321の面数は240・(4032/4)=241920 (OK)
421の各頂点に連結する4次元面は10080
したがって,421の面数は240・(10080/5)=483840 (OK)
421の各頂点に連結する5次元面は12096
したがって,421の面数は240・(12096/6)=483840 (OK)
421の各頂点に連結する6次元面は2016+4032
したがって,421の面数は240・(6048/7)=207360 (OK)
421の各頂点に連結する421の7次元面は126個の411=β7と576個の420=α7
240・(126/14+576/8)=2160+17280 (OK)
===================================
[2]241
241の頂点数は2160,頂点図形はhγ7
(64,672,2240,2800,1344+280,448+84,64+14)
したがって,241の各頂点に連結する辺は64本
辺数は2160・(64/2)=69120
241の各頂点に連結する面は672
面数は2160・(672/3)=483840
241の各頂点に連結する3次元面は2240
面数は2160・(2240/4)=1209600
241の各頂点に連結する241の7次元面は,141のファセットが64+14であることから14個の231=E7,64個の240=α7に属する.
2160・(14/126+64/8)=240+17280
===================================
14個の231=E7,64個の240=α6から生じる6次元面は
230=α6,221=E6,230=α5である.したがって,
241の各頂点に連結する241の6次元面は,141のファセット(−1)が448+84であることから84個の221,448個の230=α6に属する.
2160・(84/27+448/7)=6720+138240
230=α6,221=E6から生じる5次元面は1344個の220=α5と280個の211=β5.したがって,241の各頂点に連結する5次元面は
2160・(280/10+1344/6)=60480+483840
α5とβ5から生じる4次元面は2800個のα4,241の各頂点に連結する4次元面は
2160・(2800/5)=1209600
===================================
[3]142
142の頂点数は17280,頂点図形は042=t2α7
(56,420,840,770,392,112,16)
(56,420,840,280+490,224+168,28+56+28,8+8)
ファセット132は240個=|E8|/|E7|
ファセット141=hγ7は2160個=|E8|/|D7|
21・8−6・28+1・56=56
105・8−15・28+0・56=420
175・8−20・28+0・56=840
140・8−15・28+0・56+1・70=770
63・8−6・28+0・56+0・70+1・56=392
14・8−1・28+0・56+0・70+0・56+1・28=112
1・8−0・28+0・56+0・70+0・56+0・28+1・8=16
{3,3,3,3,3,3}(0,0,1,0,0,0,0)
{3,3,3,3,3}(0,1,0,0,0,0)
{3,3,3,3}(1,0,0,0,0)×{}(0)
{3,3,3}(0,0,0,0)×{3}(0,0)
{3,3}(0,0,0)×{3,3}(0,0,1)
{3}(0,0)×{3,3,3}(0,0,1,0)
{}(0)×{3,3,3,3}(0,0,1,0,0)
×{3,3,3,3,3}(0,0,1,0,0,0)
6次元面は
{3,3,3,3,3}(0,1,0,0,0,0):{3,3,3,3,3}(0,0,1,0,0,0)=8:8
5次元面は
{3,3,3,3,3}(0,1,0,0,0,0)から派生するもの
{3,3,3,3}(1,0,0,0,0)
{3,3,3,3}(0,1,0,0,0)
{3,3,3,3,3}(0,0,1,0,0,0)から派生するもの
{3,3,3,3}(0,1,0,0,0)
{3,3,3,3}(0,0,1,0,0)→1:2:1
5次元面はそれらから派生するので,
{3,3,3}(1,0,0,0)
{3,3,3}(1,0,0,0)
{3,3,3}(0,1,0,0)
{3,3,3}(1,0,0,0)
{3,3,3}(0,1,0,0)
{3,3,3}(0,1,0,0)
{3,3,3}(0,0,1,0)→4:3
4次元面はそれらから派生するので,
{3,3}(1,0,0)
{3,3}(1,0,0)
{3,3}(1,0,0)
{3,3}(0,1,0)
{3,3}(1,0,0)
{3,3}(1,0,0)
{3,3}(0,1,0)
{3,3}(1,0,0)
{3,3}(0,1,0)
{3,3}(0,1,0)
{3,3}(0,0,1)→7:4
===================================
132の各頂点に連結する辺は56本
したがって,132の辺数は17280・(56/2)=483840
132の各頂点に連結する面は420
したがって,132の面数は17280・(420/3)=2419200
132の各頂点に連結する3次元面は840
したがって,321の面数は17280・(840/4)=3628800
===================================
142の各頂点に連結する142の7次元面は240個の132と2160個の141=hγ7
17280・(x/576+y/64)=240+2160=2400
x+y=16,x=8,y=8
142の各頂点に連結する142の6次元面は
122と131=hγ6,131=hγ6,140=α6
17280・(x/72+y/32+z/7)
x+y+z=112,x=28,y=56,z=28
17280・(x/72+y/32+z/7)=6720+30240+69120
142の各頂点に連結する142の5次元面は
121=hγ5,130=α5 → (訂正)
17280・(x/16+y/6)
x+y=392,x=224,y=168
17280・(x/16+y/6)=241920+483840
142の各頂点に連結する142の4次元面は
111=hγ4と120=α4
17280・(x/8+y/5)=N
x+y=770,x=280,y=490
17280・(x/8+y/5)=604800+1693440
===================================