Form of Geometric Sequence of Integers with Coprime Extremes

Theorem
Let $P = \left\langle{a_j}\right\rangle_{1 \mathop \le j \mathop \le n}$ be a geometric progression of length $n$ consisting of positive integers only.

Let $a_1$ and $a_n$ be coprime.

Then the $j$th term of $P$ is given by:
 * $a_j = q^{j - 1} p^{n - j}$

Proof
Let $r$ be the common ratio of $P$.

Let the elements of $P$ be the smallest positive integers such that $P$ has common ratio $r$.

From Geometric Progression with Coprime Extremes is in Lowest Terms, the elements of $P$ are the smallest positive integers such that $P$ has common ratio $r$.

From Form of Geometric Progression of Integers in Lowest Terms the $j$th term of $P$ is given by:
 * $a_j = q^{j - 1} p^{n - j}$

where $r = \dfrac p q$.

Hence the result.