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