Módulos / combinatoria-1 / Capítulo 3 — Teorema del binomio / Lección 3.2

Coeficientes binomiales: propiedades

Lección 3.2·Capítulo 3 — Teorema del binomio·11 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Demostrar y usar las identidades clave de los coeficientes binomiales: suma total $\sum\binom{n}{k}=2^n$, suma alternada, identidad de absorción $k\binom{n}{k}=n\binom{n-1}{k-1}$, e identidad de Vandermonde; reconocer cómo el binomio de Newton genera cada una de estas identidades por sustitución.

El binomio como generador de identidades

Una de las ideas más poderosas de la combinatoria es que el teorema del binomio no es solo una fórmula de expansión: es una máquina generadora de identidades. Sustituyendo valores concretos de xx (o de aa y bb), obtenemos relaciones entre coeficientes binomiales que serían difíciles de probar de otro modo.

En esta lección probaremos cuatro identidades fundamentales que aparecen en la ONEM y que nacen directamente del binomio. Cada prueba sigue el mismo patrón: toma la igualdad (a+b)n=k=0n(nk)ankbk(a+b)^n = \sum_{k=0}^n \binom{n}{k}a^{n-k}b^k y sustituye valores inteligentes.

Identidad 1 — Suma total: $\sum\binom{n}{k} = 2^n$

Sustituimos a=b=1a = b = 1 en el binomio de Newton:

$(1+1)n=k=0n(nk)1nk1k2n=k=0n(nk)(1+1)^n = \sum_{k=0}^{n}\binom{n}{k}1^{n-k}\cdot 1^k \quad\Longrightarrow\quad 2^n = \sum_{k=0}^{n}\binom{n}{k}$

Interpretación combinatoria: 2n2^n es el número de subconjuntos de un conjunto de nn elementos. La identidad dice que si agrupamos los subconjuntos por tamaño, los de tamaño kk son (nk)\binom{n}{k}, y su suma total da 2n2^n. Las dos pruebas (algebraica y combinatoria) son igualmente válidas en competencia.

k=0n(nk)=2n\sum_{k=0}^{n} \binom{n}{k} = 2^n

Identidad 2 — Suma alternada: $\sum(-1)^k\binom{n}{k} = 0$

Sustituimos a=1a = 1, b=1b = -1 en el binomio de Newton:

$(11)n=k=0n(nk)(1)k0=k=0n(1)k(nk)(n1)(1-1)^n = \sum_{k=0}^{n}\binom{n}{k}(-1)^k \quad\Longrightarrow\quad 0 = \sum_{k=0}^{n}(-1)^k\binom{n}{k} \quad (n \ge 1)$

Reformulación: la suma de los (nk)\binom{n}{k} con kk par es igual a la suma con kk impar, y ambas valen 2n12^{n-1}. Esto se obtiene combinando esta identidad con la Identidad 1.

Aplicación olímpica: si ves una suma de combinatorios con signos alternados en un problema, esta identidad —o su variante con potencias de xx— es casi siempre la clave.

k=0n(1)k(nk)=0\sum_{k=0}^{n} (-1)^k \binom{n}{k} = 0

Identidad 3 — Absorción: $k\binom{n}{k} = n\binom{n-1}{k-1}$

Esta identidad se prueba algebraicamente expandiendo los factoriales:

$k(nk)=kn!k!(nk)!=n!(k1)!(nk)!=n(n1)!(k1)!(nk)!=n(n1k1)k\binom{n}{k} = k \cdot \frac{n!}{k!(n-k)!} = \frac{n!}{(k-1)!(n-k)!} = n \cdot \frac{(n-1)!}{(k-1)!(n-k)!} = n\binom{n-1}{k-1}$

Aplicación inmediata: derivando (1+x)n=k=0n(nk)xk(1+x)^n = \sum_{k=0}^n \binom{n}{k}x^k respecto a xx y evaluando en x=1x = 1, obtenemos n2n1=k=0nk(nk)n \cdot 2^{n-1} = \sum_{k=0}^{n} k\binom{n}{k}. Esta suma ponderada aparece en muchos problemas de olimpiada.

Uso en problemas: siempre que veas k(nk)k\binom{n}{k} en una suma, reemplázalo por n(n1k1)n\binom{n-1}{k-1} para simplificar. El factor kk "baja" al interior del combinatorio.

k(nk)=n(n1k1)k\binom{n}{k} = n\binom{n-1}{k-1}

Identidad 4 — Vandermonde: $\binom{m+n}{r} = \sum_{k=0}^{r}\binom{m}{k}\binom{n}{r-k}$

La identidad de Vandermonde se deduce comparando coeficientes en el producto (1+x)m(1+x)n=(1+x)m+n(1+x)^m \cdot (1+x)^n = (1+x)^{m+n}:

$(k=0m(mk)xk)(j=0n(nj)xj)=r=0m+n(m+nr)xr\left(\sum_{k=0}^{m}\binom{m}{k}x^k\right)\left(\sum_{j=0}^{n}\binom{n}{j}x^j\right) = \sum_{r=0}^{m+n}\binom{m+n}{r}x^r$

El coeficiente de xrx^r en el lado izquierdo es k=0r(mk)(nrk)\sum_{k=0}^{r}\binom{m}{k}\binom{n}{r-k} (sumando los productos de términos cuyas potencias suman rr). Igualando con el coeficiente en el lado derecho: (m+nr)=k=0r(mk)(nrk)\binom{m+n}{r} = \sum_{k=0}^{r}\binom{m}{k}\binom{n}{r-k}.

Caso especial clave: tomando m=n=rm=n=r, y usando (nnk)=(nk)\binom{n}{n-k}=\binom{n}{k}, se obtiene (2nn)=k=0n(nk)2\binom{2n}{n} = \sum_{k=0}^{n}\binom{n}{k}^2. Esta identidad dice que el coeficiente central de la fila 2n2n es la suma de los cuadrados de la fila nn.

(m+nr)=k=0r(mk)(nrk)\binom{m+n}{r} = \sum_{k=0}^{r} \binom{m}{k}\binom{n}{r-k}

Problemas del Capítulo 3 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

C1-3.1

Expande completamente (x+2)4(x + 2)^4 usando el teorema del binomio.

C1-3.2

Halla el coeficiente de x3x^3 en la expansión de (1+x)7(1 + x)^7.

C1-3.3

Calcula el cuarto término (es decir, T4T_4) en la expansión de (a+b)9(a + b)^9.

C1-3.4★★

Halla el coeficiente de x2x^2 en la expansión de (x+2x)6\left(x + \dfrac{2}{x}\right)^6.

C1-3.5★★Estilo ONEM Perú regional

Demuestra que k=0n(1)k(nk)=0\displaystyle\sum_{k=0}^{n} (-1)^k \binom{n}{k} = 0 para todo n1n \ge 1.

C1-3.6★★Estilo ONEM Perú regional

Halla el residuo de 115011^{50} al dividir entre 1010.

C1-3.7★★★Estilo ONEM Perú regional

Demuestra que 54n+5n15 \mid 4^n + 5^n - 1 para todo entero n1n \ge 1.

C1-3.8★★★Estilo ONEM Perú regional

Demuestra que para todo primo pp y todo entero 1kp11 \le k \le p-1, el coeficiente binomial (pk)\binom{p}{k} es divisible por pp.