■基本単体の二面角(その189)

 混乱の原因は,同じ記号を使ってコクセターは有限鏡映群,コンウェイは無限鏡映群を扱っているからである.

 (その183)も無限鏡映群に対するものであるが,

 E8では(R/ρ)^2=2

 αn:aj=(2/j(j+1))^1/2,an=?

 βn:bj=(2/j(j+1))^1/2,bn-1=√2/(n−1),bn=?

 R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+a8^2

=1+1/3+1/6+1/10+1/15+1/21+2/7+b8^2

 ρ^2=b8^2

 R^2=12/7+2/7+b8^2=12/7+1/28+a8^2

 ρ^2=b8^2

 (2+b8^2)/b8^2=2→b8=√2,a8=3/2

は以下の結果とも食い違っている.

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

 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)

は521

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