n≧mとしているから,左辺の
(m+1){2(n-k)/m!(n-k)!+・・・+2^n/(m-n)!n!}
はおかしい.
そこで,
[1]Σ(0,k)2^(m-k+j)(m,j)・n+1Ck-j+1
=Σ(n+1)!/(k-j)!(n-k+j)!・2^(m-k+j)m!/j!(m-j)!
とする.
[2]Σ(0,k)n+1Cj+1・2^(m-k+j)(m,k-j)
=Σ(n+1)!/(j+1)!(n-j)!・2^(m-k+j)m!/(k-j)!(m-k+j)!
したがって,
Σ(0,k)(m-j)!(n-k+j)!=Σ(0,k)(n-j)!(m-k+j)!
かどうかを問う問題となった.これは(その5)と同じで,等しいことは確認済み.
===================================