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

 β4の場合は2重節点より開始.

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

1・8=8

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

0・8+1・24=24

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

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

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

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

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

 t1β4の場合,・・・

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

6・8−1・24=24  (OK)

[2]1次元面→コクセター図形は{}=(1,0)ができる

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

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

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

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

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

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