Suma de C(m,k)C(n,r-k) = C(m+n,r).
La Identidad de Convolución, que muchos conocen como la Identidad de Vandermonde, es un resultado fundamental en combinatoria que trata sobre sumas de productos de coeficientes binomiales. Específicamente, te da una forma cerrada para la suma de términos donde los índices superiores de los coeficientes binomiales se quedan constantes, mientras que los índices inferiores suman un valor fijo. El término "convolución" viene del análisis y el álgebra, y hace referencia a la estructura de la suma $\sum a_k b_{n-k}$, que es muy parecida a la multiplicación de polinomios o series.
Esta identidad es una herramienta esencial en las matemáticas de competencia, sobre todo para simplificar sumas combinatorias complejas como las que aparecen en el AIME y el USAMO. Sirve como un puente entre la manipulación algebraica (usando funciones generatrices) y el razonamiento combinatorio (usando el conteo doble). Dominar esta identidad te permite reducir una suma que tiene un índice variable $k$ a un solo coeficiente binomial, logrando que la suma "colapse".
La idea principal detrás de la identidad es el principio de conteo doble o interpretación combinatoria. Si quieres elegir un comité de un tamaño específico de un grupo que tiene dos subgrupos distintos (por ejemplo, niños y niñas), puedes resolver el problema ya sea ignorando los subgrupos y eligiendo del total, o sumando los casos dependiendo de cuántos miembros elijas del primer subgrupo.