Proposition: 5.12: Sum of Components of Equal Ratios

(Proposition 12 from Book 5 of Euclid's “Elements”)

If there are any number of magnitudes whatsoever (which are) proportional then as one of the leading (magnitudes is) to one of the following, so will all of the leading (magnitudes) be to all of the following.

fig12e

Modern Formulation

In modern notation, this proposition reads that if \[\frac\alpha{\alpha'}=\frac\beta{\beta'}=\frac\gamma{\gamma'}=\ldots.\] then \[\frac\alpha{\alpha'}=\frac{\alpha+\beta+\gamma+\cdots}{\alpha'+\beta'+\gamma'+\cdots},\]

for all positive real numbers.

Proofs: 1

Proofs: 1 2 3 4 5 6 7 8 9 10
Sections: 11


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