Nos re-escribo esto como
$$S_{a,b}(n) = \sum_{k=0}^n (-1)^{n+k} {n\elegir k}
(ak+b+n-1)^{\underline{n}} = n! \veces a^n.$$
Este rendimientos para los LHS
$$\sum_{k=0}^n (-1)^{n+k} {n\elegir k}
\sum_{q=0}^n (-1)^{n+p} \left[n\cima de q\ \ derecho] (ak+b+n-1)^q.$$
Ahora claramente el original LHS es un polinomio de grado $n$$a$. Nosotros
el resultado si nos las arreglamos para evaluar los coeficientes de $[a^p]$
donde$0\le p\le n$, que se dan por
$$\sum_{k=0}^n (-1)^{n+k} {n\elegir k}
\sum_{p=p}^n (-1)^{n+p} \left[n\cima de q\ \ derecho]
{q\elegir p} k^p (b+n-1)^{p-p}.$$
Este es
$$\sum_{p=p}^n (-1)^{q} \left[n\cima de q\ \ derecho]
{q\elegir p} (b+n-1)^{p-p}
\sum_{k=0}^n (-1)^{k} {n\elegir k} k^p.$$
Con $k^p = p! [z^p] \exp(kz)$ hemos
$$\sum_{k=0}^n (-1)^{k} {n\elegir k} k^p
= p! [z^p] \sum_{k=0}^n (-1)^{k} {n\elegir k} \exp(kz)
\\ = p! [z^p] (1-\exp(z))^n$$
y para obtener la suma
$$p! [z^p] \sum_{p=p}^n (-1)^{q} \left[n\cima de q\ \ derecho]
{q\elegir p} (b+n-1)^{p-p} (1-\exp(z))^n
\\ = p! [z^p] (1-\exp(z))^n
\sum_{p=p}^n (-1)^{q} \left[n\cima de q\ \ derecho]
{q\elegir p} (b+n-1)^{p-p}.$$
Observar que $1-\exp(z) = -z - \frac{1}{2} z^2 -\frac{1}{6}
z^3-\cdots$ hence we get zero for $p\n lt.$ For $p=$ n nos quedamos con
$$n! (-1)^n \sum_{q=n}^n (-1)^{q} \left[n\cima de q\ \ derecho]
{q\elegir n} (b+n-1)^{p-n}
\\ = n! \left[n\cima n\right] {n\elegir n} \times 1
= n!$$
Esto significa que
$$[a^p] S_{a,b}(n) = [[p = n]] \times n!$$
y tenemos la reclamación.