Prueba $\sum_{r=0}^n \binom{n}{r} \binom{n+r}{r} (-2)^r =(-1)^n\sum_{r=0}^n \binom{n}{r}^2 2^r$

Question

Aquí hay una pregunta de combinatoria con la que estoy luchando.

Prueba $\sum_{r=0}^n \binom{n}{r} \binom{n+r}{r} (-2)^r =(-1)^n\sum_{r=0}^n \binom{n}{r}^2 2^r$

He intentado simplemente los coeficientes binomiales en ambos lados, pero no ayuda.

¿Hay alguna forma posible de probarlo?

Gracias por los comentarios.

Answer 1

Empezar por el LHS

$$\sum_{r=0}^n {n\choose r} {n+r\choose r} (-1)^r 2^r = \sum_{r=0}^n {n\choose r} {n+r\choose n} (-1)^r 2^r \\ = \sum_{r=0}^n {n\choose r} (-1)^r 2^r [z^n] (1+z)^{n+r} = [z^n] (1+z)^n \sum_{r=0}^n {n\choose r} (-1)^r 2^r (1+z)^r \\ = [z^n] (1+z)^n (1-2(1+z))^n = [z^n] (1+z)^n (-1-2z)^n \\ = (-1)^n [z^n] (1+z)^n (1+2z)^n.$$

Obtenemos para el RHS

$$(-1)^n \sum_{r=0}^n {n\choose r}^2 2^r = (-1)^n \sum_{r=0}^n {n\choose r} {n\choose n-r} 2^r \\ = (-1)^n \sum_{r=0}^n {n\choose r} 2^r [z^{n-r}] (1+z)^n = (-1)^n [z^n] \sum_{r=0}^n {n\choose r} 2^r z^r (1+z)^n \\ = (-1)^n [z^n] (1+z)^n \sum_{r=0}^n {n\choose r} 2^r z^r = (-1)^n [z^n] (1+z)^n (1+2z)^n.$$

Los dos son idénticos y podemos concluir. (La segunda también se deduce por inspección, aquí hemos demostrado el método).

Answer 2

Hay dos representaciones para los polinomios de Legendre; puedes encontrarlas en la wiki: $$P_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{n+k}{k}\Big(\frac{x-1}{2}\Big)^k $$ $$P_n(x)=\frac{1}{2^n}\sum_{k=0}^n\binom{n}{k}^2\big(x-1\big)^{n-k} \big(x+1\big)^k\,.$$ Dejemos que $x=-3$ en ambos.