Pure 4.4 - Arithmetic sequences and series

Pure 4.4 - Arithmetic sequences and series

Adding the same amount repeatedly creates an arithmetic sequence; adding its terms creates an arithmetic series. You will find terms and totals, prove the sum formula, and solve equations involving an unknown number of terms. Contexts with decreasing payments will show why a mathematically valid root can still be unsuitable.

Recognise an arithmetic sequence

Can you add 1+2+⋯+1001+2+\cdots+100 without doing ninety-nine additions? The first and last terms make 101101, and so do the second and second-last. We will turn that observation into a proof that works for any arithmetic series.

You already know

A sequence lists values, while a series adds them. Subtracting a term from the next gives its signed change: for 31,24,17,1031,24,17,10, each difference is −7-7.

For this decreasing list, the first term is a=31a=31 and the common difference is d=−7d=-7. The negative sign describes the direction of change; it is part of the data.

Arithmetic sequence

An arithmetic sequence has the same difference dd between every pair of consecutive terms. Starting at aa, it has terms

a,a+d,a+2d,a+3d,…a,\quad a+d,\quad a+2d,\quad a+3d,\ldots

For example, 18,15,12,9,…18,15,12,9,\ldots is arithmetic with d=−3d=-3. The list 1,2,4,8,…1,2,4,8,\ldots is not arithmetic because its successive differences are 1,2,4,…1,2,4,\ldots.

The difference can be positive, negative or zero. A constant sequence is the boundary case d=0d=0. If only a few terms are displayed, equal differences identify the arithmetic pattern intended; proving an entire formula defines an arithmetic sequence requires showing that the difference is constant for all relevant positions.

For un=5n+2u_n=5n+2,

un+1−un={5(n+1)+2}−(5n+2)=5u_{n+1}-u_n=\{5(n+1)+2\}-(5n+2)=5

This establishes the arithmetic structure for every n∈Nn\in\mathbb N, rather than just checking the first three terms.

Key idea

Arithmetic describes a fixed additive change, including a negative change. It does not mean “positive terms” or “increasing terms”.

Check the sign of a common difference before using any formula.

Find the nth term

To reach term 1818 from term 11, you make 1717 steps. That gap count explains the n−1n-1 in the nth-term formula.

[DIAGRAM: asset_slug: p1_4_4_understand_and_work_with_arithmetic_sequences_and_series__diagram_01; asset_name: Pure 4.4 - Arithmetic sequences and series - diagram 01; recommended_method: drawn_math; description: Two clear panels show n-1 equal additions from the first term to term n and the pairing of a numerical arithmetic series with its reversed copy, giving equal column sums and the general equation 2S_n=n(a+l).]
Diagram

The left-hand picture tracks changes from the first term; it is not a count of how many terms are present.

Nth term of an arithmetic sequence

For n∈Nn\in\mathbb N, first term aa and common difference dd,

un=a+(n−1)du_n=a+(n-1)d

Not in the formula booklet: learn it.

Use this same equation whether the unknown is a term, its position, the first term or the difference.

Worked example 1: counting the steps to a term

Question. An arithmetic sequence has a=12a=12 and d=5d=5. Find u18u_{18}.

Plan. Add 1717 copies of the common difference to the first term.

u18=12+(18−1)(5)nth-term formula=12+85seventeen steps=97add\begin{aligned} u_{18}&=12+(18-1)(5) &&\text{nth-term formula}\\ &=12+85 &&\text{seventeen steps}\\ &=97 &&\text{add} \end{aligned}

Why this step? The first term already supplies 1212, so only 1717 increases are needed.

Answer. 9797.

Check. The increase from 1212 to 9797 is 85=17(5)85=17(5).

Change only which quantity is unknown. The same term information now determines the common difference.

Worked example 2: reversing the nth-term calculation

Question. An arithmetic sequence has a=12a=12 and u18=97u_{18}=97. Find dd.

Plan. Substitute into the nth-term equation and solve for dd.

97=12+17dknown eighteenth term85=17dsubtract first termd=5divide by gap count\begin{aligned} 97&=12+17d &&\text{known eighteenth term}\\ 85&=17d &&\text{subtract first term}\\ d&=5 &&\text{divide by gap count} \end{aligned}

