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.
Let there be as many numbers as we please, A, B, C, in continued proportion, so that, as A is to B, so is B to C; let A, B, C by multiplying themselves make D, E, F, and by multiplying D, E, F let them make G, H, K;
I say that D, E, F and G, H, K are in continued proportion.
For let A by multiplying B make L, and let the numbers A, B by multiplying L make M, N respectively.
And again let B by multiplying C make O, and let the numbers B, C by multiplying O make P, Q respectively.
Then, in manner similar to the foregoing, we can prove that D, L, E and G, M, N, H are continuously proportional in the ratio of A to B, and further E, O, F and H, P, Q, K are continuously proportional in the ratio of B to C.
Now, as A is to B, so is B to C;
therefore D, L, E are also in the same ratio with E, O, F, and further G, M, N, H in the same ratio with H, P, Q, K.
And the multitude of D, L, E is equal to the multitude of E, O, F, and that of G, M, N, H to that of H, P, Q, K;
therefore, ex aequali, as D is to E, so is E to F, and, as G is to H, so is H to K. [G.267]
If $a, b, c \dots$ be a series in geometrical progression, then
$$\left. \begin{array}{l} a^2,\; b^2,\; c^2 \dots \\ a^3,\; b^3,\; c^3 \dots \end{array} \right\} \text{are also in geometrical progression.}$$
Heiberg brackets the words added to the enunciation which extend the theorem to any powers. The words are “and this always occurs with the extremes” (καὶ ἀεὶ περὶ τοὺς ἄκρους τοῦτο συμβαίνει). They seem to be rightly suspected on the same grounds as the same words added to the enunciation of VII. 27. There is no allusion to them in the proof, much less any proof of the extension.
Euclid forms, besides the squares and cubes of the given numbers, the products $ab$, $a^2b$, $ab^2$, $bc$, $b^2c$, $bc^2$. When he says that “we prove in manner similar to the foregoing,” he indicates successive uses of VII. 17, 18 as in VIII. 12.
With our notation the proof is as easy to see for any powers as for squares and cubes.
To prove that $a^n, b^n, c^n \dots$ are in geometrical progression.
Form all the means between $a^n, b^n$, and set out the series
