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

 t0,1β4に二重節点を1個付けてみたい.

[1]0次元面→コクセター図形にα3(110)=(12,18,8)ができる

12・8=96

[2]1次元面→コクセター図形にα1=(2,1)ができる

18・8+2・24=192

[3]2次元面→コクセター図形は{}={1,0)

8・8+1・24+1・32=120

[4]3次元面→コクセター図形は{}={1,0)

1・8+0・24+0・32+1・16=24

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

[まとめ]t1,2β4に一致した.

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