Identities from the binomial transform (Q877926)

Recall that a sequence \(b_n\) is the binomial transform of the sequence \(a_n\), if \(b_n=\sum_{k=0}^n {n\choose k} a_k\). The main result is that if the sequence \(b_n\) is the binomial transform of the sequence \(a_n\), then for all nonnegative integer \(n,k,s\) we have the identity: \[ \sum_{k=0}^m { {m\choose k} \over {n+k+s \choose s}} a_{n+k+s}= \sum_{k=0}^n { {n\choose k} \over {m+k+s \choose s}} (-1)^{n-k}b_{m+k+s} \] \[ +\sum_{j=0}^{s-1} \sum_{i=0}^{s-1-j} {s-1-j \choose i} {s-1 \choose j} { { (-1)^{n+1+i}sa_j } \over {(m+n+1+i)(m+n+i)\choose n}}. \] Several classical and new identities follow from this amazing identity.