⚙️ Function Kingdom · Functions

Series & Sigma Notation

Add the terms of a sequence without adding them one by one: the arithmetic series formula, the finite geometric series formula, sigma notation, and the infinite geometric series that settles on a value.

In short

  • A sequence is a list of numbers; a series is that list added up, and every formula here is a shortcut for adding.
  • An arithmetic series sums to n(a_1 + a_n)/2 — the number of terms times the average of the two ends — because pairing the ends gives the same total every time.
  • A geometric series sums to a_1(1 - rn)/(1 - r); it comes from writing S and rS underneath each other and subtracting, which is why the exponent is n and not n - 1.
  • Sigma notation is an instruction, not an object: the upper limit counts the terms and the rule inside the brackets is checked by putting k = 1 into it.
  • An infinite geometric series converges only when the size of r is less than 1, and then its sum is a_1/(1 - r).
  • Any repeating decimal is a convergent geometric series in disguise, which is why every repeating decimal is a fraction.

Gauss on the ice: pairing the ends

A sequence is a list of numbers. A series is that list added up. Slope Glacier is measured in both: the depth of each yearly ice layer is a sequence, and the depth of the whole glacier is a series.

The story every teacher tells is true. A boy called Gauss was asked to add the whole numbers from 1 to 100 and had an answer almost at once. He did not add 100 numbers. He folded the list in half:

1 + 2 + 3 + ... + 98 + 99 + 100

The first and last add to 101. So do the second and second-last: 2 + 99 = 101. So do 3 and 98. Every pair adds to the same total, because as you walk in from one end you gain 1 and from the other end you lose 1. There are 100 numbers, so there are 50 pairs, and the sum is 50 * 101 = 5050.

That fold works for any arithmetic series — any list where each term is the one before plus a fixed common difference d. Write it as a formula and you have the whole of the first half of this craft:

S_n = n(a_1 + a_n)/2

In words: the number of terms, times the average of the two ends. Ren says it the second way when a student forgets the halving: you are not adding the ends, you are finding what an average term is worth and then paying it n times over.

There is a second form for when the last term is not given to you. Since a_n = a_1 + (n - 1)d, substituting gives

S_n = n(2a_1 + (n - 1)d)/2

which is the same formula wearing different clothes. Use whichever one matches what the question hands you.

The geometric sum, and where it comes from

A geometric series multiplies instead of adding: each term is the one before times a fixed common ratio r. Pairing the ends is no help here, because the terms are nowhere near evenly spaced. A different trick does the work.

Write the sum out, then write r times the sum underneath it:

S = a + ar + ar2 + ... + arn-1

rS = ar + ar2 + ... + arn-1 + arn

Almost every term appears in both lines. Subtracting removes all of them at once:

S - rS = a - arn

S(1 - r) = a(1 - rn)

S = a_1(1 - rn)/(1 - r)

That is the finite geometric sum, and the derivation is worth doing once by hand, because it explains the two things students get wrong. The exponent is n, the number of terms — not n - 1, which is the exponent in the *last term*. And the two brackets must be written the same way round: (1 - rn) over (1 - r). If you prefer both to be positive, flip both at once and use a_1(rn - 1)/(r - 1). The two forms give exactly the same number; flipping only one gives the answer with the wrong sign.

Try it on 3 + 6 + 12 + 24 + 48. Here a_1 = 3, r = 2, n = 5, so

S = 3(1 - 25)/(1 - 2) = 3(1 - 32)/(-1) = 3(-31)/(-1) = 93

and adding the five terms by hand gives 93 too.

Sigma notation: reading it and writing it

Mathematicians write "add these up" with the Greek capital sigma, Σ. It is shorthand, nothing more.

Σ_(k=1)^(8) (3k + 2)

is read "the sum from k = 1 to 8 of (3k + 2)", and it is an instruction: put k = 1 into the rule, then k = 2, and keep going up to k = 8, adding every result. Three parts carry all the meaning.

  • The rule in the brackets says what a term looks like.
  • The lower limit says where k starts, almost always 1.
  • The upper limit says where k stops. It is the number of terms, not the last term's value.

Reading one is mechanical. To evaluate Σ_(k=1)^(8) (3k + 2), split it: the 3k parts give 3(1 + 2 + ... + 8) = 3 * 36 = 108, and the + 2 sits inside every term, so it is added 8 times over for another 16. The total is 124. Three shortcuts are worth memorising for this:

1 + 2 + ... + n = n(n + 1)/2

12 + 22 + ... + n2 = n(n + 1)(2n + 1)/6

c added n times = cn

