■基本単体の二面角(その82)
E8~について
(0,0,0,0,0,0,0,0)
(1,0,0,0,0,0,0,0)
(1,1/√3,0,0,0,0,0,0)
(1,1/√3,1/√6,0,0,0,0,0)
(1,1/√3,1/√6,1/√10,0,0,0,0)
(1,1/√3,1/√6,1/√10,1/√15,0,0,0)
(1,1/√3,1/√6,1/√10,1/√15,1/√12,0,0)
(1,1/√3,1/√6,1/√10,1/√15,1/√12,1/2,0)
(1,1/√3,1/√6,1/√10,1/√15,0,0,1/3)
ならば,E8~の最長辺の平方和は
1+1/3+1/6+1/10+1/15+1/12+1/4=2
となることと符合する.
===================================