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

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

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

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

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

  (48,120,96,24)

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

  (12,18,8)

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

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

[1]0次元面

48・10−12・40+2・80=160

[2]1次元面

120・10−18・40+1・80=560

[3]2次元面

96・10−8・40+0・80=640

[4]3次元面

24・10−1・40+0・80+1・80=280

[5]4次元面

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

(その157)と一致.

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