■DE群多面体の面数公式(その777)
もしファセットが3種類だとしたらhγ5(頂点数16),α5(頂点数6)のほかに,もう1種類(頂点数80).
さらに,α4×α1(頂点数10)が加わる.
f5=(x/16+y/6+z/80+w/10)・f0
x/16+y/6+z/80+w/10=342/432
270x+720y+54z+432w=3420
x+y+z+w=12
720x+720y+720z+720w=8640
450x+666z+288w=5220
(x,z,w)=(1,z,w)
666z+288w=4770・・・6で割れないのでNG
(x,z,w)=(2,z,w)
666z+288w=4320・・・6で割れる
37z+16w=240
(x,z,w)=(4,z,w)
666z+288w=2520・・・6で割れる
37z+16w=140
(x,z,w)=(6,z,w)
666z+288w=1620・・・6で割れる
37z+16w=90,z=2,w=1,x=6,y=3 (OK)
===================================