■立方体の断面(その21)
k>2では
f(n,k)=n!/(k+1)!(n−k)!{2^n-1(n−k)+2^n-k(k+1)}
ときれいな形にまとまった.
これより
f(n,k)=2^n-kn!/k!(n−k)!+2^n-1n!/(k+1)!(n−k−1)!
=2^n-k(n,k)+2^n-1(n,k+1)
となるが,右辺第1項はn次元立方体のk面数公式である.
n次元立方体のk面数公式とn次元正軸体のk面数公式は
k ←→ n−k−1
と置き換えたものである.右辺第2項はn次元正軸体のk面数公式
2^k+1(n,k+1)
と似ているが,そうではない.
2^n-1(n,k+1)=2^n-k-2・2^k+1(n,k+1)
=2^n-k-2・n次元正軸体のk面数
=2^n-k-2・n次元正立方体のn−k−1面数
であるから,右辺第2項はn次元立方体のn−k−1面数に2^n-k-2をかけたものということになる.
すなわち,
f(n,k)=n次元立方体のk面数+2^n-k-2(n次元立方体のn−k−1面数)
ということになる.k>2であるから
f(n,3)=n次元立方体の3次元面数+2^n-5(n次元立方体のn−4次元面数)
f(n,4)=n次元立方体の4次元面数+2^n-6(n次元立方体のn−5次元面数
f(n,n−1)=n次元立方体のn−1次元面数+2^-1(n次元立方体の0次元面数)=2n+2^n-1
===================================