# Powers of Elements of Geometric Sequence are in Geometric Sequence

Jump to navigation
Jump to search

## Theorem

Let $P = \sequence {a_j}_{0 \mathop \le j \mathop \le n}$ be a geometric sequence of integers.

Then the sequence $Q = \sequence {b_j}_{0 \mathop \le j \mathop \le n}$ defined as:

- $\forall j \in \set {0, 1, \ldots, n}: b_j = a_j^m$

where $m \in \Z_{>0}$, is a geometric sequence.

In the words of Euclid:

*If there be as many numbers as we please in continued proportion, and each by multiplying itself make some number, the products will be proportional; and, if the original numbers by multiplying the products make certain numbers, the latter will also be proportional.*

(*The Elements*: Book $\text{VIII}$: Proposition $13$)

## Proof

From Form of Geometric Sequence of Integers, the $j$th term of $P$ is given by:

- $a_j = k q^j p^{n - j}$

Thus the $j$th term of $Q$ is given by:

- $b_j = k^m \paren {q^m}^j \paren {p^m}^{n - j}$

From Form of Geometric Sequence of Integers, this is a geometric sequence.

$\blacksquare$

## Historical Note

This proof is Proposition $13$ of Book $\text{VIII}$ of Euclid's *The Elements*.

## Sources

- 1926: Sir Thomas L. Heath:
*Euclid: The Thirteen Books of The Elements: Volume 2*(2nd ed.) ... (previous) ... (next): Book $\text{VIII}$. Propositions