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

 t1β4の場合,正解から逆に導くと

[1]0次元面→コクセター図形に{}×{}×{}=(6,12,8,1)ができると考えるが,その点が重複するので,

6・8=48,48/2=24

[2]1次元面→原図形の辺は消失するので

12・8+0・24=96  (OK)

[3]2次元面→コクセター図形にα0={1,0,0)ができると考えると

8・8+0・24+1・32=96  (OK)

[4]3次元面→コクセター図形にα0={1,0)ができると考えると

1・8+0・24+0・32+1・16=24  (OK)

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