In mathematics, the multinomial theorem describes how to expand a power of a sum in terms of powers of the terms in that sum. It is the generalization of the binomial theorem from binomials to multinomials.
For any positive integer and any non-negative integer, the multinomial theorem describes how a sum with terms expands when raised to the th power:whereis a multinomial coefficient. The sum is taken over all combinations of nonnegative integer indices through such that the sum of all is . That is, for each term in the expansion, the exponents of the must add up to .
In the case, this statement reduces to that of the binomial theorem.
The third power of the trinomial is given byThis can be computed by hand using the distributive property of multiplication over addition and combining like terms, but it can also be done (perhaps more easily) with the multinomial theorem. It is possible to "read off" the multinomial coefficients from the terms by using the multinomial coefficient formula. For example,
a2b0c1
{3\choose2,0,1}=
3! | |
2! ⋅ 0! ⋅ 1! |
=
6 | |
2 ⋅ 1 ⋅ 1 |
=3
a1b1c1
{3\choose1,1,1}=
3! | |
1! ⋅ 1! ⋅ 1! |
=
6 | |
1 ⋅ 1 ⋅ 1 |
=6
The statement of the theorem can be written concisely using multiindices:
(x1+ … +x
n | |
m) |
=\sum|\alpha|=n{n\choose\alpha}x\alpha
where
\alpha=(\alpha1,\alpha2,...,\alpham)
\alpha1 | |
x | |
1 |
\alpha2 | |
x | |
2 |
…
\alpham | |
x | |
m |
This proof of the multinomial theorem uses the binomial theorem and induction on .
First, for, both sides equal since there is only one term in the sum. For the induction step, suppose the multinomial theorem holds for . Then
\begin{align} &(x1+x2+ … +xm+xm+1)n=(x1+x2+ … +(xm+xm+1))n\\[6pt] ={}&
\sum | |
k1+k2+ … +km-1+K=n |
{n\choosek1,k2,\ldots,km-1,K}
k1 | |
x | |
1 |
k2 | |
x | |
2 |
…
km-1 | |
x | |
m-1 |
(xm+xm+1)K \end{align}
by the induction hypothesis. Applying the binomial theorem to the last factor,
=
\sum | |
k1+k2+ … +km-1+K=n |
{n\choosek1,k2,\ldots,km-1,K}
k1 | |
x | |
1 |
k2 | |
x | |
2 |
…
km-1 | |
x | |
m-1 |
\sum | |
km+km+1=K |
{K\choosekm,km+1
=
\sum | |
k1+k2+ … +km-1+km+km+1=n |
{n\choosek1,k2,\ldots,km-1,km,km+1
which completes the induction. The last step follows because
{n\choosek1,k2,\ldots,km-1,K}{K\choosekm,km+1
n! | |
k1!k2! … km-1!K! |
K! | = | |
km!km+1! |
n! | |
k1!k2! … km+1! |
.
The numbers
{n\choosek1,k2,\ldots,km}
{n\choosek1,k2,\ldots,km}=
n! | |
k1!k2! … km! |
={k1\choosek1}{k1+k2\choosek2} … {k1+k2+ … +km\choosekm}
The substitution of for all into the multinomial theorem
\sum | |
k1+k2+ … +km=n |
{n\choosek1,k2,\ldots,km}
k1 | |
x | |
1 |
k2 | |
x | |
2 |
…
km | |
x | |
m |
=(x1+x2+ … +
n | |
x | |
m) |
\sum | |
k1+k2+ … +km=n |
{n\choosek1,k2,\ldots,km}=mn.
The number of terms in a multinomial sum,, is equal to the number of monomials of degree on the variables :
\#n,m={n+m-1\choosem-1}.
The count can be performed easily using the method of stars and bars.
The largest power of a prime that divides a multinomial coefficient may be computed using a generalization of Kummer's theorem.
By Stirling's approximation, or equivalently the log-gamma function's asymptotic expansion, so for example,
The multinomial coefficients have a direct combinatorial interpretation, as the number of ways of depositing distinct objects into distinct bins, with objects in the first bin, objects in the second bin, and so on.[1]
In statistical mechanics and combinatorics, if one has a number distribution of labels, then the multinomial coefficients naturally arise from the binomial coefficients. Given a number distribution on a set of total items, represents the number of items to be given the label . (In statistical mechanics is the label of the energy state.)
The number of arrangements is found by
\tbinom{N}{n1}
\tbinom{N-n1}{n2}
\tbinom{N-n1-n2}{n3}
Multiplying the number of choices at each step results in:
{N\choosen1}{N-n1\choosen2}{N-n1-n2\choose
n | ||||
|
⋅
(N-n1)! | |
(N-n1-n2)!n2! |
⋅
(N-n1-n2)! | |
(N-n1-n2-n3)!n3! |
… .
Cancellation results in the formula given above.
The multinomial coefficient
\binom{n}{k1,\ldots,km}
{11\choose1,4,4,2}=
11! | |
1!4!4!2! |
=34650.
One can use the multinomial theorem to generalize Pascal's triangle or Pascal's pyramid to Pascal's simplex. This provides a quick way to generate a lookup table for multinomial coefficients.