■等面単体の体積(その191)
[Q](2,√3,√3)の展開図は平面を充填するが,その高次元版ではどうか?
[A]n=4のとき
P0P1=P1P2=P2P3=P3P4=2
P0P2=P1P3=P2P4=√6
P0P3=P1P4=√6
P0P4=2
展開図に現れるこのファセットP1P2P3P4(3次元単体)が空間充填図形であることが,その必要条件となる.
P1P2=P2P3=P3P4=2
P1P3=P2P4=√6
P1P4=√6
これは2面が(2,2,√6),2面が(2,√6,√6)であって,等面単体ではない.
===================================