■基本単体の二面角(その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

となることと符合する.

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