■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)

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