■基本単体の二面角(その191)
(その185)も無限鏡映群に対するものであるが,
E6では(R/ρ)^2=8/3
R^2=1+1/3+1/6+1/10+1/15+a6^2
=1+1/3+1/6+1/10+2/5+b6^2
ρ^2=b6^2
1+1/3+1/6+1/10=(30+10+5+3)/30=8/5
R^2=8/5+2/5+b6^2=8/5+1/15+a6^2
ρ^2=b6^2
(2+b6^2)/b6^2=8/3→b6^2=6/5
1/15+a6^2=2/5+6/5=8/5
a6^2=23/15→a6=√(23/15)
は以下の結果とも食い違っている.
===================================
E6~について
P0(0,0,0,0,0,0)
P1(1,0,0,0,0,0)
P2(1,1/√3,0,0,0,0)
P3(1,1/√3,1/√3,0,0,0)
P4(1,1/√3,1/√3,1,0,0)
P5(1,1/√3,0,0,1/√3,0)
P6(1,1/√3,0,0,1/√3,1)
は222
===================================