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

 (その719)において,もし切頂面にhγ5も現れるとしたら,

f5=(x/15+y/40+z/16)f0

126=(x/15+y/40+z/16)・216

32x+12y+30z=126・480/216=280

x+y+z=12

32x+32y+32z=384

20y+2z=104

(x,y,z)=(5,5,2)しかない.

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