A-Level Further Maths 9231 / Topic 1.3 / AS & A Level
Add up forever and still get a number.
Once you have a formula for \(S_n\), the sum of the first \(n\) terms, you can ask what happens as \(n\) grows without limit. If \(S_n\) settles on a finite value the series converges and that value is its sum to infinity; if \(S_n\) keeps growing it diverges. You decide by looking hard at the terms in \(n\) that are left in \(S_n\).
A series \(\displaystyle\sum_{r=1}^{\infty} u_r\) is convergent if \(S_n = \displaystyle\sum_{r=1}^{n} u_r\) tends to a finite limit \(S\) as \(n \to \infty\); then \(S\) is the sum to infinity. Find \(S_n\) first (standard results, differences, geometric formula), then look at each term containing \(n\): terms like \(\dfrac{1}{n+1}\) or \(\left(\tfrac{1}{2}\right)^{n}\) tend to 0, while terms like \(n^{2}\), \(\sqrt{n+1}\) or \(\ln(n+1)\) grow without limit and make the series divergent. Terms \(u_r \to 0\) is NOT enough for convergence.
Fig. 1: the partial sums S_n of the series with terms 1/(r(r + 2)), plotted for n = 1 to 12. They rise towards the dashed line at 3/4 but never reach it; the blue arrow shows the gap S - S_n at n = 4
Section 01
What converges means.
A series has infinitely many terms, so you cannot add them all directly. Instead, find \(S_n\), the sum of the first \(n\) terms, as a formula in \(n\). If \(S_n\) gets as close as you like to a fixed number \(S\) as \(n \to \infty\), the series is convergent and you write \(\displaystyle\sum_{r=1}^{\infty} u_r = S\). The syllabus asks you to decide this by direct consideration of \(S_n\): look at every term that still contains \(n\) and say what it does.
\(\dfrac{1}{n}\), \(\dfrac{1}{n+1}\), \(\dfrac{1}{(n+1)(n+2)}\), \(\dfrac{1}{\sqrt{n}}\): all tend to \(0\).
\(x^{n}\) with \(|x| < 1\), for example \(\left(\tfrac{2}{3}\right)^{n}\): tends to \(0\).
\(\dfrac{n}{2n+1} = \dfrac{1}{2 + \frac{1}{n}}\): divide top and bottom by \(n\); it tends to \(\dfrac{1}{2}\).
\(n\), \(n^{2}\), \(\sqrt{n+1}\), \(\ln(n+1)\), \(2^{n}\): grow without limit, so \(S_n\) has no finite limit.
Worked example Differences, then the limit
Given that \(\displaystyle\sum_{r=1}^{n} \frac{1}{r(r+2)} = \frac{3}{4} - \frac{1}{2(n+1)} - \frac{1}{2(n+2)}\), show that the series is convergent and state its sum to infinity.
(The formula comes from \(\dfrac{1}{r(r+2)} = \dfrac{1}{2}\left(\dfrac{1}{r} - \dfrac{1}{r+2}\right)\) and the method of differences: \(\dfrac{1}{2}\left(1 + \dfrac{1}{2} - \dfrac{1}{n+1} - \dfrac{1}{n+2}\right)\).)
As \(n \to \infty\), \(\dfrac{1}{2(n+1)} \to 0\) and \(\dfrac{1}{2(n+2)} \to 0\).
So \(S_n \to \dfrac{3}{4} - 0 - 0\), a finite limit: the series converges (Fig. 1).
Find \(\displaystyle\sum_{r=1}^{n} 3\left(\tfrac{1}{2}\right)^{r}\) and hence the sum to infinity.
Geometric with first term \(a = \dfrac{3}{2}\) and ratio \(\dfrac{1}{2}\): \(S_n = \dfrac{\frac{3}{2}\left(1 - \left(\frac{1}{2}\right)^{n}\right)}{1 - \frac{1}{2}} = 3\left(1 - \left(\tfrac{1}{2}\right)^{n}\right)\).
As \(n \to \infty\), \(\left(\tfrac{1}{2}\right)^{n} \to 0\), so \(S_n \to 3\).
This agrees with \(S = \dfrac{a}{1 - x} = \dfrac{3/2}{1/2} = 3\): the familiar formula is just this limit.
Answer: \(S_n = 3 - 3\left(\tfrac{1}{2}\right)^{n}\), sum to infinity \(3\)
Examiner trap
Do not 'put \(n = \infty\)' into \(S_n\). Write the limit argument in words: '\(\dfrac{1}{n+1} \to 0\) as \(n \to \infty\), so \(S_n \to \dfrac{3}{4}\)'. The mark is for saying which terms tend to zero.
Section 02
When a series diverges.
If \(S_n\) grows without limit, or never settles, the series is divergent and has no sum to infinity. Series of positive terms whose \(S_n\) behaves like \(n\) or \(n^{2}\) are the obvious cases: \(\displaystyle\sum_{r=1}^{n} r = \tfrac{1}{2}n(n+1)\) is unbounded. The less obvious cases are series whose terms shrink to zero but whose sum still grows.
The harmonic series \(1 + \tfrac{1}{2} + \tfrac{1}{3} + \tfrac{1}{4} + \dots\) is the famous example: its terms tend to 0, yet its partial sums pass every number eventually (they grow roughly like \(\ln n\)). So 'the terms tend to zero' is necessary for convergence, but it is never enough on its own. Always find \(S_n\) and look at it.
Worked example Shrinking terms, growing sum
Find \(\displaystyle\sum_{r=1}^{n} \left(\sqrt{r+1} - \sqrt{r}\right)\) and decide whether the infinite series converges.
Write out the terms: \((\sqrt{2} - \sqrt{1}) + (\sqrt{3} - \sqrt{2}) + \dots + (\sqrt{n+1} - \sqrt{n})\).
Everything cancels except \(\sqrt{n+1} - 1\).
Each term \(\sqrt{r+1} - \sqrt{r} = \dfrac{1}{\sqrt{r+1} + \sqrt{r}}\) tends to 0, but \(S_n = \sqrt{n+1} - 1\) grows without limit as \(n \to \infty\).
Answer: \(S_n = \sqrt{n+1} - 1\); the series diverges
Worked example A logarithmic telescope
Show that \(\displaystyle\sum_{r=1}^{n} \ln\left(\frac{r+1}{r}\right) = \ln(n+1)\) and comment on convergence.
The terms \(\ln\left(1 + \dfrac{1}{r}\right) \to \ln 1 = 0\), but \(\ln(n+1) \to \infty\).
Answer: \(S_n = \ln(n+1)\), so the series is divergent even though its terms tend to 0
Your turn
Find \(\displaystyle\sum_{r=1}^{n} (2r + 1)\) and say whether the infinite series converges.
\(2 \cdot \tfrac{1}{2}n(n+1) + n = n^{2} + 2n\), which grows without limit, so the series diverges.
Examiner trap
'The terms tend to zero, so the series converges' is a classic wrong reason and scores nothing. Use the terms only to rule convergence OUT (if \(u_r \not\to 0\) it must diverge); to rule it IN, show that \(S_n\) has a finite limit.
Stage 1 · Learn
Check your understanding
Four quick checks. Each correct answer earns XP and records this skill on your profile.
Quick check+10 XP
A series has \(S_n = 5 - \dfrac{3}{n+2}\). What is its sum to infinity?
Quick check+10 XP
Which of these sums to \(n\) terms belongs to a DIVERGENT series?
Quick check+10 XP
The terms \(u_r\) of a series tend to 0 as \(r \to \infty\). What can you conclude?
A typical Paper 1 question runs in a chain: express \(u_r\) in partial fractions, find \(S_n\) by the method of differences, deduce the sum to infinity, then work with the gap \(S - S_n\), which is the sum of all the terms after the \(n\)th: \(S - S_n = \displaystyle\sum_{r=n+1}^{\infty} u_r\). For positive terms the gap is positive and shrinks to 0 (Fig. 1, blue arrow), so you can ask for the least \(n\) that makes \(S_n\) as accurate as you like.
Worked example Partial fractions to a tolerance
Find \(\displaystyle\sum_{r=1}^{n} \frac{2}{(2r-1)(2r+1)}\), deduce the sum to infinity, and find the least \(n\) for which \(S - S_n < 0.001\).
\(n\) is a whole number, so the least value is \(500\). (Check: \(n = 499\) gives \(\tfrac{1}{999} > 0.001\); \(n = 500\) gives \(\tfrac{1}{1001} < 0.001\).)
For \(\displaystyle\sum_{r=1}^{n} \frac{1}{r(r+2)} = \frac{3}{4} - \frac{1}{2(n+1)} - \frac{1}{2(n+2)}\), find the least \(n\) for which \(S_n\) is within \(0.01\) of the sum to infinity.
Using \(\displaystyle\sum_{r=1}^{n} \frac{2}{(2r-1)(2r+1)} = 1 - \frac{1}{2n+1}\), find \(\displaystyle\sum_{r=n+1}^{\infty} \frac{2}{(2r-1)(2r+1)}\) in terms of \(n\).
The terms after the \(n\)th add to \(S - S_n = 1 - \left(1 - \dfrac{1}{2n+1}\right) = \dfrac{1}{2n+1}\).
Examiner trap
When you solve for \(n\) you get a decimal such as \(n > 499.5\) or \(n > 98.50\). Round UP to the next whole number, and check the two whole numbers either side of the boundary; the boundary decimal itself is never the answer.
Stage 2 · Exam
Exam-style questions
Unlocks once the four checks above are done. Worth more XP, written to AS & A Level Further Mathematics Paper 1 to 4 standard.
Finish the four checks above to unlock the exam questions
Exam style+20 XP
Given \(\displaystyle\sum_{r=1}^{n} \frac{1}{(r+1)(r+2)} = \frac{1}{2} - \frac{1}{n+2}\), state the sum to infinity of the series.
Exam style+20 XP
A series has \(S_n = 1 - \dfrac{1}{2n+1}\). Find the least value of \(n\) for which \(S - S_n < 0.01\), where \(S\) is the sum to infinity.
Exam style+20 XP
Given that \(\displaystyle\sum_{r=1}^{n} \ln\left(\frac{r+1}{r}\right) = \ln(n+1)\), which statement is correct?
Exam style+20 XP
Given \(\displaystyle\sum_{r=1}^{n} \frac{2}{(2r-1)(2r+1)} = 1 - \frac{1}{2n+1}\), find \(\displaystyle\sum_{r=n+1}^{\infty} \frac{2}{(2r-1)(2r+1)}\).
Skill unlocked
Infinite sums tamed.
This skill is now recorded on your profile. Keep the chain going.