La fórmula que expresa la potencia de una suma de dos términos (x + y)^n como una suma finita de términos C(n,k) x^{n-k} y^k, donde C(n,k) son los coeficientes binomiales y n es un entero no negativo.

Principio

Los coeficientes del desarrollo representan combinaciones: el coeficiente de x^{n-k} y^k es el número de maneras de escoger k apariciones de y entre n factores, dado por el coeficiente binomial C(n,k).

Demostración

Para n = 3: (x + y)^3 = x^3 + 3 x^2 y + 3 x y^2 + y^3; los coeficientes 1, 3, 3, 1 coinciden con C(3,0), C(3,1), C(3,2), C(3,3).

Aplicación incorrecta

Aplicar la forma finita del teorema del binomio cuando n no es un entero no negativo (por ejemplo, un exponente negativo o no entero) sin comprobar la convergencia; en esos casos el desarrollo es una serie infinita y requiere condiciones analíticas.

Consecuencia

Proporciona un método combinatorio directo para calcular desarrollos de polinomios, obtener identidades y conectar expansiones algebraicas con problemas de conteo y modelos probabilísticos.

Inversión

En lugar de expandir una suma en monomios, la inversión es factorizar un polinomio en factores multiplicativos más simples; la expansión dispersa la estructura entre monomios, la factorización la concentra.

Límite

Se aplica como suma finita cuando n es un entero no negativo. Para exponentes negativos o no enteros hay que usar la serie binomial generalizada (infinita) e imponer condiciones de convergencia; el teorema tal cual no cubre factores no conmutativos o con valores operadores sin hipótesis adicionales.

Tensión semántica

La tensión aparece entre la expansión finita para exponentes enteros y la serie binomial generalizada de Newton para exponentes arbitrarios: comparten fórmulas combinatorias pero difieren en finitud y requisitos analíticos.

Síntesis

El Teorema Del Binomio es la regla algebraica que convierte el producto n veces repetido de una suma de dos términos en una combinación finita de monomios cuyos coeficientes vienen dados por cuentas combinatorias; une álgebra polinómica con combinatoria elemental y se extiende a series analíticas bajo condiciones.