Writing one is the reverse, and it is two questions. How many terms are there? That fixes the upper limit. What rule sends k = 1 to the first term? That fixes the brackets. For 2 + 5 + 8 + ... + 29 the common difference is 3, so the rule looks like 3k + something; at k = 1 it must give 2, so the something is -1 and the rule is 3k - 1. The number of terms is (29 - 2)/3 + 1 = 10. So the series is Σ_(k=1)^(10) (3k - 1), and the 29 never appears anywhere in the sigma.

For a geometric series the rule is a_1 rk-1, and that k - 1 matters: at k = 1 it gives r0 = 1, so the first term comes out as a_1 exactly.

Infinity, and when it settles

Add a geometric series for ever and one of two things happens.

If the size of r is 1 or more, each term is at least as big as the one before. The running total climbs and climbs and never settles, so the series has no sum at all. It does not converge.

If the size of r is less than 1, each term is a shrinking slice of what is left. 8 + 4 + 2 + 1 + 0.5 + ... never passes 16, and it gets as close to 16 as you like. That series converges, and its sum comes straight from the finite formula: as n grows, rn shrinks towards 0, so a_1(1 - rn)/(1 - r) settles on

S = a_1/(1 - r), valid only when the size of r is less than 1

The condition is not decoration. If you feed r = 3 and a_1 = 6 into the formula you get 6/(1 - 3) = -3, which is nonsense: every term of that series is positive and growing. Always check the ratio before you use the formula.

The prettiest use of this is turning a repeating decimal into a fraction. The decimal 0.727272... is really a series:

0.72 + 0.0072 + 0.000072 + ...

with a_1 = 72/100 and r = 1/100. So S = (72/100) / (99/100) = 72/99, and cancelling 9 from both parts gives 8/11. Check it on a calculator: 8 divided by 11 is 0.727272... The pattern generalises — the denominator gets one 9 for each digit in the repeating block — but the answer is only finished once it is in lowest terms.

Using it, and typing your answer

Series turn up wherever something happens over and over with a steady pattern.

  • A savings plan. Put away 15 gold this month and 4 gold more each month than the last. After 12 months the amounts form an arithmetic series, and the total saved is 12(15 + 59)/2 = 444 gold.
  • Seats in an arena. The front row holds 22, and each row behind holds 3 more. Eighteen rows hold 18(22 + 73)/2 = 855 seats.
  • A message spreading. Each person tells 3 new people. The rounds are 3, 9, 27, ... — geometric with r = 3, and six rounds reach 3(36 - 1)/2 = 1092 people.
  • A bouncing ball. Dropped from 12 m, rising to 2/3 of its height each time. The drop is 12 m once; the bounces are an infinite geometric series with a_1 = 8 and r = 2/3, summing to 24 m, and each bounce height is travelled twice, up and down. Total: 12 + 48 = 60 m.

How to type your answer here.

  • A sum or a total is typed as a plain number: 444. If it is not whole — which happens with r = 1/2 and with every repeating decimal — type a fraction in lowest terms, 45/8 or 8/11, and the prompt will say so. 90/16 is marked as not yet finished, not as wrong.
  • A count of terms or a missing first term or ratio is a whole number: 10.
  • Where the question asks you to write a series in sigma notation, or whether an infinite series converges, pick the option that matches — sigma symbols are not something you can type into the box, so those questions are multiple choice.
  • Nothing here needs a calculator's decimals. Keep fractions as fractions right to the end.

Worked examples

Example 1

Find the sum of the first 20 terms of the arithmetic series 7 + 11 + 15 + ...

  1. Identify the parts: a_1 = 7, and the common difference is 11 - 7 = 4, with n = 20.
  2. The formula S_n = n(a_1 + a_n)/2 needs the last term, which the question has not given.
  3. Build it: a_n = a_1 + (n - 1)d = 7 + 19 * 4 = 7 + 76 = 83. Note the 19, not 20 — the first term takes no step.
  4. Now pair the ends: S = 20(7 + 83)/2 = 20 * 90/2 = 20 * 45.
  5. S = 900.

Example 2

Work out the sum from k = 1 to 6 of 4 * 3^(k - 1), that is, Σ_(k=1)^(6) 4 * 3^(k - 1).

  1. Test the rule at k = 1: 4 * 30 = 4. At k = 2 it gives 12, at k = 3 it gives 36 — each term is 3 times the one before, so the series is geometric.
  2. Read off a_1 = 4, r = 3 and n = 6 (the upper limit counts the terms).
  3. Use S_n = a_1(rn - 1)/(r - 1), the both-positive form: S = 4(36 - 1)/(3 - 1).
  4. 36 = 729, so S = 4 * 728/2 = 4 * 364.
  5. S = 1456. Adding 4 + 12 + 36 + 108 + 324 + 972 by hand gives the same total.

Example 3

