Esperaba encontrar una prueba más "matemática", en lugar de probar lógicamente $\displaystyle \sum_{k = 0}^n {n \choose k}^2= {2n \choose n}$ .
Ya conozco la prueba lógica:
$${n \choose k}^2 = {n \choose k}{ n \choose n-k}$$
Por tanto, la suma puede expresarse como
$$\binom{n}{0}\binom{n}{n} + \binom{n}{1}\binom{n}{n-1} + \cdots + \binom{n}{n}\binom{n}{0}$$
Se puede pensar en ello como la elección de $n$ personas de un grupo de $2n$ (imagina dividir un grupo de $2n$ en $2$ grupos de $n$ personas cada uno. Puedo conseguir $k$ personas del grupo $1$ y otro $n-k$ personas del grupo $2$ . Lo hacemos desde $k = 0$ a $n$ .
23 votos
Para su información, lo que usted llama "prueba lógica" se conoce como "prueba combinatoria", y dicha prueba es perfectamente válida y a menudo muy perspicaz. Lo que sospecho que quieres decir con "prueba matemática" es una que trata de la estructura numérica de las sumas y combinaciones, que sería mejor llamar "prueba analítica". Ambos estilos de prueba son igualmente matemáticos.
7 votos
Esto está secretamente subsumido por esta pregunta
2 votos
Se podría obtener la misma prueba combinatoria observando que $\binom{2n}{n}$ cuenta el número de caminos desde $(0,0)$ a $(n,n)$ en un $n\times n$ de la rejilla.
8 votos
Creo que tu prueba combinatoria es muy buena, y no deberías estar descontento con ella.
3 votos
Por cierto, este es un caso especial de math.stackexchange.com/questions/337923/ .
0 votos
Parece que en las secciones de "preguntas frecuentes" de M.SE.
0 votos
@FelixMarin Has enlazado con una pregunta sobre $\sum\binom{n}{i}=2^n$ . ¿Querías enlazar con otra cosa?
0 votos
Si quieres ver una prueba lineal-algebraica (a la construcción de los números de fibonacci por un $2\times 2$ matriz, acabo de publicar el esquema en math.stackexchange.com/a/1954319/161506 ).