Proposition: Prop. 10.104: Straight Line Commensurable with Apotome of Medial Straight Line

Euclid's Formulation

A (straight line) "commensurable (in length) > A (straight line) commensurable (in length) with an apotome of a medial (straight line) is an apotome of a medial (straight line), and (is) the same in order1.

fig103e

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

Footnotes


  1. Euclid's expression "(not) being the same in order" means that the resulting irrational number is "(not) of the same kind" as that irrational number, with which it is commensurable.