Proposition: Prop. 9.17: Last Element of Geometric Progression with Co-prime Extremes has no Integer Proportional as First to Second

(Proposition 17 from Book 9 of Euclid's “Elements”)

If any multitude whatsoever of numbers is in continued proportion, and the outermost of them are prime to one another, then as the first (is) to the second, so the last will not be to some other (number). * Let $A$, $B$, $C$, $D$ be any multitude whatsoever of numbers in continued proportion. * And let the outermost of them, $A$ and $D$, be prime to one another. * I say that as $A$ is to $B$, so $D$ (is) not to some other (number).


Modern Formulation

(not yet contributed)

Proofs: 1

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!



Adapted from (subject to copyright, with kind permission)

  1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"

Adapted from CC BY-SA 3.0 Sources:

  1. Prime.mover and others: "Pr∞fWiki",, 2016