La generalización del teorema del binomio que desarrolla (x1 + x2 + ... + xm)^n como suma sobre todos los m‑tuplas de enteros no negativos (k1,...,km) cuya suma es n, con coeficientes dados por los coeficientes multinomiales n!/(k1!...km!).

Principio

Cada coeficiente multinomial cuenta las formas de asignar n posiciones etiquetadas entre m categorías distintas con ocupaciones especificadas k1,...,km, produciendo el monomio correspondiente.

Demostración

Para m = 3 y n = 2: (x + y + z)^2 = x^2 + y^2 + z^2 + 2xy + 2xz + 2yz; los coeficientes 2 corresponden a las disposiciones en que dos variables distintas ocupan las dos posiciones.

Aplicación incorrecta

Aplicar la fórmula multinomial finita cuando los factores no conmutan (por ejemplo, matrices) sin considerar el orden, o tratar exponentes no enteros como si existiera un desarrollo combinatorio finito equivalente.

Consecuencia

Facilita el desarrollo sistemático de potencias de sumas con muchos términos, sustenta distribuciones multinomiales en probabilidad y proporciona fórmulas de coeficientes usadas en identidades de polinomios simétricos y conteos combinatorios.

Inversión

La inversión consiste en ver un polinomio multivariable como factorizable o como producto de formas lineales en vez de como suma explícita de monomios; enfatiza la descomposición frente al ensamblaje combinatorio.

Límite

Proporciona un desarrollo finito solo para n entero no negativo. Para exponentes no enteros se requieren desarrollos en series con análisis de convergencia. La formulación estándar supone variables escalares conmutativas; para variables operadoras o no conmutativas hacen falta hipótesis añadidas.

Tensión semántica

Hay tensión entre el caso binomial (m = 2) y los métodos de funciones generadoras: el teorema multinomial es una identidad de coeficientes de contenido combinatorio, mientras que las funciones generadoras tratan recuentos similares con herramientas analíticas.

Síntesis

El Teorema Multinomial extiende la expansión binomial a sumas de varios términos conmutativos expresando la n‑ésima potencia como suma sobre distribuciones de ocupación; sus coeficientes factoriales vinculan álgebra polinómica con enumeración combinatoria y probabilidad multivariante.