11/05/08 08:41:05.68
>>44では、C(n,k)が k<0 あるいは、k>n で0になることを利用している。
>>∑[s=0,n]∑[j=0,s]f(s,j)=∑[j=0,n]∑[s=0,n]f(s,j)
一般のfに対し、これは正しくないが、C(n,s-j)がかかった形である
∑[s=0,n]∑[j=0,s]f(s,j)C(n,s-j)
=∑[s=0,n]∑[j=0,n]f(s,j)C(n,s-j)
=∑[j=0,n]∑[s=0,n]f(s,j)C(n,s-j)
なら、ok。