3.3.7 · D1Sequences & Series

Foundations — Sigma (Σ) notation — evaluating, telescoping sums

1,542 words7 min readBack to topic

Before you can read a single line of the parent note, you need to own a handful of symbols and pictures. We build them one at a time. Nothing is used before it is defined.


1 · The plus sign and "a list to add" — where it all starts

Picture a row of stacked coins. Each stack has some height; the finite sum is the total height if you pile every stack on top of each other.

WHY we need this first. Everything the parent note does — Gauss's trick, telescoping, the standard formulas — is just a clever way to compute one of these totals fast. If you don't picture "a list being added," none of the shortcuts have anything to shorten.


2 · The index — a counter that walks the list

Look again at . These are . There's a hidden counter climbing .

The index is a dummy variable: it never appears in the final answer, exactly like the letter you use inside a loop. That's why and mean the same thing.


3 · The general term — the recipe machine

Think of as a vending machine: press button , out drops the -th term. The subscript notation is just "the -th slot's value."

WHY the topic needs it. Without a formula for the term, a sum is a random list you must add by brute force. With , the pattern is captured, and pattern is what lets us find shortcuts.


4 · The Sigma symbol Σ — "add over a range"

Now we can read the star of the show.

Read it aloud as a sentence: "Start the counter at , run the recipe , add each result, stop at ."

WHY the topic needs it. turns a whole sentence ("add the squares from 1 to 5") into three tiny symbols. That compression is what makes formulas like writeable at all.


5 · Counting the terms — the "+1" you always forget

WHY the ? Line up the fenceposts. From to the counter hits — that's four values, but . Subtracting endpoints always undercounts by one, because you throw away one fence when you should keep both.

The parent note leans on this when it says "a constant added times is " — you must know there are exactly terms.


6 · The two survivors of a difference — the seed of telescoping

The parent's biggest trick uses terms of the shape . To grasp it you need two sub-ideas:

You don't need to master telescoping here — just recognise that , subscripts, and "next counter " are the raw pieces the parent note assembles.


7 · Algebra you must already trust

The linearity rules (" splits over and pulls out constants") rest on two school-algebra laws. You need them named:

WHY the topic needs them. These are the reason and are legal. Without trusting them, the parent's "Step 1: split by linearity" is a leap of faith.


Prerequisite map

needs a counter

feeds

packed into

packed into

how many terms

used inside

steps to k plus 1

enables telescoping

justifies linearity of

Finite sum: numbers joined by plus

Index k: a counter

General term a_k: recipe machine

Sigma symbol: add over a range

Term count n minus m plus 1

Function at a spot f of k

Difference f k minus f k plus 1

Reorder and distribute laws

Each arrow says "this foundation feeds that idea." Sigma sits in the middle because it is the notation that packages all the earlier pieces.


Equipment checklist

Test yourself — say the answer before revealing.

What does the symbol literally tell you to do?
Add up terms over a range of the counter.
In , what is called and does its name matter?
The index (a dummy variable); its name does not matter.
What is and what is ?
= lower limit (start of counter), = upper limit (stop).
What does mean — is it times ?
The general term (recipe for the -th term); NOT .
How many terms are in , and why the ?
; you count posts not gaps, so add one back.
Compute .
.
If , what is ?
— same machine on the next counter.
Why does a term of form lead to cancellation?
The of one term equals the of the next, so the middle cancels.
Which two algebra laws justify ?
Distributive law (and commutative/associative addition for reordering).

Connections

  • Parent topic — this page builds every symbol it assumes.
  • Partial Fractions — the tool that manufactures from a fraction.
  • Method of Differences — the general framework behind telescoping.
  • Arithmetic Progressions — first real use of the index and linearity.
  • Mathematical Induction — proves the standard formulas.
  • Binomial Theorem — another place packages a long expansion.
  • Convergence of Series — where finite sums grow into infinite ones.