■DE群多面体の面数公式(その28)

【1】421

 「万華鏡」p346より,421の頂点は

  (±2,0,0,0,0,0,0,)とその置換

  (±1;0,0,0,±1,±1,0,±1)の巡回置換

  (0;±1,±1,±1,0,0,±1,0)と巡回置換

たとえば

  (0;±1,±1,0,0,±1,0,±1)

  (0;±1,0,0,±1,0,±1,±1)

  (0;0,0,±1,0,±1,±1,±1)

  (0;0,±1,0,±1,±1,±1,0)

  (0;±1,0,±1,±1,±1,0,0)

  (0;0,±1,±1,±1,0,0,±1)

 (外接球をもつと仮定している)

 したがって,半径^2は2^2=4→2

 頂点間距離^2=4→2

 頂点間距離が2のとき,半径は2

 R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+a8^2=4

=1+1/3+1/6+1/10+1/15+1/21+2/7+b8^2

 R^2=12/7+2/7+b8^2=12/7+1/28+a8^2=4

 a8^2=(112−48−1)/28=9/4

 b8^2=(28−12−2)/7=2=ρ^2

 (R/ρ)^2=2

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

【2】521

  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,0,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.

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