■等面単体の体積(その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)であって,等面単体ではない.

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