lacunary - Mathnotes

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

Let wC and N be a positive integer. Then

k=0N1wk=1wN1w.

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

First, define SN as

SN=k=0N1wk=1+w+w2++wN1.

Then

SN=1+w+w2++wN1wSN=w+w2+w3++wN

Subtracting the second equation from the first gives

SNwSN=(1+w+w2++wN1)(w+w2+w3++wN)=1wN,

because everything in the middle cancels out.

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

(1w)SN=1wNSN=1wN1wk=0N1wk=1wN1w.

Referenced by (1 direct)

Direct references: