■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に一致した.
===================================