■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
===================================