■DE群多面体の面数公式(その119)
142の頂点数は17280,頂点図形は042=t2α7
(56,420,840,770,392,112,16)
ファセット132は240個=|E8|/|E7|
ファセット141=hγ7は2160個=|E8|/|D7|
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
あるいは
x+y+z=112,x=56,y=28,z=28
17280・(x/72+y/32+z/7)=13440+15120+69120
142の各頂点に連結する142の5次元面は
121=hγ5,130=α4
17280・(x/16+y/5)
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
===================================
17280−483840+2419200−3628800=−1676160
604800+1693440=2298240
−(241920+483840)=−725760
−2400
6720+30240+69120=106080
あるいは13440+15120+69120=97680
106080をとるとΣN=0
===================================