Mostrar que $$\sum_{k=0}^{n}(-1)^k\binom{n}{k}(n-2k)^{n+2}=\frac{2^{n}n(n+2)!}{6}.$$
Respuestas
¿Demasiados anuncios?
El uso de estas tres identidades para $n^{\text{th}}$ diferencias: $$ \begin{align} \sum_{k=0}^n(-1)^{n-k}\binom{n}{k}k^n&=n!\\ \sum_{k=0}^n(-1)^{n-k}\binom{n}{k}k^{n+1}&=n!\binom{n+1}{2}\\ \sum_{k=0}^n(-1)^{n-k}\binom{n}{k}k^{n+2}&=n!\left(3\binom{n+2}{4}+\binom{n+2}{3}\right) \end{align} $$ y el hecho de que la $n^{\text{th}}$ diferencia de un polinomio de grado menor que $n$$0$, obtenemos $$ \begin{align} &\sum_{k=0}^n(-1)^k\binom{n}{k}(n-2k)^{n+2}\\ &=2^{n+2}\sum_{k=0}^n(-1)^{n-k}\binom{n}{k}(k-n/2)^{n+2}\\ &=2^{n+2}\sum_{k=0}^n(-1)^{n-k}\binom{n}{k}\left(k^{n+2}-\frac{(n+2)n}{2}k^{n+1}+\frac{(n+2)(n+1)n^2}{8}k^n+\dots\right)\\ &=2^{n+2}n!\left(\left(3\binom{n+2}{4}+\binom{n+2}{3}\right)-\frac{(n+2)n}{2}\binom{n+1}{2}+\frac{(n+2)(n+1)n^2}{8}\right)\\ &=2^nn!\binom{n+2}{3}\\[6pt] &=\frac{2^nn(n+2)!}{6} \end{align} $$
Graham Klyne
Puntos
21
La única cosa que tengo que añadir en @robjohn la respuesta es la derivación de las identidades utiliza:
Tenemos que
$\displaystyle\sum_{k=0}^{n}(-1)^{n-k}\binom{n}{k}k^j=\frac{d^{j}}{d x^j}\left[(e^x-1)^n\right]\Big|_{x=0}=\frac{d^{j}}{d x^j}\left[x^n+\frac{n}{2}x^{n+1}+\frac{n(3n+1)}{24}x^{n+2}+\mathcal O(x^{n+3})\right]\Bigg|_{x=0}$,
así que (por $0\leq j<n$$\displaystyle\sum_{k=0}^{n}(-1)^{n-k}\binom{n}{k}k^j=0$,)
para$j=n$$\displaystyle\sum_{k=0}^{n}(-1)^{n-k}\binom{n}{k}k^{n}=n!$,
para $j=n+1$ $\displaystyle\sum_{k=0}^{n}(-1)^{n-k}\binom{n}{k}k^{n+1}=\frac{(n+1)!n}{2}$ y
para$j=n+2$$\displaystyle\sum_{k=0}^{n}(-1)^{n-k}\binom{n}{k}k^{n+2}=\frac{(n+2)!n(3n+1)}{24}$,
y que las sumas de estas identidades están relacionados con los números de Stirling del segundo tipo (http://en.wikipedia.org/wiki/Stirling_numbers_of_the_second_kind), ya que satisfacen $\displaystyle{\sum_{k=0}^{n}(-1)^{n-k}\binom{n}{k}k^j=n!S(j,n)}$.
También se puede consultar aquí (http://www.mathematica.gr/forum/viewtopic.php?f=59&t=36932) para una derivación utilizando el recuento de los argumentos.
Marko Riedel
Puntos
19255
Supongamos que buscamos para evaluar $$\sum_{k=0}^n {n\choose k} (-1)^k (n-2k)^{n+2}.$$
Introducir $$(n-2k)^{n+2} = \frac{(n+2)!}{2\pi i} \int_{|z|=\epsilon} \frac{1}{z^{n+3}} \exp((n-2k)z) \; dz.$$
Por lo tanto, para obtener la suma $$\frac{(n+2)!}{2\pi i} \int_{|z|=\epsilon} \frac{1}{z^{n+3}} \sum_{k=0}^n {n\elegir k} (-1)^k \exp((n-2k)z) \; dz \\ = \frac{(n+2)!}{2\pi i} \int_{|z|=\epsilon} \frac{1}{z^{n+3}} \exp(nz) \sum_{k=0}^n {n\elegir k} (-1)^k \exp(-2kz) \; dz \\ = \frac{(n+2)!}{2\pi i} \int_{|z|=\epsilon} \frac{1}{z^{n+3}} \exp(nz) \left(1-\exp(-2z)\right)^n \; dz.$$
La clasificación de las contribuciones para el residuo según el plazo a partir de la exponencial elevado a la potencia $n$ y el uso de la serie expansión
$$1-\exp(-2z) = 2z - 2z^2 + \frac{4}{3}z^3 - \cdots$$ tenemos
En primer lugar, con $z^n$, $$\frac{1}{2} n^2 \times 2^n.$$
Segundo, con $z^{n+1}$, $$n \times - {n\choose 1} 2^n.$$
Tercero, con $z^{n+2}$, $$1 \veces {n\elegir 2} 2^n + 1 \times {n\elegir 1} 2^{n-1} \times \frac{4}{3}.$$
La recogida de estos rendimientos $$\left(\frac{1}{2} n^2 - n^2 + \frac{1}{2} n(n-1) + \frac{2}{3} n\right) \times 2^n.$$
Este es $$\left(\frac{2}{3}-\frac{1}{2}\right)n\times 2^n,$$
para una respuesta final de $$\frac{1}{6} n \times 2^n \times (n+2)!$$
