La première formule ne me semble pas tout à fait exacte.
? f(n,k,i)={sum(j=0,i,(-1)^(j+1)*binomial(i,j)*binomial(n+j,k+i))};
f(13,7,4)
%1 = -1716
Mais en effet, $\displaystyle \binom{13}{7}=1716$
Si vous voulez vérifier:
[
pari.math.u-bordeaux.fr]
Je vis parce que les montagnes ne savent pas rire, ni les vers de terre chanter.(Cioran)