TheoremBase

Multinomial Theorem

Statement

Let N\mathbb{N} be the set of natural numbers, write N0=N∪{0}\mathbb{N}_0=\mathbb{N}\cup\{0\} for the nonnegative integers, and let R\mathbb{R} be the set of real numbers. We use the factorial k!k! for k∈Nk\in\mathbb{N} together with the conventions 0!=10!=1 and x0=1x^{0}=1 for every real xx, and the finite product notation.

Let m∈Nm\in\mathbb{N}, let a1,…,am∈Ra_1,\dots,a_m\in\mathbb{R}, and let d∈N0d\in\mathbb{N}_0. Then

(a1+⋯+am)d=∑(n1,…,nm)∈N0mn1+⋯+nm=dd!n1!⋯nm! ∏j=1maj nj.(a_1+\dots+a_m)^{d}=\sum_{\substack{(n_1,\dots,n_m)\in\mathbb{N}_0^{m}\\ n_1+\dots+n_m=d}}\frac{d!}{n_1!\cdots n_m!}\,\prod_{j=1}^{m}a_j^{\,n_j}.

The sum is over the finitely many mm-tuples of nonnegative integers with entrywise nj≤dn_j\le d summing to dd.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…