previous next


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

Let AB be bimedial, and let CD be commensurable in length with AB; I say that CD is bimedial and the same in order with AB.

For, since AB is bimedial, let it be divided into its medials at E; therefore AE, EB are medial straight lines commensurable in square only. [X. 37, 38]

And let it be contrived that, as AB is to CD, so is AE to CF; therefore also the remainder EB is to the remainder FD as AB is to CD. [V. 19]

But AB is commensurable in length with CD; therefore AE, EB are also commensurable with CF, FD respectively. [X. 11]

But AE, EB are medial; therefore CF, FD are also medial. [X. 23]

And since, as AE is to EB, so is CF to FD, [V. 11] and AE, EB are commensurable in square only, CF, FD are also commensurable in square only. [X. 11]

But they were also proved medial; therefore CD is bimedial.

I say next that it is also the same in order with AB.

For since, as AE is to EB, so is CF to FD, therefore also, as the square on AE is to the rectangle AE, EB, so is the square on CF to the rectangle CF, FD; therefore, alternately, as the square on AE is to the square on CF, so is the rectangle AE, EB to the rectangle CF, FD. [V. 16]

But the square on AE is commensurable with the square on CF; therefore the rectangle AE, EB is also commensurable with the rectangle CF, FD.

If therefore the rectangle AE, EB is rational, the rectangle CF, FD is also rational, [and for this reason CD is a first bimedial]; [X. 37] but if medial, medial, [X. 23, Por.] and each of the straight lines AB, CD is a second bimedial. [X. 38]

And for this reason CD will be the same in order with AB. Q. E. D.

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 United States License.

An XML version of this text is available for download, with the additional restriction that you offer Perseus any modifications you make. Perseus provides credit for all accepted changes, storing new additions in a versioning system.

load focus Greek (J. L. Heiberg, 1883)
hide Display Preferences
Greek Display:
Arabic Display:
View by Default:
Browse Bar: