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