■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.
===================================