lacunary - Mathnotes

Theorem: Finite Geometric Series \@{finite-geometric-series}

Let w∈C and N be a positive integer. Then

∑k=0N−1wk=1−wN1−w.

Proof \@{proof-of-finite-geometric-series}

First, define SN as

SN=∑k=0N−1wk=1+w+w2+⋯+wN−1.

Then

SN=1+w+w2+⋯+wN−1wSN=w+w2+w3+⋯+wN

Subtracting the second equation from the first gives

SN−wSN=(1+w+w2+⋯+wN−1)−(w+w2+w3+⋯+wN)=1−wN,

because everything in the middle cancels out.

Now, we can factor out 1−w from the left hand side to get

(1−w)SN=1−wNSN=1−wN1−w∑k=0N−1wk=1−wN1−w.

◻
Referenced by (1 direct)

Direct references: