Skip to content

Binomial Theorem

Theorem

For a nonnegative integer nn and real numbers aa and bb,

(a+b)n=∑i=0n(ni)aibn−i.(a+b)^n = \sum_{i=0}^n \binom{n}{i}a^i b^{n-i}.

Interpretation

Expanding the power (a+b)n(a+b)^n means multiplying nn factors a+ba+b and choosing aa or bb from each factor. A product in which aa is chosen ii times equals aibn−ia^ib^{n-i}, and the binomial coefficient (ni)\binom{n}{i} counts the ways to pick those ii factors.

Pascal's triangle for n = 0 to 4, with the row n = 3 highlighted and its coefficients 1, 3, 3, 1 matched to the expansion of (a + b) cubed.

Row nn of Pascal's triangle lists (n0),…,(nn)\binom{n}{0},\ldots,\binom{n}{n}. In the highlighted row n=3n=3, the coefficients 1,3,3,11,3,3,1 belong to a3a^3, a2ba^2b, ab2ab^2 and b3b^3: the term a2ba^2b appears (32)=3\binom{3}{2}=3 times, once for each choice of the two factors that supply aa.

In probability the theorem is used with a=pa=p and b=1−pb=1-p. The terms (ni)pi(1−p)n−i\binom{n}{i}p^i(1-p)^{n-i} are then the binomial probabilities of ii successes in nn independent trials, and the theorem shows that they add up to (p+1−p)n=1(p+1-p)^n=1. Weighting the iith term by eti\mathrm{e}^{ti} replaces pp by petp\mathrm{e}^t, so the same step gives the MGF (1−p+pet)n(1-p+p\mathrm{e}^t)^n of Bin⁡(n,p)\operatorname{Bin}(n,p). With a=b=1a=b=1 the theorem counts subsets: ∑i=0n(ni)=2n\displaystyle \sum_{i=0}^n\binom{n}{i}=2^n.

A common slip is to expand (a+b)n(a+b)^n as an+bna^n+b^n; already for n=2n=2 this misses the cross term 2ab2ab.


Key Results

  • Setting a=pa=p, b=1−pb=1-p gives ∑k=0n(nk)pk(1−p)n−k=1\displaystyle \sum_{k=0}^n\binom nkp^k(1-p)^{n-k}=1.
  • The coefficient of akbn−ka^kb^{n-k} is (nk)=n!/[k!(n−k)!]\binom nk=n!/[k!(n-k)!].

Examples

  • (a+b)3=a3+3a2b+3ab2+b3(a+b)^3=a^3+3a^2b+3ab^2+b^3.
  • For two independent fair tosses, the probabilities of zero, one, and two heads are 1/4,1/2,1/41/4,1/2,1/4, the terms in (1/2+1/2)2(1/2+1/2)^2.

Prerequisites

Sources

Aliases: binomial expansion Symbols: sum

Last updated: 20 October 2026 03:02