■基本単体の二面角(その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.

===================================