Last Element of Geometric Sequence with Coprime Extremes has no Integer Proportional as First to Second

Theorem
Let $G_n = \sequence {a_j}_{0 \mathop \le j \mathop \le n}$ be a geometric sequence of integers such that $a_0 \ne 1$.

Let $a_0 \perp a_n$, where $\perp$ denotes coprimality.

Then there does not exist an integer $b$ such that:
 * $\dfrac {a_0} {a_1} = \dfrac {a_n} b$

Proof
there exists $b$ such that $\dfrac {a_0} {a_1} = \dfrac {a_n} b$.

Then:
 * $\dfrac {a_0} {a_n} = \dfrac {a_1} b$

By Ratios of Fractions in Lowest Terms:
 * $a_0 \divides a_1$

where $\divides$ denotes divisibility.

From Divisibility of Elements in Geometric Sequence of Integers:
 * $a_0 \divides a_n$

But $a_0 \perp a_n$.

From this contradiction it follows that there can be no such $b$.