Binomial Theorem

⚡ Key Takeaways

The Binomial Theorem gives a formula for expanding $(a+b)^n$ as a sum of terms involving binomial coefficients. Key result: $(a+b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k$ . Where it applies: algebra, combinatorics, probability, calculus approximations. Who/when: known in fragments to ancient mathematicians; generalized by Isaac Newton (1665) to non-integer exponents.

💡 The Core Insight

When you multiply out $(a+b)^n = (a+b)(a+b)\cdots(a+b)$ , each term of the result is built by choosing either $a$ or $b$ from each of the $n$ factors. A term with exactly $k$ copies of $b$ (and $n-k$ copies of $a$ ) arises in as many ways as you can choose which $k$ factors contribute the $b$ — that is, $\binom{n}{k}$ ways. So the coefficient of $a^{n-k}b^k$ is precisely the number of combinations $\binom{n}{k}$ .

DefinitionBinomial Coefficient

The binomial coefficient $\binom{n}{k}$ (read " $n$ choose $k$ ") counts the number of ways to choose $k$ objects from $n$ distinct objects without regard to order:

1

\quad \binom{n}{k} = \frac{n!}{k!\,(n-k)!}, \qquad 0 \le k \le n

Derivation hint: count ordered selections $n!/(n-k)!$ , then divide by $k!$ to remove the ordering among the chosen items. Here $n!$ (" $n$ factorial") denotes $n! = n\cdot(n-1)\cdots 2\cdot 1$ , with the convention $0! = 1$ . The symbol $k$ is the index, ranging over the integers from $0$ to $n$ .

TheoremBinomial Theorem (Integer Exponent)

For any real (or complex) numbers $a, b$ and any non-negative integer $n$ :

2

\quad (a+b)^n = \sum_{k=0}^{n} \binom{n}{k}\, a^{\,n-k}\, b^{\,k}

Derivation hint: expand the product of $n$ identical factors and collect the terms in which $b$ is chosen $k$ times. Written out, this reads:

3

\quad (a+b)^n = \binom{n}{0}a^n + \binom{n}{1}a^{n-1}b + \binom{n}{2}a^{n-2}b^2 + \cdots + \binom{n}{n}b^n

Derivation hint: substitute $k = 0,1,2,\dots,n$ into equation [2] term by term. Each symbol: $a, b$ are the two terms of the binomial; $n$ is the (non-negative integer) exponent; $k$ indexes the terms; $\binom{n}{k}$ is the coefficient. There are exactly $n+1$ terms.

TheoremGeneral (Newton's) Binomial Series

For any real exponent $\alpha$ and $|x| < 1$ :

4

\quad (1+x)^{\alpha} = \sum_{k=0}^{\infty} \binom{\alpha}{k} x^k, \qquad \binom{\alpha}{k} = \frac{\alpha(\alpha-1)\cdots(\alpha-k+1)}{k!}

Derivation hint: take the Taylor series of $(1+x)^\alpha$ about $x=0$ ; the $k$ -th derivative at $0$ yields the generalized coefficient. When $\alpha$ is a non-negative integer, the series terminates and reduces to equation [2]. Otherwise it is an infinite series.

ProofCombinatorial Proof of the Binomial Theorem

We prove equation [2] by counting.

Step 1. Write the power as an explicit product of $n$ identical factors:

5

\quad (a+b)^n = \underbrace{(a+b)(a+b)\cdots(a+b)}_{n \text{ factors}}

Derivation hint: a power with integer exponent is repeated multiplication by definition.

Step 2. Expanding fully (by the distributive law), every term in the result is a product of one chosen letter — either $a$ or $b$ — from each of the $n$ factors. Each such term therefore has the form $a^{n-k}b^k$ for some $k$ between $0$ and $n$ .

Step 3. A term equals $a^{n-k}b^k$ precisely when we picked $b$ from exactly $k$ of the factors and $a$ from the remaining $n-k$ . The number of ways to choose which $k$ factors supply the $b$ is $\binom{n}{k}$ .

Step 4. Collecting all identical terms, the coefficient of $a^{n-k}b^k$ is $\binom{n}{k}$ . Summing over all valid $k$ :

6

\quad (a+b)^n = \sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k

Derivation hint: group the $2^n$ raw terms by how many $b$ 's each contains. $\blacksquare$

∎

ProofInductive Proof Using Pascal's Rule

An alternative proof uses induction on $n$ and the identity $\binom{n}{k} + \binom{n}{k-1} = \binom{n+1}{k}$ (Pascal's Rule).

Step 1 (Base case). For $n=0$ , $(a+b)^0 = 1 = \binom{0}{0}a^0b^0$ . ✓

Step 2 (Inductive step). Assume equation [2] holds for $n$ . Multiply both sides by $(a+b)$ :

7

\quad (a+b)^{n+1} = (a+b)\sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k

Derivation hint: distribute $(a+b)$ across the assumed expansion.

Step 3. Distribute and shift indices so the powers of $b$ align:

8

\quad (a+b)^{n+1} = \sum_{k=0}^{n+1}\left[\binom{n}{k}+\binom{n}{k-1}\right]a^{n+1-k}b^k

Derivation hint: collect the coefficient of $a^{n+1-k}b^k$ from the two products, treating $\binom{n}{-1}=\binom{n}{n+1}=0$ .

Step 4. Apply Pascal's Rule $\binom{n}{k}+\binom{n}{k-1}=\binom{n+1}{k}$ :

9

\quad (a+b)^{n+1} = \sum_{k=0}^{n+1}\binom{n+1}{k}a^{n+1-k}b^k

Derivation hint: substitute Pascal's identity into equation [8]. This is exactly equation [2] with $n$ replaced by $n+1$ , completing the induction. $\blacksquare$

∎

mathematician · Isaac Newton | 1643–1727

Although special cases of the binomial expansion were known centuries earlier, Isaac Newton made the decisive leap around 1665, while plague closed Cambridge. Reasoning by analogy and pattern, he proposed that the binomial formula should hold even when the exponent is fractional or negative — yielding an infinite series (equation [4]). He used this to compute square roots, expand $(1-x^2)^{1/2}$ for areas under curves, and develop the foundations of calculus. He never published a rigorous proof; convergence was established rigorously only much later. The generalized binomial series remains one of his most fertile discoveries, feeding directly into power series and analysis.

🧠 Intuition

Think of expanding $(a+b)^3 = (a+b)(a+b)(a+b)$ as walking through three "doors," at each of which you grab either an $a$ or a $b$ . There are $2^3 = 8$ possible walks, each giving a product of three letters. How many walks give exactly two $b$ 's? You must choose which $2$ of the $3$ doors give $b$ : that's $\binom{3}{2}=3$ walks, so the coefficient of $ab^2$ is $3$ . This is why coefficients are counts. The symmetry $\binom{n}{k}=\binom{n}{n-k}$ reflects the fact that choosing where the $b$ 's go is the same as choosing where the $a$ 's go — which is why expansions read the same forwards and backwards: $1,3,3,1$ .

Figure

Pascal's Triangle generating the binomial coefficients; each entry is the sum of the two above it

ExampleExpanding a Power Directly

Given: Expand $(2x + 3)^4$ .

Step 1. Use equation [2] with $a = 2x$ , $b = 3$ , $n = 4$ . The coefficients (row $n=4$ of Pascal's Triangle) are $1, 4, 6, 4, 1$ .

Step 2. Write each term $\binom{4}{k}(2x)^{4-k}(3)^k$ :

$k=0$ : $1\cdot(2x)^4\cdot 1 = 16x^4$
$k=1$ : $4\cdot(2x)^3\cdot 3 = 4\cdot 8x^3\cdot 3 = 96x^3$
$k=2$ : $6\cdot(2x)^2\cdot 9 = 6\cdot 4x^2\cdot 9 = 216x^2$
$k=3$ : $4\cdot(2x)\cdot 27 = 216x$
$k=4$ : $1\cdot 1\cdot 81 = 81$

Step 3. Sum the terms.

\boxed{(2x+3)^4 = 16x^4 + 96x^3 + 216x^2 + 216x + 81}

ExampleFinding a Single Term Without Full Expansion

Given: Find the coefficient of $x^5$ in the expansion of $\left(x^2 + \dfrac{2}{x}\right)^7$ .

Step 1. The general term is $\binom{7}{k}(x^2)^{7-k}\left(\dfrac{2}{x}\right)^k = \binom{7}{k}\, 2^k\, x^{2(7-k)-k}$ .

Step 2. The power of $x$ is $14 - 2k - k = 14 - 3k$ . Set this equal to $5$ :

14 - 3k = 5 \implies 3k = 9 \implies k = 3.

Step 3. Substitute $k=3$ : coefficient $= \binom{7}{3}\,2^3 = 35 \cdot 8 = 280$ .

\boxed{\text{Coefficient of } x^5 = 280}

⚠️ Common mistake

$(a+b)^n \neq a^n + b^n$ . This is the single most common error. The "middle terms" do not vanish. For example, $(a+b)^2 = a^2 + 2ab + b^2$ , not $a^2 + b^2$ — the $2ab$ term is real and often the most important. Squaring (or raising to any power $\geq 2$ ) is not distributive over addition.

⚠️ Common mistake

The binomial coefficient is not $n/k$ or $n^k$ . Always use $\binom{n}{k} = \dfrac{n!}{k!(n-k)!}$ . Also remember $\binom{n}{0} = \binom{n}{n} = 1$ , never $0$ .

Counterexample

A student claims $(3+4)^2 = 3^2 + 4^2 = 9 + 16 = 25$ . But $(3+4)^2 = 7^2 = 49$ . The discrepancy of $24$ is exactly the missing middle term $2ab = 2\cdot 3\cdot 4 = 24$ . The "freshman's dream" $(a+b)^n = a^n + b^n$ holds only in special structures (e.g. modular arithmetic where $n$ is a prime $p$ , giving $(a+b)^p \equiv a^p + b^p \pmod p$ ) — never in ordinary real arithmetic for $n \geq 2$ .

connection

The Binomial Theorem sits at a crossroads of algebra and combinatorics. Its coefficients are the Combinations and Permutations counts $\binom{n}{k}$ , and they are arranged geometrically in Pascal's Triangle. Setting $a=b=1$ in equation [2] gives $\sum_k \binom{n}{k} = 2^n$ , the number of subsets of an $n$ -set, linking it to Set Theory. In probability, the Binomial Distribution $P(X=k) = \binom{n}{k}p^k(1-p)^{n-k}$ is literally a term of the expansion of $(p + (1-p))^n$ . Newton's general series (equation [4]) is a special case of the Taylor Series, grounding the theorem in calculus and Power Series.

🔬 Where this appears

⏳ History

- c. 300 BCE — Euclid: Records the case

n=2

,

(a+b)^2 = a^2 + 2ab + b^2

, geometrically as areas of squares and rectangles.

- c. 200 BCE — Pingala (India): Studies combinatorial structures (the Meru Prastara) that anticipate Pascal's Triangle in the context of prosody.

- c. 1000 CE — Al-Karaji & Al-Samaw'al (Persia): Give the triangular arrangement of coefficients and an early inductive argument for the integer binomial expansion.

- c. 1100 CE — Omar Khayyám: References a method for finding roots using binomial coefficients, knowing the triangle for higher powers.

- 1303 — Zhu Shijie (China): Publishes the Jade Mirror of the Four Unknowns, depicting the coefficient triangle up to the eighth power.

- 1654 — Blaise Pascal: Writes the Traité du triangle arithmétique, systematizing the triangle and its properties; the array later bears his name.

- 1665 — Isaac Newton: Generalizes to fractional and negative exponents, producing the infinite binomial series (equation [4]).

- 1676 — Newton's letters: He communicates the general theorem to Leibniz via the Epistola prior, spreading it through Europe.

- 19th century — Abel & Cauchy: Establish rigorous convergence conditions for the binomial series, completing Newton's heuristic work.

open-problem

The finite Binomial Theorem (equation [2]) is fully settled and exact. The generalized series (equation [4]) raises genuine subtleties: it converges only for $|x| < 1$ , and behavior at the boundary $|x| = 1$ depends delicately on $\alpha$ (governed by results like Abel's theorem and the Gauss test). Extending binomial-type expansions to multinomials $(a_1 + \cdots + a_m)^n$ generalizes the coefficients to multinomial coefficients $\frac{n!}{k_1!\cdots k_m!}$ , and further to $q$ -analogues (Gaussian binomial coefficients) and noncommutative settings (where $ab \neq ba$ breaks the simple formula — the $q$ -binomial theorem repairs it). Identifying combinatorial interpretations of identities among binomial coefficients (bijective proofs) remains an active area of enumerative combinatorics.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also