1.04PureStretch

Binomial Expansion

Expanding (2+x)2(2 + x)^{2} by hand is quick. Expanding (2+x)9(2 + x)^{9} by hand is miserable. The binomial theorem\textbf{binomial theorem} writes down any term of (a+b)n(a + b)^{n} directly, and a second version extends the idea to powers like −1-1 and 12\tfrac12, where the expansion never stops.

45 min Sequences and Series

The big picture

Every term in (a+b)n(a + b)^{n} comes from choosing either aa or bb from each of the nn brackets. The coefficient of an−rbra^{n-r}b^{r} is simply the number of ways to choose which rr brackets supply the bb — that is (nr)\binom{n}{r}, the same number that counts selections in probability and appears in Pascal’s triangle. So the theorem is really a counting argument. For positive integer nn the expansion is finite; for negative or fractional nn the coefficients never reach zero, the series is infinite, and it only converges for small enough xx. Those infinite expansions are how calculators approximate roots, and they reappear in the binomial distribution in statistics.

What you'll be able to do

  • Use Pascal’s triangle and (nr)=n!r!(n−r)!\binom{n}{r} = \dfrac{n!}{r!(n-r)!} for binomial coefficients
  • Expand (a+bx)n(a + bx)^{n} for positive integer nn and find specific terms
  • Expand (1+x)n(1 + x)^{n} for rational nn and state the range of validity
  • Use binomial expansions for approximations
1

Binomial coefficients

The coefficients in (a+b)n(a + b)^{n} form row nn of Pascal’s triangle\textbf{Pascal’s triangle}, where each entry is the sum of the two above it. Row 4 is 1,4,6,4,11, 4, 6, 4, 1.

For larger nn, use the formula (nr)=nCr=n!r!(n−r)!\binom{n}{r} = {}^{n}\mathrm{C}_{r} = \dfrac{n!}{r!(n-r)!}, where n!=n×(n−1)×⋯×1n! = n \times (n-1) \times \dots \times 1 and 0!=10! = 1.

The coefficients are symmetric: (nr)=(nn−r)\binom{n}{r} = \binom{n}{n-r}, because choosing rr brackets to supply bb is the same as choosing n−rn - r to supply aa.

(nr)=n!r! (n−r)!\binom{n}{r} = \dfrac{n!}{r!\,(n-r)!}
Number of ways to choose r from n.
Why this works

Calculating (103)\binom{10}{3} by the formula, most of 10!10! cancels with 7!7!: 10×9×83×2×1=120\dfrac{10 \times 9 \times 8}{3 \times 2 \times 1} = 120. Always cancel before multiplying.

2

Positive integer powers

For positive integer nn: (a+b)n=∑r=0n(nr)an−rbr(a + b)^{n} = \sum_{r=0}^{n} \binom{n}{r} a^{n-r} b^{r}. There are n+1n + 1 terms; the powers of aa fall from nn to 00 as the powers of bb rise from 00 to nn.

With (a+bx)n(a + bx)^{n}, the "bb" in the theorem is the whole of bxbx. Put it in brackets so that its coefficient is raised to the power too.

The general term is (nr)an−r(bx)r\binom{n}{r} a^{n-r}(bx)^{r}, which lets you find one term without expanding everything.

(a+b)n=an+(n1)an−1b+(n2)an−2b2+⋯+bn(a + b)^{n} = a^{n} + \binom{n}{1}a^{n-1}b + \binom{n}{2}a^{n-2}b^{2} + \dots + b^{n}
The binomial theorem, n a positive integer.
Example 1Find the first three terms, in ascending powers of xx, of (2−3x)6(2 - 3x)^{6}.
1r=0r = 0: 26=642^{6} = 64.
2r=1r = 1: (61)25(−3x)=6×32×(−3x)=−576x\binom{6}{1} 2^{5}(-3x) = 6 \times 32 \times (-3x) = -576x.
3r=2r = 2: (62)24(−3x)2=15×16×9x2=2160x2\binom{6}{2} 2^{4}(-3x)^{2} = 15 \times 16 \times 9x^{2} = 2160x^{2}.
Answer64−576x+2160x264 - 576x + 2160x^{2}
Example 2Find the coefficient of x4x^{4} in (x+2x)8\left(x + \dfrac{2}{x}\right)^{8}.
1General term: (8r)x8−r(2x)r=(8r)2rx8−2r\binom{8}{r} x^{8-r}\left(\dfrac{2}{x}\right)^{r} = \binom{8}{r} 2^{r} x^{8-2r}.
2Need 8−2r=48 - 2r = 4, so r=2r = 2.
3Coefficient: (82)×22=28×4\binom{8}{2} \times 2^{2} = 28 \times 4.
Answer112112

