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