■n次元の立方体と直角三角錐(その135)

 間違いを訂正するとともに,これまでの結果について総括しておきたい.

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

[1]n次元の立方体(頂点数2^n)の頂点を超平面で切り落として残る空間充填図形(2^n+2n胞体)の面数公式fkは(f0,f1公式を除き)2(2^n−1)胞体や3^n−1胞体の面数公式のような一般式は得られていない.

[2]2次元:(f0,f1)=(4,4)   (正方形)

3次元:(f0,f1,f2)=(24,3,14)   (切頂八面体)

4次元:(f0,f1,f2,f3)=(24,96,96,24)   (正24胞体)

5次元:(f0,f1,f2,f3,f4)=(240,720,720,280,42)

6次元:(f0,f1,f2,f3,f4,f5)=(160,1440,2880,2160,636,76)

と計算された.この結果はコンピュータによる数え上げと一致した.

[3]前述のf4=636はオイラー・ポアンカレの公式により得られたものである.f4公式は難しく,とくに7次元以上のf4公式はどのようにして求めたらよいのであろうか? いまのところ,no ideaである.

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