Tip — Negative signs inside the bracket are the biggest source of lost marks. Write (−3x)2(-3x)^{2} and (−3x)3(-3x)^{3} explicitly so the sign of each term is automatic.

3

Rational powers

When rational nn is negative or is not an integer, the binomial expansion of (1+x)n(1+x)^n is an infinite series: the coefficients do not terminate. For a non-negative integer nn, the expansion terminates and is valid for every real xx.

For the non-terminating expansions in this course, use the standard validity range ∣x∣<1|x|<1. Do not assume convergence at either endpoint without a separate justification; the usual exam validity statement uses the strict inequality.

For (a+bx)n(a + bx)^{n}, first take out a factor of ana^{n}: (a+bx)n=an(1+bax)n(a + bx)^{n} = a^{n}\left(1 + \dfrac{b}{a}x\right)^{n}, which is valid for ∣bxa∣<1\left|\dfrac{bx}{a}\right| < 1, that is ∣x∣<∣ab∣|x| < \left|\dfrac{a}{b}\right|.

(1+x)n=1+nx+n(n−1)2!x2+n(n−1)(n−2)3!x3+…,∣x∣<1(1 + x)^{n} = 1 + nx + \dfrac{n(n-1)}{2!}x^{2} + \dfrac{n(n-1)(n-2)}{3!}x^{3} + \dots, \quad |x| < 1
The general binomial expansion.
Example 1Expand 4+x\sqrt{4 + x} up to and including the term in x2x^{2}, stating the range of validity.
14+x=2(1+x4)1/2\sqrt{4 + x} = 2\left(1 + \dfrac{x}{4}\right)^{1/2}.
2With n=12n = \tfrac12 and x4\dfrac{x}{4} in place of xx: 1+12(x4)+12(−12)2(x4)21 + \tfrac12\left(\dfrac{x}{4}\right) + \dfrac{\tfrac12\left(-\tfrac12\right)}{2}\left(\dfrac{x}{4}\right)^{2}.
3=1+x8−x2128= 1 + \dfrac{x}{8} - \dfrac{x^{2}}{128}.
4Multiply by 2. Valid when ∣x4∣<1\left|\dfrac{x}{4}\right| < 1.
Answer2+x4−x2642 + \dfrac{x}{4} - \dfrac{x^{2}}{64}, valid for ∣x∣<4|x| < 4.
Why this works

For a positive integer nn, the factor (n−n)(n - n) eventually appears in every coefficient and all later terms vanish. For any other nn that factor never arrives — which is exactly why the series goes on forever.

4

Approximations

For small xx, the higher powers are tiny, so the first few terms of an expansion give a good approximation.

To approximate a number, choose xx so that the bracket matches it, and check that the value lies inside the range of validity.

Example 1Use the expansion of 4+x\sqrt{4 + x} above to estimate 4.2\sqrt{4.2}.
1Set x=0.2x = 0.2, which satisfies ∣x∣<4|x| < 4.
22+0.24−0.0464=2+0.05−0.0006252 + \dfrac{0.2}{4} - \dfrac{0.04}{64} = 2 + 0.05 - 0.000625.
Answer2.0493752.049375 (the true value is 2.049390…2.049390\dots)

Tip — The smaller xx is, the better the approximation. Say why an approximation is good: "xx is small, so the omitted terms in x3x^{3} and beyond are negligible."

Think like an examiner

  • Keep (bx)r(bx)^{r} bracketed, including negative signs.
  • Use the general term to find a single coefficient instead of expanding fully.
  • For rational powers, take out ana^{n} before expanding and state the range of validity.
  • When approximating, show that the chosen xx lies within the range of validity.

Common misconceptions

