空間充填2^n+2n面体の頂点数公式f0(n)については,読者もお気づきかと思いますが,ご一報します.
===================================
立方体の切頂面が
[1]辺の中点に達するまで :八角形
[2]辺の中点 :正方形(立方八面体)
[3]辺心から面心の間 :正方形(切頂八面体)
[4]面心 :点(八面体)
[5]面心から3次元面心の間:八面体
[6]3次元面 :点
したがって,空間充填2^n+2n面体と区別するために,立方体の面数公式をgk(n)とすると,
f0(2)=g1(2)=4
f0(3)=g2(3)×4=6×4=24
f0(4)=g2(4)=24
f0(5)=g3(5)×6=40×6=240
f0(6)=g3(6)=160
===================================
[雑感]
n次元立方体あるいはn次元正軸体を切頂して,空間充填2^n+2n面体を作るとき,さらに頂点の周りに何個の辺ができるでしょうか? すなわち,空間充填2^n+2n面体の辺数公式f1(n)です.なお,置換多面体の場合は,次のようになります.
f1(n)=n/2・(n+1)!
f2(n)=1/4!・(n−1)(3n−2)(n+1)!
===================================