■単純リー環を使った面数数え上げ(その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
===================================