Write the series 5 + 9 + 13 + ... + 41 in sigma notation.

  1. The terms rise by 4 each time, so the series is arithmetic with a_1 = 5 and d = 4.
  2. Find the rule: a_k = a_1 + (k - 1)d = 5 + 4(k - 1) = 5 - 4 + 4k = 4k + 1. Check at k = 1: 4 + 1 = 5, the first term.
  3. Count the terms: n = (41 - 5)/4 + 1 = 9 + 1 = 10. The division counts the steps; the + 1 counts the term you started on.
  4. The upper limit is the number of terms, so it is 10 and not 41.
  5. The series is Σ_(k=1)^(10) (4k + 1).

Example 4

An infinite geometric series has first term 18 and common ratio -2/3. Does it converge, and if so what is its sum?

  1. Check the size of the ratio first, ignoring the sign: 2/3, which is less than 1, so the series converges.
  2. Use S = a_1/(1 - r) with a_1 = 18 and r = -2/3.
  3. Subtracting a negative adds: 1 - (-2/3) = 1 + 2/3 = 5/3.
  4. S = 18 / (5/3) = 18 * 3/5 = 54/5.
  5. The series converges to 54/5. A sanity check: the terms are 18, -12, 8, ... and the running totals 18, 6, 14, 10, ... do close in on 10.8.

Practice problems, with solutions

Three problems of increasing difficulty, each with the full working. In the game these are generated fresh every time; these three are fixed so this page always shows the same ones.

Problem 1

Difficulty 1 of 5

An arithmetic series has first term 10 and last term 26, with 9 terms in all. Find the sum of the series.

Answer: 162

  1. Both ends are given, so use S = n(a_1 + a_n)/2 straight away.
  2. S = 9(10 + 26)/2 = 9 * 36/2.
  3. S = 162.

Problem 2

Difficulty 3 of 5

A geometric series has first term 12 and common ratio -2. Find the sum of the first 4 terms.

Answer: -60

  1. Here a_1 = 12, r = -2 and n = 4, so S_n = a_1(1 - rn)/(1 - r).
  2. rn = (-2)4 = 16, so 1 - rn = -15.
  3. 1 - r = 1 - -2 = 3.
  4. S = 12 * (-15) / 3 = -60.

Problem 3

Difficulty 4 of 5

Work out the sum from k = 1 to 9 of k2 — in symbols, Σ_(k=1)^(9) k2.

Answer: 285

  1. The terms are 1, 4, 9, 16, ... and the last one is 92 = 81.
  2. Use the formula: sum of squares = n(n + 1)(2n + 1)/6.
  3. With n = 9: 9 * 10 * 19/6 = 1,710/6.
  4. S = 285.

Common mistakes

  • Adding the first and last term and multiplying by n without halving. Pairing the ends counts every term twice over, so the pair total must be divided by 2.
  • Using a_n = a_1 + nd instead of a_1 + (n - 1)d. Getting from the first term to the twentieth takes 19 steps, not 20, because the first term needs no step at all.
  • Putting n - 1 into the geometric sum formula. The exponent in a_1(1 - rn)/(1 - r) is n, the number of terms; n - 1 belongs in the last term, a_1 rn-1.
  • Flipping the sign in only one place: writing (1 - rn) over (r - 1). Both brackets have to face the same way, and turning only one of them upside down turns the whole answer negative.
  • Quoting a sum for a series whose ratio is 1 or more. If the terms are not shrinking there is no total to find, and a_1/(1 - r) will hand back a number that cannot possibly be right.
  • Reading the upper limit of a sigma as the last term. Σ_(k=1)^(10) (3k - 1) ends at 29, and the 10 counts how many terms there are.
  • Counting terms with (last - first)/d and forgetting the + 1. That division counts the gaps between terms, and there is always one more term than there are gaps.
  • Stopping at 72/99 when a repeating decimal is asked for as a fraction. The value is right but the answer is not finished until it is cancelled to 8/11.

What you should be able to do

  • Find the sum of the first n terms of an arithmetic series.
  • Find the sum of the first n terms of a geometric series.
  • Read and write a series in sigma notation and evaluate it.
  • Decide whether an infinite geometric series converges and find its sum.

Where this fits in the curriculum

Common Core

  • HSA-SSE.B.4

    High school — Derive the formula for the sum of a finite geometric series (when the common ratio is not 1), and use the formula to solve problems.

  • HSF-BF.A.2

    High school — Write arithmetic and geometric sequences both recursively and with an explicit formula, use them to model situations, and translate between the two forms.

  • HSF-IF.A.3

    High school — Recognise that sequences are functions, sometimes defined recursively, whose domain is a subset of the integers.

SAT

  • Passport to Advanced Math

    Sums of arithmetic and geometric sequences.

    Series appear rarely on the SAT, and then as a pattern to reason about rather than a formula to apply.

Learn these first