Proof: By Euclid

(related to Proposition: Prop. 10.103: Straight Line Commensurable with Apotome)

fig103e


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. 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.