空間充填2^n+2n面体の2次元胞・3次元胞は,以下のようになる.
[1]3次元立方体の辺の中点と面の中心の間を通る場合
切頂八面体(正方形と正六角形で囲まれる図形)
[2]4次元立方体の面の中心を通る場合
正24胞体(正八面体で囲まれる図形)
[3]5次元立方体の面の中心と3次元面の中心を通る場合
42胞体(正八面体と切頂四面体で囲まれる図形)
[4]6次元立方体の3次元面の中心を通る場合
76胞体(正八面体と正四面体で囲まれる図形)
多少の齟齬は覚悟の上で,空間充填2^n+2n面体の面数を推定してみたい.
===================================
【1】f1,f2,fn-1
[1]切頂八面体では正八面体の6頂点に配置された6枚の正方形の頂点同士,辺同士を結ぶことを考える.6枚の正方形の辺数の合計は24.このとき,新たにできる辺は正八面体の辺12である.したがって,切頂八面体の辺数は合計36本である.
また,2辺を結ぶと面ができるから,単純に考えると新たにできる面数は12となるはずである.しかし,このうち正八面体の面に配置された8カ所は共面となるので,8枚の正六角形ができる.6+8=14面体となるわけである.
[2]正24胞体では,正16胞体の8頂点に正八面体が配置されているが,8個の正八面体の辺数の合計は12本×8=96である.(このとき,新たにできる辺はない.)
また,8個の正八面体の面数の合計は8面×8=64である.このとき,新たにできる面数は64/2=32となり,合計64+32=96面となる.
正16胞体の胞に配置されたところには16個の正八面体ができるので,8+16=24胞体となるわけである.
[3]5次元42胞体では,5次元正軸体の10頂点に4次元正軸体が配置されているが,10個の4次元正軸体の辺数の合計は24本×10=240である.このとき,新たにできる辺は5次元正軸体の辺40本であるから,10個の4次元正軸体の辺数を加えて合計280本となる.
また,10個の4次元正軸体の面数の合計は32面×10=320である.このとき,単純に考えると新たにできる面数は320/2=160となるが,このうち5次元正軸体の胞に配置された32カ所は4次元切頂正単体(共面)となるので,新たに5枚の正六角形ができるので,合計320+160=480面となる.
5次元正軸体の胞に配置されたところには32個の4次元切頂正単体ができるので,32+12=48胞体となるわけである.
[4]6次元76胞体では,6次元正軸体の12頂点に5次元正軸体が配置されているが,12個の5次元正軸体の辺数の合計は40本×12=480である.(このとき,新たにできる辺はない.)
また,12個の5次元正軸体の面数の合計は80面×12=960である.このとき,新たにできる面数は860/2=480となり,合計960+480=1440面となる.
6次元正軸体の胞に配置されたところには64個の5次元切頂正単体ができるので,64+12=76胞体となるわけである.
===================================
【2】f3
[1]4次元正24胞体では,4次元正軸体の8頂点に正八面体が配置されている.正軸体の胞に配置されたところには新たに16個の正八面体ができる.
[2]5次元42胞体では,5次元正軸体の10頂点に4次元正軸体が配置されている.10個の4次元正軸体の3次元面数の合計は16個×10=160である.このうち5次元正軸体の胞に配置された32カ所は4次元切頂正単体(共面)となるので,新たに10個の3次元面ができるので,合計160+320=480となる.
[3]6次元76胞体では,6次元正軸体の12頂点に5次元正軸体が配置されている.12個の5次元正軸体の3次元面数の合計は80面×12=960である.このうち6次元正軸体の胞に配置された64カ所は5次元切頂正単体(共面)となるので,新たに12個の3次元面ができるので,合計960+768=1728となる.
===================================
【3】不一致
3次元:(f0,f1,f2)=(24,36,14)
4次元:(f0,f1,f2,f3)=(24,96,96,24)
5次元:(f0,f1,f2,f3,f4)=(80,280,480,480,42)
6次元:(f0,f1,f2,f3,f5)=(120,480,1440,1728,76)
高次元ではまったく合致しない.修正は次回の宿題としたい.
===================================