Free access until 31 December 2026 · Physics and Maths questions and notes, updated continuously · Build a test · Get an email before anything changes
IAL Maths (Edexcel) · P4 · Topic P4.3A2≈ 25 min read

P4.3 The binomial series

⤓ Presentation⤓ PowerPointPresentation: opens offline in any browser, simulations live. PowerPoint: editable.

A2 content for Pure Mathematics 4 (specification section 4.1). The expansion of \((a + b)^n\) for positive integer \(n\) is in P2; partial fractions are found on the P4.1 page and only used here.

What this page covers

7 points
  • The binomial series for \((1 + x)^n\) when \(n\) is any rational number, and why it is infinite unless \(n\) is a positive integer
  • The range of validity \(|x| < 1\), and \(\left|\frac{bx}{a}\right| < 1\) for \((a + bx)^n\)
  • Expanding \((a + bx)^n\) by taking out \(a^n\)
  • Expanding products such as \((3 - x)(1 + 2x)^{-1/2}\)
  • Finding unknown constants from given coefficients, and finding a particular coefficient
  • Using a truncated series to approximate a root or a value, and judging its accuracy
  • Expanding a rational function by first splitting it into partial fractions

In one minute

5 points
  • For any rational \(n\), \((1 + x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots\); if \(n\) is a positive integer the series stops, otherwise it is infinite and only valid for \(|x| < 1\).
  • Replace \(x\) by the whole term: in \((1 - 3x)^{-2}\), use \((-3x)\), so \((-3x)^2 = 9x^2\); validity becomes \(|3x| < 1\).
  • \((a + bx)^n = a^n\left(1 + \frac{b}{a}x\right)^n\), valid for \(|x| < \left|\frac{a}{b}\right|\). Do not forget the \(a^n\) outside.
  • For approximations choose \(x\) small and inside the range of validity; each term is then much smaller than the one before.
  • A rational function: split into partial fractions, expand each one, add like terms; the whole expansion is valid where every part is valid (the narrowest range).

Contents

12 sections
  1. What is the binomial series for (1 + x)ⁿ?
  2. When is the expansion valid?
  3. How do you expand (a + bx)ⁿ?
  4. How do you find unknown constants and coefficients?
  5. How do you use the series to approximate?
  6. How do partial fractions help you expand?
  7. Exam tips for P4.3
  8. Common misconceptions
  9. How this topic connects
  10. Key formulae
  11. Check your understanding
  12. Specification checklist

What is the binomial series for (1 + x)ⁿ?

In P2 the binomial expansion of \((1 + x)^n\) stopped after \(n + 1\) terms. When \(n\) is negative or a fraction, the same coefficient pattern never stops: you get an infinite series that equals the function only for small enough \(x\). Three skills follow from that one formula: writing out the first few terms correctly, stating where they are valid, and putting them to use.

The binomial series \[(1 + x)^n = 1 + nx + \frac{n(n-1)}{1 \times 2}x^2 + \cdots + \frac{n(n-1)\cdots(n-r+1)}{1 \times 2 \times \cdots \times r}x^r + \cdots\] \(n\) is any rational number (negative, fractional or a positive integer); \(x\) is the variable, or any expression in its place. The term in \(x^r\) has \(r\) factors on top, starting at \(n\) and going down by 1 each time, and \(r!\) underneath. In the formulae list, given with the condition \(|x| < 1\).

It is valid for \(|x| < 1\) when \(n\) is not a positive integer. When \(n\) is a positive integer, the factor \((n - n) = 0\) appears and every later term is zero, so you get the finite P2 expansion, valid for all \(x\).

Why the series is infinite

For \(n = 3\) the coefficients are 1, 3, \(\frac{3\times2}{2} = 3\), \(\frac{3\times2\times1}{6} = 1\) and then \(\frac{3\times2\times1\times0}{24} = 0\): the expansion stops, giving \((1 + x)^3 = 1 + 3x + 3x^2 + x^3\). For \(n = \frac12\) the factors on top are \(\frac12, -\frac12, -\frac32, -\frac52, \ldots\) and none of them is ever 0, so the terms never stop. The \({}^nC_r\) key on a calculator only works for positive whole \(n\); for rational \(n\), build each coefficient by hand from the pattern.

12345−0.50.511.522.533.5Or (power of x)coefficientblue: n = 3red: n = ½n = 3 stops: all zero from r = 4
Coefficients of x^r in (1 + x)³ (blue) and (1 + x)^½ (red). For n = 3 a factor of zero appears at r = 4 and every later coefficient vanishes. For n = ½ the coefficients 1, ½, −1/8, 1/16, −5/128, 7/256, … alternate in sign and shrink, but never become zero.

A reliable layout is to write each term as "coefficient pattern × (whole term)":

TermCoefficient patternBracket the whole term
constant1—
\(x\)\(n\)\(\times (t)\)
\(x^2\)\(\frac{n(n-1)}{2}\)\(\times (t)^2\)
\(x^3\)\(\frac{n(n-1)(n-2)}{6}\)\(\times (t)^3\)

Here \(t\) is whatever replaces \(x\) inside \((1 + t)^n\), such as \(4x\), \(-3x\) or \(-\frac{x}{4}\), always with its sign and in a bracket.

Worked example 1 Easy · Find

Find the binomial expansion of \(\sqrt{1 + 4x}\), in ascending powers of \(x\), up to and including the term in \(x^3\). Simplify each coefficient.

Write it as a power: \(\sqrt{1 + 4x} = (1 + 4x)^{1/2}\), so \(n = \frac12\) and \(t = 4x\).

Substitute, keeping \(4x\) in brackets: \(1 + \left(\tfrac12\right)(4x) + \frac{\left(\frac12\right)\left(-\frac12\right)}{2}(4x)^2 + \frac{\left(\frac12\right)\left(-\frac12\right)\left(-\frac32\right)}{6}(4x)^3\).

Simplify each term: \(\left(\tfrac12\right)(4x) = 2x\); \(\left(-\tfrac18\right)(16x^2) = -2x^2\); \(\left(\tfrac{1}{16}\right)(64x^3) = 4x^3\). \(\sqrt{1 + 4x} = 1 + 2x - 2x^2 + 4x^3 + \cdots\), valid for \(|4x| < 1\), i.e. \(|x| < \frac14\).

−0.5−0.250.250.5−0.50.511.522.5Oy = √(1 + 4x)red: quadraticteal: cubicvalid: |x| < ¼
The curve y = √(1 + 4x) with its quadratic and cubic approximations. All three agree closely near x = 0, where the higher powers are tiny; towards the edges of the valid strip |x| < ¼ they separate, and for x < −¼ the square root does not exist even though the polynomials do.
Common error

Writing \(4x^2\) instead of \((4x)^2 = 16x^2\). The power applies to the whole term, coefficient and sign included: \((-3x)^3 = -27x^3\).

When is the expansion valid?

The range of validity is the set of values of \(x\) for which the infinite series adds up to the function. For \((1 + t)^n\), it is all \(x\) with \(|t| < 1\). For \((1 + kx)^n\): \(|kx| < 1 \Leftrightarrow |x| < \frac{1}{|k|}\), which can also be written \(-\frac{1}{|k|} < x < \frac{1}{|k|}\).

The simplest case shows why. \(\frac{1}{1-x} = (1 - x)^{-1} = 1 + x + x^2 + x^3 + \cdots\) is a geometric series with ratio \(x\), which converges only when \(|x| < 1\). Inside the range, adding more terms gets closer to the true value: at \(x = \frac12\), \(1 + \frac12 + \frac14 + \frac18 = \frac{15}{8}\), approaching 2. Outside it, the terms grow and the sums run away. When \(n\) is a positive integer there is no restriction: the expansion is finite and true for all \(x\).

−2−112−112345678Oy = 1/(1 − x)valid: −1 < x < 1red: to x²teal: to x⁴black: to x⁸
y = 1/(1 − x) and partial sums of its series 1 + x + x² + …. In the shaded strip −1 < x < 1 each extra term brings the polynomial closer to the curve; outside it, more terms make the error worse. At x = −1.5 the curve is at 0.4 but the sum up to x⁸ is above 6 (about 15.8).
Worked example 2 Medium · Expand, state

(a) Expand \(\frac{1}{(1 - 3x)^2}\) in ascending powers of \(x\), up to and including the term in \(x^3\). (b) State the range of values of \(x\) for which the expansion is valid.

(a) Write as \((1 - 3x)^{-2}\): \(n = -2\), \(t = -3x\). Substitute: \(1 + (-2)(-3x) + \frac{(-2)(-3)}{2}(-3x)^2 + \frac{(-2)(-3)(-4)}{6}(-3x)^3 = 1 + 6x + 3(9x^2) + (-4)(-27x^3)\). \(1 + 6x + 27x^2 + 108x^3 + \cdots\)

(b) \(|-3x| < 1 \Rightarrow\) \(|x| < \frac13\), i.e. \(-\frac13 < x < \frac13\)

Two negatives make every term positive here: \((-2)(-3x) = +6x\) and \((-4)(-27x^3) = +108x^3\). Count the minus signs in each term before you simplify.

−1/31/324681012Oy = (1 − 3x)⁻²red: 1 + 6x + 27x² + 108x³
Worked example 2: (1 − 3x)⁻² and its cubic approximation agree near x = 0. The curve has an asymptote at x = ⅓, the edge of the valid range; on the left the cubic plunges negative while the curve stays positive.

How do you expand (a + bx)ⁿ?

The series in the formulae list needs a 1 in front. If the bracket starts with any other number, factor it out first.

Taking out the constant first \[(a + bx)^n = a^n\left(1 + \frac{bx}{a}\right)^n\] \(a\) is the constant term (it must become 1 inside the bracket); \(a^n\) is the factor taken outside, e.g. \(4^{-1/2} = \frac12\), \(8^{1/3} = 2\), \(3^{-2} = \frac19\); and \(t = \frac{bx}{a}\). Valid for \(\left|\frac{bx}{a}\right| < 1\), i.e. \(|x| < \left|\frac{a}{b}\right|\). Not in the formulae list in this form (it gives only \((1 + x)^n\)): derive it.
Worked example 3 Medium · Find, state

Find the first four terms, in ascending powers of \(x\), of the binomial expansion of \(\frac{1}{\sqrt{4 - x}}\), giving each coefficient as a simplified fraction, and state the range of validity.

Write as a power and take out \(4^{-1/2}\): \((4 - x)^{-1/2} = 4^{-1/2}\left(1 - \frac{x}{4}\right)^{-1/2} = \frac12\left(1 - \frac{x}{4}\right)^{-1/2}\).

Expand the bracket with \(n = -\frac12\), \(t = -\frac{x}{4}\): \(1 + \left(-\tfrac12\right)\left(-\tfrac{x}{4}\right) + \frac{\left(-\frac12\right)\left(-\frac32\right)}{2}\left(-\tfrac{x}{4}\right)^2 + \frac{\left(-\frac12\right)\left(-\frac32\right)\left(-\frac52\right)}{6}\left(-\tfrac{x}{4}\right)^3 = 1 + \frac{x}{8} + \frac{3x^2}{128} + \frac{5x^3}{1024}\).

Multiply by \(\frac12\): \(\frac{1}{\sqrt{4 - x}} = \frac12 + \frac{x}{16} + \frac{3x^2}{256} + \frac{5x^3}{2048} + \cdots\) Validity: \(\left|-\frac{x}{4}\right| < 1 \Rightarrow\) \(|x| < 4\)

−6−5−4−3−2−1123450.511.52Oy = 1/√(4 − x)quadratic(0, ½)valid: −4 < x < 4
y = (4 − x)^(−½) and the quadratic from worked example 3. The curve crosses the y-axis at 4^(−½) = ½, which is why that factor sits outside the bracket. The series is valid for −4 < x < 4, ending at the asymptote x = 4.

Products of a polynomial and a series

Expand the binomial part first, up to the power you need. Multiply by each term of the polynomial and collect only the terms up to the required power: terms beyond it are not needed and are not accurate anyway. The range of validity is that of the binomial part; multiplying by a polynomial does not change it.

Worked example 4 Medium · Show that

Show that, for small \(x\), \(\frac{3 - x}{\sqrt{1 + 2x}} \approx 3 - 4x + \frac{11}{2}x^2\), and state the values of \(x\) for which the expansion is valid.

Expand \((1 + 2x)^{-1/2}\) to the \(x^2\) term: \(1 + \left(-\tfrac12\right)(2x) + \frac{\left(-\frac12\right)\left(-\frac32\right)}{2}(2x)^2 = 1 - x + \frac38(4x^2) = 1 - x + \frac32 x^2\).

Multiply by \((3 - x)\), keeping terms up to \(x^2\): \(3\left(1 - x + \tfrac32 x^2\right) - x(1 - x) = 3 - 3x + \frac92 x^2 - x + x^2\). \(3 - 4x + \frac{11}{2}x^2\) as required. Validity: \(|2x| < 1 \Rightarrow\) \(|x| < \frac12\)

−0.5−0.250.250.50.751123456O(0, 3)blue: (3 − x)/√(1 + 2x)red: 3 − 4x + 11x²/2
Worked example 4: near x = 0 the quadratic 3 − 4x + 11x²/2 follows (3 − x)/√(1 + 2x) closely. The function has an asymptote at x = −½, the edge of the valid range |x| < ½; multiplying by (3 − x) has not changed that range.

How do you find unknown constants and coefficients?

Write the general expansion with the unknowns left in: \((1 + kx)^n = 1 + nkx + \frac{n(n-1)}{2}k^2x^2 + \cdots\). Equate coefficients with the given ones: each matching power of \(x\) gives one equation. Two unknowns need two equations. When one equation contains \(nk\) and another \(n(n-1)k^2\), square the first and divide to eliminate \(k\). To find a single coefficient, you only need that one term: the coefficient of \(x^r\) in \((1 + t)^n\) uses \(r\) factors on top and \(r!\) underneath.

Worked example 5 Hard · Find, state

The binomial expansion of \((1 + kx)^n\), where \(k\) and \(n\) are constants and \(n\) is not a positive integer, begins \(1 - 2x + 6x^2 + \cdots\). (a) Find the values of \(n\) and \(k\). (b) Find the coefficient of \(x^3\). (c) State the range of validity.

(a) Equate coefficients. \(x\): \(nk = -2\). \(x^2\): \(\frac{n(n-1)}{2}k^2 = 6\), so \(n(n-1)k^2 = 12\). Eliminate \(k\) using \(n^2k^2 = (-2)^2 = 4\): \(\frac{n(n-1)k^2}{n^2k^2} = \frac{12}{4} \Rightarrow \frac{n-1}{n} = 3 \Rightarrow n - 1 = 3n\). Then \(k = \frac{-2}{n} = \frac{-2}{-1/2}\). \(n = -\frac12\), \(k = 4\)

(b) The \(x^3\) term of \((1 + 4x)^{-1/2}\): \(\frac{\left(-\frac12\right)\left(-\frac32\right)\left(-\frac52\right)}{6}(4x)^3 = \left(-\tfrac{5}{16}\right)(64x^3)\). −20

(c) \(|4x| < 1 \Rightarrow\) \(|x| < \frac14\) Check: \((1 + 4x)^{-1/2} = 1 - 2x + 6x^2 - 20x^3 + \cdots\) reproduces both given coefficients.

Exam tip 1 — check both equations

When you divide one coefficient equation by another, check that the values you find satisfy both original equations. Squaring \(nk = -2\) throws away its sign, so the sign of \(k\) must come from \(nk = -2\) itself.

How do you use the series to approximate?

Choose a value of \(x\) that turns the bracket into the number you want, and that lies inside the range of validity; the smaller \(|x|\), the better. Substitute into the truncated series: with \(|x|\) small each term is much smaller than the one before, so the first few terms give an accurate value. To find a surd such as \(\sqrt6\), find a number close to 1 whose square root is a simple multiple of \(\sqrt6\), e.g. \(0.96 = \frac{96}{100} = \frac{16 \times 6}{100}\). Judge accuracy with

\[\text{percentage error} = \frac{|\text{approximation} - \text{true value}|}{\text{true value}} \times 100\%.\]
1xx²x³x⁴x⁵10⁻⁸10⁻⁶10⁻⁴10⁻²1size of termblue: x = 0.02red: x = 0.4
The size of each term of the series for √(1 − 2x), on a logarithmic scale. At x = 0.02 the terms are 1, 0.02, 0.0002, 0.000004, …: after four terms the next one changes only the seventh decimal place. At x = 0.4 the terms 1, 0.4, 0.08, 0.032, … shrink slowly, so the same four terms give a much poorer approximation.
Worked example 6 Medium · Expand, find

(a) Expand \(\sqrt{1 - 2x}\) in ascending powers of \(x\), up to and including the term in \(x^3\). (b) By substituting \(x = 0.02\) into your expansion, find an approximation for \(\sqrt6\), giving your answer to 5 decimal places.

(a) \(n = \frac12\), \(t = -2x\): \(1 + \left(\tfrac12\right)(-2x) + \frac{\left(\frac12\right)\left(-\frac12\right)}{2}(-2x)^2 + \frac{\left(\frac12\right)\left(-\frac12\right)\left(-\frac32\right)}{6}(-2x)^3 = 1 - x - \frac18(4x^2) + \frac{1}{16}(-8x^3)\). \(1 - x - \frac12x^2 - \frac12x^3\)

(b) Check validity: \(|2 \times 0.02| = 0.04 < 1\). Simplify the left-hand side: \(\sqrt{1 - 0.04} = \sqrt{0.96} = \sqrt{\frac{16 \times 6}{100}} = \frac{4\sqrt6}{10} = \frac{2\sqrt6}{5}\). Evaluate the series: \(1 - 0.02 - 0.0002 - 0.000004 = 0.979796\). So \(\frac{2\sqrt6}{5} \approx 0.979796 \Rightarrow \sqrt6 \approx \frac52 \times 0.979796\). \(\sqrt6 \approx 2.44949\)

A calculator gives \(\sqrt6 = 2.449490\) to 6 d.p.; the percentage error is only about \(1 \times 10^{-5}\)%, because \(x = 0.02\) is so small.

Common error

Substituting a value outside the range of validity. With \(\sqrt{1 + 4x}\) and \(x = 1\) you would be estimating \(\sqrt5\) from \(1 + 2 - 2 + 4 = 5\), nowhere near \(\sqrt5 \approx 2.24\). The series only represents the function when \(|4x| < 1\).

How do partial fractions help you expand?

A rational function such as \(\frac{1 + 8x}{(1 - 2x)(2 + x)}\) has no single binomial form, but each partial fraction does: \(\frac{A}{1 - 2x} = A(1 - 2x)^{-1}\). Split into partial fractions, expand each one with the binomial series, then add the coefficients of each power. A repeated factor gives a term like \(\frac{C}{(1 + 2x)^2} = C(1 + 2x)^{-2}\): still one binomial expansion. Each piece has its own range of validity; the sum is valid only where all of them are valid, so take the smallest range.

Worked example 7 Medium · Express, find, state

\(f(x) = \frac{1 + 8x}{(1 - 2x)(2 + x)}\). (a) Express \(f(x)\) in partial fractions. (b) Hence find the series expansion of \(f(x)\) in ascending powers of \(x\), up to and including the term in \(x^2\). (c) State the range of validity.

(a) \(1 + 8x \equiv A(2 + x) + B(1 - 2x)\). \(x = \frac12\): \(5 = \frac52 A \Rightarrow A = 2\); \(x = -2\): \(-15 = 5B \Rightarrow B = -3\). \(f(x) = \frac{2}{1 - 2x} - \frac{3}{2 + x}\)

(b) First fraction, \(n = -1\), \(t = -2x\): \(2(1 - 2x)^{-1} = 2(1 + 2x + 4x^2 + \cdots) = 2 + 4x + 8x^2\). Second, taking out \(2^{-1}\): \(3(2 + x)^{-1} = \frac32\left(1 + \frac{x}{2}\right)^{-1} = \frac32\left(1 - \frac{x}{2} + \frac{x^2}{4} - \cdots\right) = \frac32 - \frac{3x}{4} + \frac{3x^2}{8}\). Subtract and collect: \(\left(2 - \frac32\right) + \left(4 + \frac34\right)x + \left(8 - \frac38\right)x^2\). \(\frac12 + \frac{19}{4}x + \frac{61}{8}x^2\)

(c) \(|2x| < 1 \Rightarrow |x| < \frac12\); \(\left|\frac{x}{2}\right| < 1 \Rightarrow |x| < 2\). Both hold when \(|x| < \frac12\) Check: \(f(0) = \frac{1}{1 \times 2} = \frac12\), the constant term.

−3−2−11−8−6−4−22468O(0, ½)valid: |x| < ½
y = f(x) from worked example 7 (blue) with its quadratic approximation ½ + 19x/4 + 61x²/8 (red, dashed). The asymptotes x = −2 and x = ½ come from the two factors, and the series is valid only up to the nearer one: |x| < ½.
Worked example 8 Hard · Find, state, estimate

\(g(x) = \frac{6 + 2x + 10x^2}{(2 - x)(1 + 2x)^2}\). (a) Given that \(g(x) = \frac{A}{2 - x} + \frac{B}{1 + 2x} + \frac{C}{(1 + 2x)^2}\), find \(A\), \(B\) and \(C\). (b) Hence, or otherwise, find the series expansion of \(g(x)\) up to and including the term in \(x^2\), simplifying each coefficient. (c) State the range of validity. (d) Use your expansion to estimate \(g(0.01)\) and compare it with the exact value.

(a) \(6 + 2x + 10x^2 \equiv A(1 + 2x)^2 + B(2 - x)(1 + 2x) + C(2 - x)\). \(x = 2\): \(6 + 4 + 40 = 25A \Rightarrow A = 2\). \(x = -\frac12\): \(6 - 1 + \frac52 = \frac52 C \Rightarrow C = 3\). Constant terms: \(6 = A + 2B + 2C = 2 + 2B + 6\). \(A = 2\), \(B = -1\), \(C = 3\)

(b) \(\frac{2}{2 - x} = \left(1 - \frac{x}{2}\right)^{-1} = 1 + \frac{x}{2} + \frac{x^2}{4}\); \(-\frac{1}{1 + 2x} = -(1 - 2x + 4x^2) = -1 + 2x - 4x^2\); \(3(1 + 2x)^{-2} = 3\left(1 + (-2)(2x) + \frac{(-2)(-3)}{2}(2x)^2\right) = 3 - 12x + 36x^2\). Add: \((1 - 1 + 3) + \left(\frac12 + 2 - 12\right)x + \left(\frac14 - 4 + 36\right)x^2\). \(3 - \frac{19}{2}x + \frac{129}{4}x^2\)

(c) \(\left|\frac{x}{2}\right| < 1\) gives \(|x| < 2\); \(|2x| < 1\) gives \(|x| < \frac12\). \(|x| < \frac12\)

(d) Series: \(3 - 0.095 + 0.003225 = 2.908225\). Exact: \(\frac{6.021}{1.99 \times 1.0404} = 2.908139\) (6 d.p.). Both round to 2.908; the percentage error is about 0.003%

−112−4−22468101214O(0, 3)valid: |x| < ½
y = g(x) from worked example 8 (blue) and its quadratic approximation 3 − 19x/2 + 129x²/4 (red, dashed). The repeated factor (1 + 2x)² makes the curve go to +∞ on both sides of x = −½; that asymptote is the nearer one to the origin, so it fixes the range of validity |x| < ½.
Exam tip 2 — check the constant term

Check your expansion of a rational function by putting \(x = 0\): the constant term must equal \(f(0)\). Here \(g(0) = \frac{6}{2 \times 1} = 3\), the first term of the series. It catches most sign slips in the partial fractions.

Exam tips for P4.3

Exam tip 3 — brackets round every term

Write \(\left(-\frac{x}{4}\right)^2\) and \((2x)^3\) in full before simplifying. Most lost accuracy in this topic comes from a coefficient or a minus sign left outside the power.

Exam tip 4 — the constant must be 1

The series in the formulae list is for \((1 + x)^n\). If the bracket starts with any other number, take out \(a^n\) first, and remember to multiply every term by it at the end.

Exam tip 5 — always give the validity

If a question asks for the range of validity, give it as \(|x| < \ldots\) or as a double inequality. For a sum of several expansions, state the narrowest range, and show where it comes from.

Exam tip 6 — show the substitution in approximations

Say which value of \(x\) you use, check it is inside the range of validity, and show how the left-hand side becomes the number you want (\(\sqrt{0.96} = \frac{2\sqrt6}{5}\)). The answer alone does not show the method.

Exam tip 7 — "hence" means use the partial fractions

After "hence" in a partial-fraction question, expand each fraction separately. Multiplying three separate series together instead takes far longer and gives more chances for slips.

Common misconceptions

MisconceptionWhy it is wrongCorrect idea
\((1 + 3x)^{-1} = 1 - 3x + 3x^2 - \cdots\)The power is applied only to \(x\), not to \(3x\).\((1 + 3x)^{-1} = 1 - 3x + 9x^2 - 27x^3 + \cdots\)
\((4 + x)^{1/2} = 4\left(1 + \frac{x}{4}\right)^{1/2}\)The factor taken out must be raised to the power \(n\).\((4 + x)^{1/2} = 4^{1/2}\left(1 + \frac{x}{4}\right)^{1/2} = 2\left(1 + \frac{x}{4}\right)^{1/2}\)
The expansion of \((1 - 3x)^{-2}\) is valid for \(|x| < 1\).The condition applies to the whole term \(-3x\).\(|3x| < 1\), i.e. \(|x| < \frac13\).
The series for a rational function is valid for the widest of the separate ranges.Outside a narrower range one of the pieces diverges, so the sum does too.Take the narrowest range: where every piece is valid.
Any value of \(x\) can be substituted into the expansion.Outside the range the series does not add up to the function.Choose a small \(x\) inside the range of validity.
\({}^nC_r\) on a calculator gives the coefficients for \(n = -2\) or \(n = \frac12\).\({}^nC_r\) is defined there only for whole numbers \(n \ge r \ge 0\).Use \(\frac{n(n-1)\cdots(n-r+1)}{r!}\) written out by hand.

How this topic connects

P2 Binomial expansion and series

The coefficient pattern is the same as \({}^nC_r\), and the geometric series and its sum to infinity explain why \(\frac{1}{1-x}\) needs \(|x| < 1\).

P4.1 Partial fractions and P4.6 Integration

Partial fractions turn a rational function into pieces you can expand (this page) or integrate (to logarithms). Ideas such as \(\sqrt{1 + x} \approx 1 + \frac{x}{2}\) for small \(x\) sit alongside the small-angle approximations of trigonometry, and are a first look at the power series of later courses.

IAL Physics

Binomial approximations simplify formulas when one quantity is much smaller than another, for example \((1 + h/R)^{-2} \approx 1 - 2h/R\) for gravitational field strength a small height \(h\) above a planet of radius \(R\).

Key formulae

FormulaUseIn the formulae list?
\((1 + x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots\), \(|x| < 1\), \(n \in \mathbb{Q}\)the binomial series for any rational powerYes
\((a + b)^n = a^n + {}^nC_1 a^{n-1}b + \cdots + b^n\), \(n \in \mathbb{N}\)finite expansion for a positive integer power (from P2)Yes
\((a + bx)^n = a^n\left(1 + \frac{bx}{a}\right)^n\)reduce to the \((1 + t)^n\) form before expandingNo — derive it
\(\left|\frac{bx}{a}\right| < 1 \Leftrightarrow |x| < \left|\frac{a}{b}\right|\)range of validity of \((a + bx)^n\)No — derive it
\((1 - x)^{-1} = 1 + x + x^2 + x^3 + \cdots\), \(|x| < 1\)the quickest expansion, used with every partial fraction of the form \(\frac{A}{1 - kx}\)No — derive it
percentage error \(= \frac{|\text{approx} - \text{true}|}{\text{true}} \times 100\%\)judging the accuracy of an approximationNo — learn it

Check your understanding

1. Write down the first three terms of the expansion of \((1 + x)^{-4}\).

\(1 + (-4)x + \frac{(-4)(-5)}{2}x^2 = 1 - 4x + 10x^2\), valid for \(|x| < 1\).

2. For which values of \(x\) is the binomial expansion of \((5 - 2x)^{1/3}\) valid?

\((5 - 2x)^{1/3} = 5^{1/3}\left(1 - \frac{2x}{5}\right)^{1/3}\), so it needs \(\left|\frac{2x}{5}\right| < 1\), i.e. \(|x| < \frac52\).

3. Find the coefficient of \(x^2\) in the expansion of \(\frac{1}{\sqrt{1 - x}}\).

\(n = -\frac12\), \(t = -x\): \(\frac{\left(-\frac12\right)\left(-\frac32\right)}{2}(-x)^2 = \frac38 x^2\), so the coefficient is \(\frac38\).

4. A student puts \(x = 1\) into \(1 + 2x - 2x^2 + 4x^3\) to estimate \(\sqrt5\). What has gone wrong?

The series for \(\sqrt{1 + 4x}\) is valid only for \(|x| < \frac14\). At \(x = 1\) the terms grow instead of shrinking and the sum, 5, is nothing like \(\sqrt5 \approx 2.24\). Rewrite \(\sqrt5\) using a number close to 1 instead, as in worked example 6.

5. Use partial fractions to expand \(\frac{1}{(1 - x)(1 + x)}\) up to the term in \(x^4\).

\(\frac{1}{(1-x)(1+x)} = \frac{1/2}{1-x} + \frac{1/2}{1+x} = \frac12(1 + x + x^2 + x^3 + x^4) + \frac12(1 - x + x^2 - x^3 + x^4) = 1 + x^2 + x^4 + \cdots\), valid for \(|x| < 1\). The odd powers cancel, as they must: the function is unchanged when \(x\) is replaced by \(-x\).

6. Find the coefficient of \(x^3\) in the expansion of \((1 + x)^{-4}\).

\(\frac{(-4)(-5)(-6)}{3!} = \frac{-120}{6} = -20\). So \((1 + x)^{-4} = 1 - 4x + 10x^2 - 20x^3 + \cdots\).

Specification checklist

  • (P4 4.1) I can expand \((1 + x)^n\) for any rational \(n\) as far as a required power, building each coefficient from \(\frac{n(n-1)\cdots(n-r+1)}{r!}\).
  • (P4 4.1) I can state that the series is valid for \(|x| < 1\), and give the range of validity for expansions such as \((1 + kx)^n\).
  • (P4 4.1) I can expand \((a + bx)^n\) by writing it as \(a^n\left(1 + \frac{bx}{a}\right)^n\), and state that it is valid for \(\left|\frac{bx}{a}\right| < 1\).
  • (P4 4.1) I can multiply a binomial series by a polynomial and find unknown constants or a particular coefficient from given information.
  • (P4 4.1) I can use a truncated expansion with a suitable small value of \(x\) to approximate a root or a value, and comment on its accuracy.
  • (P4 4.1) I can split a rational function into partial fractions, expand each part, combine them and state the range of validity of the result.