■単純リー環を使った面数数え上げ(その128)

 切頂八面体の体積を3通りの方法で計算してみたい.

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

[1]{3,3}(111)として

 これは置換多面体の項にあるように

  V1=1,V2=3√3/2,V3=8√2,V4=125√5/4

より

  V3=8√2

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[2]空間充填2^n+2n面体として

 1辺の長さを1に規格化すると

nが奇数→x=√2→

  vol(P)=1/2・(2x)^n=1/2・(2)^3n/2=2^3n/2-1

nが偶数→x=1/√2→

  vol(P)=1/2・(2x)^n=1/2・(2)^n/2=2^n/2-1

 したがって,

  2^3n/2-1=2^7/2=8√2

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[3]整数多面体{3,4}(110)として

 n=3のとき

  k=0→H0=2/√2

  k=1→H1=3/2

  k=2→H2=√3/√2

 正フラッグは{4}(10)→正方形(体積1)=V2

 負フラッグは{3}(11)→正六角形(体積3√3/2)=Λ2

  V3=ΣbjNjHj/n・Vn-j-1Λj

=b0N0H0/3・V2Λ0+b1N1H1/3・V1Λ1+b2N2H2/3・V0Λ2

  b0=1,b1=0,b2=1

  N0=6,N1=12,N2=8

より,

  V3=(6・2/√2+8・√3/√2・3√3/2)/3

=(4/√2+8・1/√2・3/2)=16/√2=8√2

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