Proposition: Prop. 10.016: Incommensurability of Sum of Incommensurable Magnitudes

(Proposition 16 from Book 10 of Euclid's “Elements”)

If two incommensurable magnitudes are added together then the whole will also be incommensurable with each of them. And if the whole is incommensurable with one of them then the original magnitudes will also be incommensurable (with one another).

fig015e

Modern Formulation

(not yet contributed)

Proofs: 1

  1. Lemma: Lem. 10.016: Incommensurability of Sum of Incommensurable Magnitudes

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


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