■基本単体の二面角(その190)
(その184)も無限鏡映群に対するものであるが,
E7では(R/ρ)^2=3
α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+a7^2
=1+1/3+1/6+1/10+1/15+2/6+b7^2
ρ^2=b7^2
1+1/3+1/6+1/10+1/15=(30+10+5+3+2)/=5/3
R^2=5/3+1/3+b7^2=5/3+1/21+a7^2
ρ^2=b7^2
(2+b8^2)/b7^2=3→b7=1
1/21+a7^2=1/3+1
a7^2=27/21=9/7→a7=3/√7
は以下の結果とも食い違っている.
===================================
E7~について
(0,0,0,0,0,0,0)
(1,0,0,0,0,0,0)
(1,1/√3,0,0,0,0,0)
(1,1/√3,1/√6,0,0,0,0)
(1,1/√3,1/√6,1/√6,0,0,0)
(1,1/√3,1/√6,1/√6,1/√3,0,0)
(1,1/√3,1/√6,1/√6,1/√3,1,0)
(1,1/√3,1/√6,0,0,0,1/2)
は331
===================================