Proposition: Prop. 9.16: Two Co-prime Integers have no Third Integer Proportional

Euclid's Formulation

If two numbers are prime to one another then as the first is to the second, so the second (will) not (be) to some other (number).

fig16e

Modern Formulation

(not yet contributed)

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