■基本単体の二面角(その203)
【1】E7格子の場合
P1(1,0,0,0,0,0,0)
P7(1,1/√3,1/√6,1/√6,1/√3,1,0)
P7(1,1/√3,1/√6,1/√6,1/√3,0,1/2)
が正しいとすると・・・
===================================
R^2=1+1/3+1/6+1/6+1/3+1
=(6+2+1+1+2+6)/6=3
ρ^2=1
E7では(R/ρ)^2=3なのでOK.
===================================