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

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

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

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

0次元面→コクセター図形にKaleidoscope,p295,t1,2β4

  (96,192,120,24)

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

  (12,18,8)

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

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

[1]0次元面

96・10−12・40=480

[2]1次元面

192・10−18・40=1200

[3]2次元面

120・10−8・40+2・80=1040

[4]3次元面

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

[5]4次元面

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

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

480−1200+1040−360+42=2

NGと思いきや(その594)と一致した.→これは正しい.

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