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

【1】hγnの場合(外接球をもつと仮定している)

 R=√n

 ρ=√n/n=1/√n(切断面の中心までの距離)

【2】Dn格子の場合(内接球をもつと仮定している)

  P1(1,0,0,0,0,0,0,・・・)

  Pn(1,0,1/√2,・・・,1/√2,1,0)

  Pn(1,0,1/√2,・・・,1/√2,0,1)

  Pn(0,1,1/√2,・・・,1/√2,1,0)

  Pn(0,1,1/√2,・・・,1/√2,0,1)

が正しいとすると・・・

 R^2=1+1/2+・・+1/2+1

=(n−4)/2+2=n/2

 ρ^2=1

 Dnでは(R/ρ)^2=n/2なのでOK.

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