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

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

If a parallelogram, falling short1 by a square figure, is applied to some straight line then the applied (parallelogram) is equal (in area) to the (rectangle contained) by the pieces of the straight line created via the application (of the parallelogram).

fig016ae

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"

Footnotes


  1. Note that this lemma only applies to rectangular parallelograms (translator's note).