Writing the x2x^{2} term of (1+2x)5(1 + 2x)^{5} as 10×2x2=20x210 \times 2x^{2} = 20x^{2}.
Raise the whole term: (2x)2=4x2(2x)^{2} = 4x^{2}, so the term is 40x240x^{2}.
Expanding (4+x)1/2(4 + x)^{1/2} as 41/2(1+x)1/24^{1/2}(1 + x)^{1/2}.
Factor out correctly: 2(1+x4)1/22\left(1 + \tfrac{x}{4}\right)^{1/2}.
Stating validity as ∣x∣<1|x| < 1 for (1+3x)−1(1 + 3x)^{-1}.
Need ∣3x∣<1|3x| < 1, so ∣x∣<13|x| < \tfrac13.
Forgetting that 0!=10! = 1.
(n0)=(nn)=1\binom{n}{0} = \binom{n}{n} = 1.

Binomial expansion

(nr)=n!r!(n−r)!\binom{n}{r} = \dfrac{n!}{r!(n-r)!}
Binomial coefficient.
(nr)an−r(bx)r\binom{n}{r} a^{n-r}(bx)^{r}
General term.
(1+x)n=1+nx+n(n−1)2!x2+…(1+x)^{n} = 1 + nx + \tfrac{n(n-1)}{2!}x^{2} + \dots
Rational n, ∣x∣<1|x| < 1.

Stretch yourself

In the expansion of (1+kx)n(1 + kx)^{n}, where nn is a positive integer, the coefficient of xx is 1212 and the coefficient of x2x^{2} is 6060. Find nn and kk.

Hint — Write both coefficients in terms of nn and kk, then divide one equation by the square of the other to eliminate kk.

Reveal solution
SolutionThe coefficient of xx is nk=12nk = 12, and of x2x^{2} is n(n−1)2k2=60\dfrac{n(n-1)}{2}k^{2} = 60. From the first, k=12nk = \dfrac{12}{n}, so n(n−1)2×144n2=60\dfrac{n(n-1)}{2} \times \dfrac{144}{n^{2}} = 60, which simplifies to 72(n−1)n=60\dfrac{72(n-1)}{n} = 60. Then 72n−72=60n72n - 72 = 60n, so n=6n = 6 and k=2k = 2. Check: (1+2x)6(1 + 2x)^{6} has xx-coefficient 6×2=126 \times 2 = 12 ✓ and x2x^{2}-coefficient 15×4=6015 \times 4 = 60 ✓. ■\blacksquare

Questions students ask

When is a binomial expansion finite?
Only when nn is a non-negative integer. Then there are exactly n+1n + 1 terms.
Why does the rational-power expansion need ∣x∣<1|x| < 1?
The series is infinite, and it only converges — adds up to a finite value equal to (1+x)n(1+x)^{n} — when the powers of xx shrink, which needs ∣x∣<1|x| < 1.
Should I use Pascal’s triangle or the formula?
Pascal’s triangle is quick for small nn. For nn above about 6, or for a single coefficient, use (nr)\binom{n}{r}.
How is this connected to probability?
(nr)\binom{n}{r} counts the ways to get rr successes in nn trials, which is why it appears in the binomial distribution.

Key takeaways

  • Coefficients are (nr)\binom{n}{r}, from Pascal’s triangle or n!r!(n−r)!\dfrac{n!}{r!(n-r)!}.
  • For positive integer nn, (a+b)n(a + b)^{n} has n+1n + 1 terms with general term (nr)an−rbr\binom{n}{r}a^{n-r}b^{r}.
  • For rational nn, (1+x)n(1 + x)^{n} is an infinite series valid for ∣x∣<1|x| < 1.
  • For (a+bx)n(a + bx)^{n} with rational nn, factor out ana^{n}; validity is ∣x∣<∣a/b∣|x| < |a/b|.
  • The first few terms give approximations when xx is small.

How this fits the course

Test yourself

Answer a few questions, then review anything you missed.

Next step

Keep practising

Start with the quiz above to check the key ideas. You can also choose another topic from the practice library.

Browse practice topics

Related lessons

All 7 lessons

Put the methods into practice: see how A-Level maths duels work. An account is required to play; the overview and sample are public.