■ABCからDEへ(その414)
(その413)の続き.
[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)
は正しいと思われる.
===================================