■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)と一致した.→これは正しい.
===================================