Why this step? The total change is spread across 1717 equal gaps, not 1818.

Answer. d=5d=5.

Check. The reconstructed term is 12+17(5)=9712+17(5)=97.

If two non-consecutive terms are given, subtract their equations. For example, u4=13u_4=13 and u10=31u_{10}=31 give a+3d=13a+3d=13, a+9d=31a+9d=31, hence 6d=186d=18, d=3d=3 and a=4a=4. Subtraction counts the gaps between the two positions directly.

Watch out

un=a+ndu_n=a+nd starts one change too late: at n=1n=1 it gives a+da+d. Use a+(n−1)da+(n-1)d, and check the first term.

Reverse the calculation with new term values.

Prove the sum formula

In 1+2+⋯+1001+2+\cdots+100, there are fifty pairs totalling 101101. That gives 50505050 quickly. To prove a formula for every term count, including odd counts, use a second reversed copy rather than trying to pair terms within one copy.

Let l=a+(n−1)dl=a+(n-1)d. Write the same sum forwards and backwards, then add corresponding terms:

Sn=a+(a+d)+⋯+(l−d)+lSn=l+(l−d)+⋯+(a+d)+a2Sn=(a+l)+(a+l)+⋯+(a+l)equal column sums=n(a+l)there are n columns\begin{aligned} S_n&=a+(a+d)+\cdots+(l-d)+l\\ S_n&=l+(l-d)+\cdots+(a+d)+a\\ 2S_n&=(a+l)+(a+l)+\cdots+(a+l) &&\text{equal column sums}\\ &=n(a+l) &&\text{there are }n\text{ columns} \end{aligned}

Every column has the same total because the increase on one row is matched by the decrease on the other. Dividing by 22 gives the required sum. The argument works for any sign of dd, and does not require nn to be even.

Arithmetic-series sum

For an arithmetic series with n∈Nn\in\mathbb N,

Sn=n2(a+l)=n2{2a+(n−1)d}S_n=\frac n2(a+l)=\frac n2\{2a+(n-1)d\}

Here aa is the first term, ll the last term and dd the common difference.

In the formula booklet.

The first nn natural numbers have a=1a=1, d=1d=1 and l=nl=n. Substitution in the proved formula gives

1+2+⋯+n=n2(1+n)=n(n+1)21+2+\cdots+n=\frac n2(1+n)=\frac{n(n+1)}2

This special-case formula is not separately printed in the 9MA0 booklet; derive it from the supplied arithmetic sum. It also explains a pleasing fact: the mean of the integers from 11 to 100100 is 50.550.5, although none of them equals 50.550.5.

Worked example 3: summing a fixed number of terms

Question. Find the sum of the first 4040 terms of 7,12,17,22,…7,12,17,22,\ldots.

Plan. Use a=7a=7, d=5d=5 and the sum formula containing dd.

S40=402{2(7)+39(5)}substitute data=20(209)simplify bracket=4180multiply\begin{aligned} S_{40}&=\frac{40}{2}\{2(7)+39(5)\} &&\text{substitute data}\\ &=20(209) &&\text{simplify bracket}\\ &=4180 &&\text{multiply} \end{aligned}

Why this step? The last term is not supplied, so the form using dd avoids finding it separately.

Answer. 41804180.

Check. The final term is 202202, giving average (7+202)/2=104.5(7+202)/2=104.5; 40(104.5)=418040(104.5)=4180.

Change only the number of terms. The sequence's first term and common difference remain fixed.

Worked example 4: changing the term count

Question. Find the sum of the first 5050 terms of 7,12,17,22,…7,12,17,22,\ldots.

Plan. Use the same formula with n=50n=50.

S50=502{14+49(5)}fifty terms=25(259)simplify=6475multiply\begin{aligned} S_{50}&=\frac{50}{2}\{14+49(5)\} &&\text{fifty terms}\\ &=25(259) &&\text{simplify}\\ &=6475 &&\text{multiply} \end{aligned}

Why this step? Increasing the term count also increases the last term; the old average cannot be reused.

Answer. 64756475.

Check. The last term is 252252, and 50(7+252)/2=647550(7+252)/2=6475.

