The Geometric Series
Definition
A series is called geometric if it is of the form
$$
\begin{align*}
\sum_{k=1}^{\infty} ar^k = a + ar + ar^2 + ar^3 + ...
\end{align*}
$$
The Partial Sum Sequence
To know anything about whether this series converges or diverges, we look at its partial sum sequence \((s_m)\) where \(s_m\) is
$$
\begin{align*}
s_m = a + ar + ar^2 + ... + ar^{m-1}.
\end{align*}
$$
When \(r \neq 1\), we can use the following algebraic identity:
$$
\begin{align*}
(1 - r)(1 + r+ r^2 + r^3 + ... + r^{m-1}) = 1 - r^m.
\end{align*}
$$
to simplify the partial sum sequence into
$$
\begin{align*}
s_m &= a + ar + ar^2 + ar^3 + ... + ar^{m-1} \\
&= a(1 + r + r^2 + r^3 + ... + r^{m-1})\\
&= \frac{a(1 - r^m)}{1 - r}
\end{align*}
$$
Convergence
When \(r = 1\) and \(a \neq 0\), we have
$$
\begin{align*}
\sum_{k=1}^{\infty} ar^k = \sum_{k=1}^{\infty} a.
\end{align*}
$$
This sum diverges. It will never converge to anything. We can in fact generalize this for any \(|r| \geq 1\). The sum will just diverge. However, when \(|r| < 1\), we know from earlier that the sequence of partial sums \((s_m)\) can be written as
$$
\begin{align*}
s_m = \frac{a(1 - r^m)}{1 - r}
\end{align*}
$$
We know \((r^m)\) convergences to zero (proof here). \(\frac{1}{1-r}\) is a constant so we can use the Algebraic Limit Theorem for Sequences to conclude that
$$
\begin{align*}
\lim s_m = \frac{a}{1 - r}. \blacksquare
\end{align*}
$$
Other Definitions and Properties
- Fo the absolute value function definition and other properties, see here.
- For the definitions of sequences, subsequences and what it means to for a sequence to converge, see this.
- For the definitions of series, and what it means to for a series to converge, see this.
- For the "show the limit" template and an example, see this.
References: