■正軸体の中心断面(その6)
n正単体とm正単体の直積を考えてきたが,
[1]立方体:Nk^(n)=2^(n-k)(n,k)
[2]正軸体:Nk^(n)=2^(k+1)(n,k+1)
の場合も
[1]Nk^(n+1)=Σ(0,k)Nj^(m)Nk-j^(n)
[2]Nk^(m+1)=Σ(0,k)Nj^(n)Nk-j^(m)
が等しくなるかどうか,調べてみたい.
===================================
【1】立方体の場合
[1]Σ(0,k)2^(m-j)(m,j)2^(n-k+j)(n,k−j)
=Σ2^(n+m-j)m!/j!(m−j)!・n!/(k−j)!(n−k+j)!
[2]Σ(0,k)2^(n-j)(n,j)2^(m-k+j)(m,k−j)
=Σ2^(n+m-j)n!/j!(n−j)!・m!/(k−j)!(m−k+j)!
したがって,(その5)と同様
Σ(0,k)(m−j)!(n−k+j)!=Σ(0,k)(n−j)!(m−k+j)!かどうかを問う問題となった.等しいことは確認済み.
===================================
【2】正軸体の場合
[1]Σ(0,k)2^(j+1)(m,j+1)2^(k-j+1)(n,k−j+1)
=Σ2^(k+2)m!/(j+1)!(m−j−1)!・n!/(k−j+1)!(n−k+j−1)!
[2]Σ(0,k)2^(j+1)(n,j+1)2^(k-j+1)(m,k−j+1)
=Σ2^(k+2)n!/(j+1)!(n−j−1)!・m!/(k−j+1)!(m−k+j−1)!
したがって,(その5)とほぼ同様
Σ(0,k)(m−j−1)!(n−k+j−1)!=Σ(0,k)(n−j−1)!(m−k+j−1)!かどうかを問う問題となった.等しいことは確認済み.
左辺は(m−1)!(n−k−1)!+・・・+(m−k−1)!(n−1)!
右辺は(n−1)!(m−k−1)!+・・・+(n−k−1)!(m−1)!
となり,等しい.
===================================