Knowing the formula is useful; explaining the equal pairs is what makes the proof convincing.

Watch out

The doubled sum has nn columns, not n/2n/2. Since 2Sn=n(a+l)2S_n=n(a+l), divide by 22 once, after counting the columns.

Explain the general argument and its natural-number special case.

Choose the efficient formula

A series written up to a specified last term hides its term count. Find the count first; the final term is usually the best route to it.

Known informationEfficient equation
a,d,na,d,nSn=n2{2a+(n−1)d}S_n=\frac n2\{2a+(n-1)d\}
a,l,na,l,nSn=n2(a+l)S_n=\frac n2(a+l)
a,d,la,d,lfirst solve l=a+(n−1)dl=a+(n-1)d for nn

Worked example 5: finding a hidden term count

Question. Find 11+17+23+⋯+15511+17+23+\cdots+155.

Plan. Find how many steps of 66 lead from 1111 to 155155, then sum.

155=11+6(n−1)last-term equationn−1=24,n=25count gaps then termsS25=252(11+155)known endpoints=2075evaluate\begin{aligned} 155&=11+6(n-1) &&\text{last-term equation}\\ n-1&=24,\quad n=25 &&\text{count gaps then terms}\\ S_{25}&=\frac{25}{2}(11+155) &&\text{known endpoints}\\ &=2075 &&\text{evaluate} \end{aligned}

Why this step? The 2424 equal gaps connect 2525 terms.

Answer. 20752075.

Check. The middle term is u13=83u_{13}=83, matching the average (11+155)/2=83(11+155)/2=83.

Change only the last included term. This changes the term count as well as the average.

Worked example 6: extending an endpoint-defined sum

Question. Find 11+17+23+⋯+18511+17+23+\cdots+185.

Plan. Solve the endpoint equation before summing.

185=11+6(n−1)same arithmetic patternn=30174/6+1S30=302(11+185)endpoint sum=2940evaluate\begin{aligned} 185&=11+6(n-1) &&\text{same arithmetic pattern}\\ n&=30 &&174/6+1\\ S_{30}&=\frac{30}{2}(11+185) &&\text{endpoint sum}\\ &=2940 &&\text{evaluate} \end{aligned}

Why this step? The old count 2525 belongs to a different final term.

Answer. 29402940.

Check. The five added terms 161,167,173,179,185161,167,173,179,185 total 865865, and 2075+865=29402075+865=2940.

An endpoint equation must give a positive integer count. For example, 156156 is not a term of the sequence beginning 11,17,2311,17,23; its gap count (156−11)/6(156-11)/6 is not an integer.

Watch out

A fractional nn is not permission to round the term count. Check whether the proposed last value actually belongs to the sequence.

Use a new series with a visible endpoint.

Use arithmetic series in context

A known total often produces a quadratic in the number of payments. Define the individual payment first so that you sum the right quantities.

Worked example 7: finding the duration of a saving plan

Question. A student saves £15£15 in week 11, then £3£3 more each week. The total saved after NN weeks is £798£798. Find NN.

Plan. Set the arithmetic sum equal to the total, then keep a positive integer root.

798=N2{30+3(N−1)}a=15, d=31596=3N2+27Nexpand0=N2+9N−532divide by three0=(N+28)(N−19)factorise\begin{aligned} 798&=\frac N2\{30+3(N-1)\} &&a=15,\ d=3\\ 1596&=3N^2+27N &&\text{expand}\\ 0&=N^2+9N-532 &&\text{divide by three}\\ 0&=(N+28)(N-19) &&\text{factorise} \end{aligned}

Why this step? The total is a sum of payments; uN=798u_N=798 would describe one payment instead.

Answer. N=19N=19 weeks; N=−28N=-28 is unsuitable.

Check. Week 1919 is 15+18(3)=6915+18(3)=69 pounds, so 19(15+69)/2=79819(15+69)/2=798.

Change only the target total. The saving rule stays fixed.

Worked example 8: the same plan with a new target

Question. Under the same saving rule, after how many weeks is the total £620£620?

Plan. Form the new sum equation and solve it.

