Multinomial theorem


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.

Theorem

For any positive integer m and any nonnegative integer n, the multinomial formula tells us how a sum with m terms expands when raised to an arbitrary power n:
where
is a multinomial coefficient. The sum is taken over all combinations of nonnegative integer indices k1 through km such that the sum of all ki is n. That is, for each term in the expansion, the exponents of the xi must add up to n. Also, as with the binomial theorem, quantities of the form x0 that appear are taken to equal 1.
In the case m = 2, this statement reduces to that of the binomial theorem.

Example

The third power of the trinomial a + b + c is given by
This can be computed by hand using the distributive property of multiplication over addition, but it can also be done with the multinomial theorem, which gives us a simple formula for any coefficient we might want. It is possible to "read off" the multinomial coefficients from the terms by using the multinomial coefficient formula. For example:

Alternate expression

The statement of the theorem can be written concisely using multiindices:
where
and

Proof

This proof of the multinomial theorem uses the binomial theorem and induction on m.
First, for m = 1, both sides equal x1n since there is only one term k1 = n in the sum. For the induction step, suppose the multinomial theorem holds for m. Then
by the induction hypothesis. Applying the binomial theorem to the last factor,
which completes the induction. The last step follows because
as can easily be seen by writing the three coefficients using factorials as follows:

Multinomial coefficients

The numbers
appearing in the theorem are the multinomial coefficients. They can be expressed in numerous ways, including as a product of binomial coefficients or of factorials:

Sum of all multinomial coefficients

The substitution of xi = 1 for all i into the multinomial theorem
gives immediately that

Number of multinomial coefficients

The number of terms in a multinomial sum, #n,m, is equal to the number of monomials of degree n on the variables x1, …, xm:
The count can be performed easily using the method of stars and bars.

Valuation of multinomial coefficients

The largest power of a prime that divides a multinomial coefficient may be computed using a generalization of Kummer's theorem.

Interpretations

Ways to put objects into bins

The multinomial coefficients have a direct combinatorial interpretation, as the number of ways of depositing n distinct objects into m distinct bins, with k1 objects in the first bin, k2 objects in the second bin, and so on.

Number of ways to select according to a distribution

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 N total items, ni represents the number of items to be given the label i.
The number of arrangements is found by
Multiplying the number of choices at each step results in:
Upon cancellation, we arrive at the formula given in the introduction.

Number of unique permutations of words

The multinomial coefficient is also the number of distinct ways to permute a multiset of n elements, and ki are the multiplicities of each of the distinct elements. For example, the number of distinct permutations of the letters of the word MISSISSIPPI, which has 1 M, 4 Is, 4 Ss, and 2 Ps is

Generalized Pascal's triangle

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.