■正軸体の中心断面(その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)!

となり,等しい.

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