■基本単体の二面角(その204)
【1】E6格子の場合
P1(1,0,0,0,0,0,0)
P6(1,1/√3,1/√3,1,0,0)
P6(1,1/√3,0,0,1/√3,1)
が正しいとすると・・・
===================================
R^2=1+1/3+1/3+1
=(3+1+1+3)/3=8/3
ρ^2=1
E6では(R/ρ)^2=8/3なのでOK.
===================================
[まとめ]視点を原点に移したのがよかったが,有限鏡映群でもそうなのだろうか?
===================================