Tienes razón. Multiplicando ambos lados por $N!$ se obtiene: $$\sum_{n=0}^{N} (N-2n)^2 \binom{N}{n} = N2^{N}$$
3 Lemas, basados en $\binom{n}{k}=\frac{n}{k} \binom{n-1}{k-1}$ (nótese que en cada lema aplico los lemas anteriores):
-
$\sum_{n=0}^{N}\binom{N}{n} = 2^{N}$
-
$\sum_{n=0}^{N} n\binom{N}{n} = N\sum_{n=1}^{N} \binom{N-1}{n-1} = N2^{N-1}$
-
$\sum_{n=0}^{N} n^2\binom{N}{n} = N\sum_{n=1}^{N} n\binom{N-1}{n-1} = N(\sum_{n=1}^{N} (n-1)\binom{N-1}{n-1} + \sum_{n=1}^{N} \binom{N-1}{n-1})=N((N-1)2^{N-2} + 2^{N-1})$
Así que ahora sólo es cuestión de ampliar la suma original: $$\sum_{n=0}^{N} (N-2n)^2 \binom{N}{n} = N^2 \sum_{n=0}^{N}\binom{N}{n} - 4N \sum_{n=0}^{N} n \binom{N}{n} +4 \sum_{n=0}^{N} n^2\binom{N}{n} = N^2 2^N -4N^{2}2^{N-1}+4N((N-1)2^{N-2}+2^{N-1})=N2^{N}$$
EDITAR: Como veo este tipo de preguntas con mucha frecuencia, voy a presentar una guía sobre cómo simplificar $\sum_{k=0}^{n} P(n,k)\binom{n}{k}$ para cualquier polinomio $P$ En su caso $(n-2k)^2$ .
Paso 1: Reducir para calcular $\sum_{k=0}^{n} k^i \binom{n}{k}$ calculando la suma original en forma de monomio.
Paso 2: Observe que $$\sum_{k=0}^{n} \binom{k}{i} \binom{n}{k} = \binom{n}{i} 2^{n-i}$$ Esta identidad generaliza mi lema. Se puede demostrar de muchas maneras:
- Por inducción en $i$ (como en los lemas, utilice $\binom{k}{i} \binom{n}{k} = \binom{k-1}{i-1} \binom{n-1}{k-1}\frac{n}{i}$ )
- Al diferenciar la identidad $\sum_{k=0}^{n} \binom{n}{k} x^k = (1+x)^n$ $i$ veces, dividiendo por $i!$ y el enchufe $x=1$ .
- También hay una prueba combinatoria (LHS cuenta maneras de elegir un subconjunto especial de $i$ personas fuera de $n$ y luego elegir un conjunto que los contenga, de tamaño $k$ , ya que $k$ corre de $0$ a $n$ ).
- Una breve prueba directa: $\binom{k}{i} \binom{n}{k} = \binom{n}{i}\binom{n-i}{n-k}$ .
Paso 3: Escribir $k^i$ como una combinación de $\binom{k}{j}$ para $j\le i$ y aplicar el paso 2. No te preocupes, hay un atajo como siempre: $$k^i = \sum_{j=0}^{i} c_{i,j} \binom{k}{j}$$ $$c_{i,j} = \# \{ \text{surjective functions from i-set to j-set} \}$$ Esto también tiene pruebas algebraicas y combinatorias.
- Lo algebraico va en la línea de calcular el $j$ derivada discreta de $f(k)=k^i$ en $0$ , obteniendo $c_{i,j}$ y descifrar lo que cuenta (es igual a la suma $\sum_{t=0}^{j} t^i(-1)^{t-j} \binom{j}{t}$ - ¿Inclusión-exclusión alguien?).
- Pero la combinatoria es más fría - nota que $k^i$ cuenta el número de funciones de un $i$ -se ajusta a un $k$ -set, y luego entender el RHS.
Conclusión: siempre obtendrá la simplificación $2^n Q(n)$ , donde $Q$ es un polinomio que depende linealmente de $P(n,k)$ .
Me encanta la interacción entre las soluciones algebraicas y combinatorias...