■基本単体の二面角(その202)
【1】E8格子の場合
P1(1,0,0,0,0,0,0,0)
P8(1,1/√3,1/√6,1/√10,1/√15,1/√12,1/2,0)
P8(1,1/√3,1/√6,1/√10,1/√15,1/√12,0,1/3)
が正しいとすると・・・
===================================
R^2=1+1/3+1/6+1/10+1/15+1/12+1/4
=(180+60+30+18+12+15+45)/180
=360/180=2
ρ^2=1
E8では(R/ρ)^2=2なのでOK.
===================================