Sum of Geometric Sequence/Corollary 1/Proof 1
Jump to navigation
Jump to search
Corollary to Sum of Geometric Sequence
Let $a, a r, a r^2, \ldots, a r^{n - 1}$ be a geometric sequence.
Then:
- $\ds \sum_{j \mathop = 0}^{n - 1} a r^j = \frac {a \paren {r^n - 1} } {r - 1}$
In the words of Euclid:
- If as many numbers as we please be in continued proportion, and there be subtracted from the second and the last numbers equal to the first, then, as the excess of the second is to the first, so will the excess of the last be to all those before it.
(The Elements: Book $\text{IX}$: Proposition $35$)
Proof
By the Distributive Property:
- $a + a r + a r^2 + \cdots + a r^{n - 1} = a \paren {1 + r + r^2 + \cdots + r^{n - 1} }$
The result follows from Sum of Geometric Sequence.
$\blacksquare$
Historical Note
This proof is Proposition $35$ of Book $\text{IX}$ of Euclid's The Elements.