620=N2{30+3(N−1)}total condition0=3N2+27N−1240rearrangeN=−27±156096quadratic formula\begin{aligned} 620&=\frac N2\{30+3(N-1)\} &&\text{total condition}\\ 0&=3N^2+27N-1240 &&\text{rearrange}\\ N&=\frac{-27\pm\sqrt{15609}}6 &&\text{quadratic formula} \end{aligned}

Why this step? A total condition need not be achievable at a whole number of weeks.

Answer. There is no exact whole-week solution: the positive root is 16.3227…16.3227\ldots, not an integer.

Check. S16=600S_{16}=600, while S17=663S_{17}=663; the total 620620 lies strictly between them.

The single change to the total has exposed an important boundary: do not round a solution if the question asks for an exact total. If it asks when the total first exceeds 620620, the answer instead is 1717 weeks.

Exam tip

Use the context to interpret roots. A duration needs a positive integer; “equals” and “first exceeds” require different conclusions when the root is fractional.

Try an exactly achievable total with new numbers.

Decreasing payments and valid term counts

For decreasing payments, even two positive integer roots may solve the sum equation. The payment amounts themselves decide whether a root fits the model.

Suppose each payment must be strictly positive. If a>0a>0 and d<0d<0, require a+(N−1)d>0a+(N-1)d>0. This prevents the formula from extending into zero or negative “payments”.

Worked example 9: rejecting a positive but unrealistic root

Question. Payments are £300,£290,£280,…£300,£290,£280,\ldots, and all payments must be positive. After NN payments the total is £4500£4500. Find NN.

Plan. Solve the sum equation, then check the last payment for each root.

4500=N2{600−10(N−1)}d=−100=N2−61N+900rearrange and simplify0=(N−25)(N−36)factoriseu25=300−24(10)=60positiveu36=300−35(10)=−50invalid payment\begin{aligned} 4500&=\frac N2\{600-10(N-1)\} &&d=-10\\ 0&=N^2-61N+900 &&\text{rearrange and simplify}\\ 0&=(N-25)(N-36) &&\text{factorise}\\ u_{25}&=300-24(10)=60 &&\text{positive}\\ u_{36}&=300-35(10)=-50 &&\text{invalid payment} \end{aligned}

Why this step? Both roots solve the algebra, but 3636 extends the model beyond positive payments.

Answer. N=25N=25 payments.

Check. S25=25(300+60)/2=4500S_{25}=25(300+60)/2=4500.

Change only the required total. There are again two integer roots, and the same positivity condition chooses between them.

Worked example 10: applying the term restriction

Question. Under the same positive-payment rule, the total is £4100£4100. Find the number of payments.

Plan. Solve the new sum equation and test each root's last term.

4100=N2(610−10N)same sequence0=N2−61N+820rearrange0=(N−20)(N−41)factoriseu20=110,u41=−100test final payments\begin{aligned} 4100&=\frac N2(610-10N) &&\text{same sequence}\\ 0&=N^2-61N+820 &&\text{rearrange}\\ 0&=(N-20)(N-41) &&\text{factorise}\\ u_{20}&=110,\quad u_{41}=-100 &&\text{test final payments} \end{aligned}

Why this step? A positive duration is necessary, but it does not guarantee positive payments.

Answer. N=20N=20 payments.

Check. 20(300+110)/2=410020(300+110)/2=4100, and all preceding payments are larger than 110110.

Our opening total is now explained by the general proof: 100(1+100)/2=5050100(1+100)/2=5050. The same pairing idea handles increasing and decreasing sequences; the context supplies any extra restrictions.

Watch out

“Both roots are positive, so both are valid” is wrong for this model. Check uN>0u_N>0, as well as N∈NN\in\mathbb N.

Solve a new decreasing-payment case using both checks.

Quick Recap

  • Arithmetic sequences have a constant signed difference, and un=a+(n−1)du_n=a+(n-1)d.
  • Reversing a second copy makes nn equal pairs, giving Sn=n(a+l)/2S_n=n(a+l)/2.
  • The first nn natural numbers sum to n(n+1)/2n(n+1)/2.
  • Find an unknown term count before summing an endpoint-defined series.
  • Check roots against the required integer count and the meaning of every term.

The opening sum is 1+2+⋯+100=50501+2+\cdots+100=5050, because the average term is 50.550.5 and there are 100100 terms.