18/09/19 09:40:52.15 OD14AjpY.net
>>90
q-n-1=lのとき
Σ[q-n-1, j=l](-1)^(j-1) C(q-1, n+j)[C(j, l)-C(j+1, l)]
= Σ[l, j=l](-1)^(j-1) C(q-1, n+j)[C(j, l)-C(j+1, l)]
= (-1)^(l-1) C(n+l, n+l)[C(l, l)-C(l+1, l)]
はあきらかに0にならんけど？
18/09/19 09:40:52.15 OD14AjpY.net
>>90
q-n-1=lのとき
Σ[q-n-1, j=l](-1)^(j-1) C(q-1, n+j)[C(j, l)-C(j+1, l)]
= Σ[l, j=l](-1)^(j-1) C(q-1, n+j)[C(j, l)-C(j+1, l)]
= (-1)^(l-1) C(n+l, n+l)[C(l, l)-C(l+1, l)]
はあきらかに0にならんけど？