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

 hγ5でなくβ5として,もうひとつの端点から計算してみることにする.

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

β5のfベクトルは(10,40,80,80,32)

0次元面→コクセター図形にKaleidoscope,p317,t2β4

  (32,96,88,24)

1次元面→コクセター図形にα3(1,0,0)ができる.

  (4,6,4)

2次元面→コクセター図形にα1ができる.(2,1)

3次元面→コクセター図形にα0ができる.(1,0)

[1]0次元面

32・10−4・40=160

[2]1次元面

96・10−6・40=720

[3]2次元面

88・10−4・40+2・80=880

[4]3次元面

24・10−1・40+1・80+1・80=360

[5]4次元面

1・10−0・40+0・80+0・80+1・32=42

(その160)と一致.

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