■基本単体の二面角(その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となり,(その178)と一致.

  a8=3/2

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