Identidad de Vandermonde

Teoría

La Identidad de Vandermonde (o Convolución de Vandermonde) es un resultado fundamental en combinatoria que relaciona un coeficiente binomial con un índice superior compuesto y una suma de productos de coeficientes binomiales. Específicamente, te dice que el número de formas de elegir $r$ elementos de la unión de dos conjuntos ajenos de tamaños $m$ y $n$ es igual a la suma de todas las formas posibles de elegir $k$ elementos del primer conjunto y los $r-k$ elementos restantes del segundo.

Esta identidad aparece por todos lados en las matemáticas de competencia, especialmente en el AIME y la USAMO, ya que te permite simplificar sumas combinatorias complejas. A menudo es la clave para resolver problemas que involucran "convoluciones" de coeficientes: sumas donde los índices inferiores de dos coeficientes binomiales suman un valor constante. Aunque puedes demostrarla algebraicamente usando el Teorema del Binomio (comparando los coeficientes de $x^r$ en la expansión de $(1+x)^m(1+x)^n$), la intuición combinatoria es mucho más poderosa para resolver problemas. Te enseña la habilidad vital del "conteo doble" o de interpretar una expresión algebraica como un escenario de conteo específico que involucra dos grupos distintos.

Fórmulas Clave

La Identidad General Para enteros no negativos $m, n, r$, la identidad es: $$ \sum_{k=0}^