SECTION 1
Historical Context & Motivation
Long before calculators existed, mathematicians needed a reliable way to expand expressions like (a + b)ⁿ without tediously multiplying the binomial by itself over and over. Imagine trying to expand (x + 2)¹⁰ by hand — that would mean ten rounds of polynomial multiplication! The search for a pattern that could bypass all that repetitive work drove centuries of mathematical exploration across multiple civilizations.
~200 BCE • Pingala's Combinatorics
1070 • Omar Khayyam's Triangle
1303 • Zhu Shijie in China
1654 • Pascal's Traité
1665 • Newton's Generalization
The central question that all of these mathematicians were pursuing is deceptively simple: given (a + b)ⁿ, is there a formula that directly produces every term of the expansion without performing n multiplications? The answer — the Binomial Theorem — is one of the most elegant results in algebra, and it appears throughout the IB Mathematics course in topics ranging from probability to calculus.
SECTION 2
Core Principles & Definitions
Before diving into the theorem itself, you need to be comfortable with a few foundational ideas. These building blocks connect counting, notation, and algebra into one unified framework.
Factorial (n!)
Binomial Coefficient ⁿCᵣ
Pascal's Triangle
General Term Tᵣ₊₁
Sigma (Σ) Notation
KEY TAKEAWAY
SECTION 3
Pascal's Triangle & the Expansion Pattern
The connection between Pascal's Triangle and the binomial expansion is best understood visually. Each row of the triangle provides the coefficients you need for a particular power of (a + b). The diagram below shows the first six rows of Pascal's Triangle alongside the corresponding expansions.
Notice two important patterns in the diagram. First, the symmetry of each row — the coefficients read the same forwards and backwards, which makes sense because ⁿCᵣ = ⁿC(n−r). Second, the powers of a decrease from left to right while the powers of b increase, but their sum in every term is always n. These patterns hold for any natural number n, no matter how large.
SECTION 4
Mathematical Framework
Now let's formalize everything with the equations you will use on the IB exam. There are three key formulas to master: the binomial coefficient formula, the full expansion, and the general term.
BINOMIAL COEFFICIENT
where n is the total number of items, r is the number chosen, and 0 ≤ r ≤ n. Both n and r must be non-negative integers.
BINOMIAL THEOREM (FULL EXPANSION)
This means: (a + b)ⁿ = ⁿC₀·aⁿ + ⁿC₁·aⁿ⁻¹·b + ⁿC₂·aⁿ⁻²·b² + … + ⁿCₙ·bⁿ. The expansion produces exactly n + 1 terms.
GENERAL TERM (r + 1)th TERM
This formula lets you find any single term without expanding the whole expression. The (r + 1)th term uses the value r in the coefficient. For example, to find the 4th term, set r = 3.
IB Formula Booklet
A quick sanity check you can always perform: the sum of all binomial coefficients in row n equals 2ⁿ. So for (a + b)⁴, the coefficients 1, 4, 6, 4, 1 add up to 16 = 2⁴. If your coefficients don't add to 2ⁿ, something went wrong.
SECTION 5
Anatomy of a Binomial Expansion
Let's dissect exactly what happens inside the expansion of (a + b)⁴ to see how every piece fits together. The diagram below color-codes each component: the binomial coefficient, the power of a, and the power of b.
| Term Number | r value | ⁿCᵣ | Power of a | Power of b | Term |
|---|---|---|---|---|---|
| 1st | 0 | ⁴C₀ = 1 | 4 | 0 | a⁴ |
| 2nd | 1 | ⁴C₁ = 4 | 3 | 1 | 4a³b |
| 3rd | 2 | ⁴C₂ = 6 | 2 | 2 | 6a²b² |
| 4th | 3 | ⁴C₃ = 4 | 1 | 3 | 4ab³ |
| 5th | 4 | ⁴C₄ = 1 | 0 | 4 | b⁴ |
Complete term structure for (a + b)⁴
SECTION 6
Worked Example
Let's work through a complete IB-style problem step by step. We will expand (2x + 3)⁵ fully using the binomial theorem, and then find a specific term separately using the general term formula.
Expand (2x + 3)⁵ and find the term containing x³
- 1
Step 1 — Identify a, b, and n
Compare (2x + 3)⁵ with (a + b)ⁿ. Here a = 2x, b = 3, and n = 5. The expansion will have n + 1 = 6 terms.a = 2x, b = 3, n = 5 - 2
Step 2 — Write the coefficients from Pascal's Triangle or the formula
Row 5 of Pascal's Triangle gives: 1, 5, 10, 10, 5, 1. Alternatively, compute ⁵C₀ = 1, ⁵C₁ = 5, ⁵C₂ = 10, ⁵C₃ = 10, ⁵C₄ = 5, ⁵C₅ = 1.Coefficients: 1, 5, 10, 10, 5, 1 - 3
Step 3 — Write out each term using T(r+1) = ⁵Cᵣ · (2x)⁵⁻ʳ · 3ʳ
r = 0: ⁵C₀ · (2x)⁵ · 3⁰ = 1 · 32x⁵ · 1 = 32x⁵. r = 1: ⁵C₁ · (2x)⁴ · 3¹ = 5 · 16x⁴ · 3 = 240x⁴. r = 2: ⁵C₂ · (2x)³ · 3² = 10 · 8x³ · 9 = 720x³. r = 3: ⁵C₃ · (2x)² · 3³ = 10 · 4x² · 27 = 1080x². r = 4: ⁵C₄ · (2x)¹ · 3⁴ = 5 · 2x · 81 = 810x. r = 5: ⁵C₅ · (2x)⁰ · 3⁵ = 1 · 1 · 243 = 243.Six individual terms computed - 4
Step 4 — Combine the full expansion
Adding all terms together gives the complete expansion.(2x + 3)⁵ = 32x⁵ + 240x⁴ + 720x³ + 1080x² + 810x + 243 - 5
Step 5 — Find the term containing x³ directly
For the x³ term, we need (2x)⁵⁻ʳ to produce x³, so 5 − r = 3, meaning r = 2. Substituting into the general term: T₃ = ⁵C₂ · (2x)³ · 3² = 10 × 8x³ × 9 = 720x³. This confirms the third term from our full expansion.The term containing x³ is 720x³
Exam Tip
SECTION 7
Common Strategies & Pitfalls
Understanding the theorem is one thing; applying it reliably under exam pressure is another. The table below compares effective strategies with common pitfalls that cost students marks.
| ✅ Effective Strategy | ❌ Common Pitfall | How to Avoid It |
|---|---|---|
| Identify a, b, and n before writing anything | Treating −3 as +3 when expanding (x − 3)⁴ | Rewrite as (x + (−3))⁴ so the negative is built into b |
| Raise the entire a-expression to the power | Writing (2x)³ = 2x³ instead of 8x³ | Always use brackets: (2x)³ = 2³ × x³ = 8x³ |
| Check coefficient sum equals 2ⁿ | Miscounting terms or making arithmetic errors | Substitute a = 1, b = 1 to verify your expansion |
| Use the general term for 'find the term' questions | Expanding everything when only one term is needed | Set up T(r+1) = ⁿCᵣ · aⁿ⁻ʳ · bʳ, solve for r first |
| Watch for sign patterns with negative b | All terms end up positive when they should alternate | If b is negative, (−b)ʳ alternates sign: +, −, +, −, … |
Strategies vs. pitfalls in binomial expansion
KEY TAKEAWAY
SECTION 8
Connection to Advanced Theory
The SL 1.6 version of the binomial theorem restricts n to natural numbers (positive integers). However, this is just the beginning of a much larger story. As you progress in mathematics, you will encounter extensions that remove this restriction.
| Feature | SL 1.6 (n ∈ ℕ) | Extended / HL Version |
|---|---|---|
| Exponent n | Positive integers only (1, 2, 3, …) | Any real number, including negatives and fractions |
| Number of terms | Finite (exactly n + 1 terms) | Infinite series (convergence conditions required) |
| Coefficients | Always positive integers from Pascal's Triangle | Can be fractions or negative numbers |
| Applications | Polynomial expansions, probability | Approximations, calculus, physics series |
| IB context | SL and HL Paper 1 & 2 | HL Topic 1, Calculus option, university courses |
SL 1.6 vs. advanced binomial theory
Binomial coefficients also appear in probability theory — specifically in the binomial distribution (SL 4.8), where ⁿCᵣ counts the number of ways to get exactly r successes in n trials. The coefficient ⁿCᵣ also connects to combinatorics — the mathematics of counting — which is foundational across computer science, statistics, and discrete mathematics. Mastering the SL 1.6 version now gives you a solid launching pad for all of these areas.
SECTION 9
Practice Problems
Question 1: CONCEPTUAL
Show answer
Question 2: BASIC CALCULATION
Show answer
Question 3: INTERMEDIATE
Show answer
Question 4: APPLIED
Show answer
Question 5: CRITICAL THINKING
Show answer
SUMMARY
Lesson Summary
Summary
The Binomial Theorem provides a formula for expanding (a + b)ⁿ when n is a natural number: the expansion equals the sum from r = 0 to n of ⁿCᵣ · aⁿ⁻ʳ · bʳ. The binomial coefficients ⁿCᵣ = n! / [r!(n − r)!] can be computed with the formula or read directly from Pascal's Triangle. Every expansion has exactly n + 1 terms, and in each term the powers of a and b always sum to n.
To find a single term, use the general term formula T(r+1) = ⁿCᵣ · aⁿ⁻ʳ · bʳ and solve for the value of r that gives the desired power. Key pitfalls include forgetting to raise the entire expression (not just the variable) to the power, and mishandling negative values of b which produce alternating signs. The coefficients have the symmetry property ⁿCᵣ = ⁿC(n−r), and they sum to 2ⁿ — a useful check for your work.