Proposition: 7.20: Ratios of Fractions in Lowest Terms

Euclid's Formulation

The least numbers of those (numbers) having the same ratio measure those (numbers) having the same ratio as them an equal number of times, the greater (measuring) the greater, and the lesser the lesser.


Modern Formulation

If $\frac{\overline{CD}}{\overline{EF}}=\frac{A}{B}$ (all lengths being natural numbers) and $\frac{\overline{CD}}{\overline{EF}}$ is a reduced fraction, i.e. $\overline{CD}$ and $\overline{EF}$ are co-prime, then there exists a natural number $n$ such that $A=n\cdot \overline{CD}$ and $B=n\cdot \overline{EF}.$ In other words, the ratio $\frac AB$ can be reduced by the number $n.$

Proofs: 1

Proofs: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

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