■DE群多面体の面数公式(その590)
[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のファセットは
411=|E8|/|D7|=2160
420=|E8|/|A7|=17280
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)
===================================
421の各頂点に連結する6次元面は2016α6+4032α6
したがって,421の面数は240・(2016/7+4032/7)=207360 (OK)
前者より各頂点に連結する421の5次元面α5は6・2016個
後者より各頂点に連結する421の5次元面α4は6・4032個
12096を単純に4032+8064に分配してよいだろうか?
前者より各頂点に連結する421の4次元面α5は5・4032個
後者より各頂点に連結する421の4次元面α4は5・8064個
10080を単純に3360+6720に分配してよいだろうか?
===================================