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

 t2β4の場合,二重節点から始めない.

t2β4=(32,96,88,24)である.また,

hγ4=β4=(8,24,32,16)

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

12・8−4・24+1・32=32  (OK)

[2]1次元面→コクセター図形は二重節点×2=(4,4,1,0)ができる

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

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

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

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

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

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

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

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

12・8=96

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

24・8+4・24=288

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

14・8+4・24+1・32=240

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

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

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