■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に分配してよいだろうか?

===================================