Teorema del binomio desde una perspectiva combinatoria

El teorema del binomio describe cómo expandir expresiones binomiales de la forma $(x + y)^n$. A continuación, desde la perspectiva de la combinatoria, transformamos la expansión algebraica abstracta en un problema de conteo concreto, detallando su demostración.

Enunciado del teorema del binomio

Para cualquier entero no negativo $n$, se tiene:

$$(x + y)^n = \sum_{k=0}^n \binom{n}{k} x^{n-k} y^k$$

donde $\binom{n}{k}$ es el número combinatorio (el número de formas de elegir $k$ de $n$), definido como:

$$\binom{n}{k} = \frac{n!}{k! (n-k)!}$$

Idea central de la demostración combinatoria

Idea clave: considerar la expansión de $(x + y)^n$ como la combinación de productos de elegir $x$ o $y$ de cada uno de los $n$ factores $(x + y)$, y luego explicar los coeficientes contando el número de formas de elegir.

Proceso de expansión concreto

1. Estructura del producto:
   Considerar $(x + y)^n$ como el producto de $n$ factores $(x + y)$:
   $(x + y)^n = (x + y)(x + y)\cdots(x + y) \quad (\text{total } n \text{ factores})$

2. Forma de generar términos:
   Cada término después de la expansión tiene la forma $x^{n-k} y^k$, y se genera eligiendo $k$ factores de los $n$ para tomar $y$, mientras que los $n-k$ restantes toman $x$. Por ejemplo:

   • Cuando $n=3$, el término $x^2 y$ se produce eligiendo 1 de los 3 factores para tomar $y$, y los otros toman $x$, con un total de $\binom{3}{1}=3$ formas.

3. Correspondencia entre coeficientes y números combinatorios:
   El coeficiente de cada término $x^{n-k} y^k$ es igual al número de formas de elegir $k$ $y$, es decir, $\binom{n}{k}$. Por ejemplo:

   • En $(x + y)^3$, el coeficiente de $x y^2$ es $\binom{3}{2}=3$, correspondiente a las tres formas de elegir 2 factores para $y$: $(y,y,x)$, $(y,x,y)$, $(x,y,y)$.

Demostración matemática formal

1. Análisis de la generación de términos:
   Todos los términos posibles en la expansión se generan mediante el siguiente proceso de selección:

   • De cada factor $(x + y)$, elegir $x$ o $y$.
   • Multiplicar los resultados de cada elección, obteniendo términos de la forma $x^{n-k} y^k$.

2. Papel de los números combinatorios:
   El número de formas de elegir $k$ factores para tomar $y$ es $\binom{n}{k}$, por lo tanto el coeficiente de $x^{n-k} y^k$ es $\binom{n}{k}$. Sumando los términos para todos los posibles $k$ ($0 \leq k \leq n$) se obtiene la expansión completa.

Ejemplo de verificación

Con $n=4$:

$$(x + y)^4 = \binom{4}{0}x^4 + \binom{4}{1}x^3 y + \binom{4}{2}x^2 y^2 + \binom{4}{3}x y^3 + \binom{4}{4}y^4$$

Expandido:

$$x^4 + 4x^3 y + 6x^2 y^2 + 4x y^3 + y^4$$

Donde los coeficientes $\{1,4,6,4,1\}$ corresponden exactamente a los números combinatorios $\binom{4}{k}$, verificando la validez del teorema.