Proposition: 8.06: First Element of Geometric Progression not dividing Second

(Proposition 6 from Book 8 of Euclid's “Elements”)

If there are any multitude whatsoever of numbers in continued proportion, and the first does not measure the second, then no other (number) will measure any other (number) either. * Let $A$, $B$, $C$, $D$, $E$ be any multitude whatsoever of numbers in continued proportion, and let $A$ not measure $B$. * I say that no other (number) will measure any other (number) either.

fig06e

Modern Formulation

If $A,B,C,D,E$ are given with $B=An,$ $C=An^2,$ $D=An^3,$ $E=An^4,$ and $n$ is not a positive integer, then $A$ is not a divisor of $B.$ In this geometric progression, none of the numbers will be a multiple of any of the proceeding numbers.

Proofs: 1

Proofs: 1


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

Github:
bookofproofs
non-Github:
@Fitzpatrick


References

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", https://proofwiki.org/wiki/Main_Page, 2016