Proposition: Prop. 10.067: Straight Line Commensurable with Bimedial Straight Line is Bimedial and of Same Order

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

A (straight line) commensurable in length with a bimedial (straight line) is itself also bimedial, and the same in order.

fig066e

Modern Formulation

(not yet contributed)

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.