■DE群多面体の面数公式(その781)

 (その779)の続き.

[5]2430=(x/20+y/5+z/8)・432

2x+8y+5z=2430/432・40=225

x+y+z=45

2x+2y+2z=90

6y+3z=135

2y+z=45・・・一意には決まらないが,解をもつ.

[6]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・・・(その777)で検討済み.

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

 Wythoff's constructon for uniform polytopes, p49の局所幾何は

(1,15,60,80,45,12,1)

 大域幾何は

(432,3240,7920,7200,2430,342)

は正しいと思われる.

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