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

 (その126)からは2(2^n−1)胞体,(その127)からは3^n−1胞体の逐次構造が読みとれる.それから体積の一般式を導き出すことはできないだろうか?

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

[1]2(2^n−1)胞体

 (cosθ=−1/2)×(n−1),(cosθ=0)×(n−1)(n−2)/2,すなわち,正六角形(n−1)枚と正方形(n−1)(n−2)/2枚である.

  f2=((n−1)/6+(n−1)(n−2)/8)f0=(n−1)(3n−2)/24・f0

 また,切頂八面体(n−2)個と六角柱(n−2)(n−3)個と立方体(n−2)(n−3)(n−4)/6個であることから,

  f3=((n−2)/24+(n−2)(n−3)/12+(n−2)(n−3)(n−4)/48)f0=(n−1)(n−2)^2/48・f0

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

[2]3^n−1胞体

 (cosθ=−1/√2)×1,(cosθ=−1/2)×(n−2),(cosθ=0)×(n−1)(n−2)/2,すなわち,正八角形1枚と正六角形(n−2)枚と正方形(n−1)(n−2)/2枚である.

  f2=(1/8+(n−2)/6+(n−1)(n−2)/8)f0=(3n^2−5n+1)/24・f0

 また,大菱形立方八面体1個と切頂八面体(n−3)個と八角柱(n−3)個と六角柱(n−3)^2個と立方体(n−4)^2個(ただしn≧4,あるいは

(n−2)(n−3)(n−4)/6個?)であることから,

  f3=(1/48+(n−3)/24+(n−3)/16+(n−3)^2/12+(n−4)^2/8)f0=(10n^2−67n+118)/48・f0

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

[3]まとめ

 面数公式は

  置換多面体の場合・・・Nk^(n)=n+1Ck+1

  正軸体版の場合・・・・Nk^(n)=2^(k+1)nCk+1

として,

  fk^(n)=Σ(j=0~k)Nj^(n)f(k-j)^(n-1ーj)   (k≦n−2)

ときれいな形にまとめられる.

 (その126)−(その128)をこれらの結果と比較して一致するかどうかを調べてみたいのであるが,これをf0^(n)の関数として表すことは難しそうである.

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