■基本単体の二面角(その201)

【1】E8格子の場合

  P7(1,1/√3,1/√6,1/√10,1/√15,1/√12,1/2,0)

  P7(1,1/√3,1/√6,1/√10,1/√15,0,0,1/3)

  P8(1,1/√3,1/√6,1/√10,1/√15,1/√12,1/2,1/3)

が正しいとすると・・・

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

 R^2=1+1/3+1/6+1/10+1/15+1/12+1/4+1/9

=(180+60+30+18+12+15+45+20)/180

=380/180

 ρ^2=1/4

 E8では(R/ρ)^2=2なので食い違っている.

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