面数や体積の計算が可能と思われる高次元準正多面体には
[1]2^n+2n面体
[2]2(2^n−1)面体(置換多面体)
[3]3^n−1面体
がある.
[1][2]は空間充填多面体であるが,[3]は空間充填多面体ではない.しかし,単独では空間充填できなくても何種類かを組み合わせることによって空間充填可能となる.
2次元3^n−1面体は正八角形であるが,正方形と組み合わせることによって空間充填可能となる.正方形は2次元の[1]と考えることも1次元の[2]角柱と考えることも1次元の[3]角柱と考えることもできる.
3次元3^n−1面体は大菱形立方八面体であるが,正八角柱と組み合わせることによって空間充填可能となる.正八角柱は2次元の[3]角柱である.
大菱形立方八面体は切頂八面体+立方体と組み合わせても空間充填可能である.切頂八面体は,すべての次元を通じて唯一[1]かつ[2]という性質をもつ多面体であって,例外中の例外として注目すべきものである.立方体は2次元の[1]角柱と考えることも1次元の[2]角柱柱あるいは1次元の[3]角柱柱と考えることができる.
また,大菱形立方八面体は切頂四面体+切頂立方体と組み合わせても空間充填可能であるが,これには注目しないでおく.
===================================
以上のことから,4次元3^n−1面体を含む空間充填について類推してみると,
[1]4次元3^n−1面体と3次元の[3]角柱との組み合わせ
[2]4次元3^n−1面体と4次元の[1]と立方体柱の組み合わせ
[2]4次元3^n−1面体と4次元の[2]と立方体柱の組み合わせ
などが考えられるが,[1]が正しければ最も簡単に体積を求めることができる.
===================================