You are here: BP HOME > BPG > Euclid: Elementa > fulltext
Euclid: Elementa

Choose languages

Choose images, etc.

Choose languages
Choose display
  • Enable images
  • Enable footnotes
    • Show all footnotes
    • Minimize footnotes
Search-help
Choose specific texts..
Euclid: Elementa
    Click to Expand/Collapse Option Complete text
Click to Expand/Collapse OptionTitle
Click to Expand/Collapse OptionPreface
Click to Expand/Collapse OptionBook I
Click to Expand/Collapse OptionBook ΙI
Click to Expand/Collapse OptionBook IΙΙ
Click to Expand/Collapse OptionBook IV
Click to Expand/Collapse OptionBook V
Click to Expand/Collapse OptionBook VI
Click to Expand/Collapse OptionBook VII
Click to Expand/Collapse OptionBook VIII
Click to Expand/Collapse OptionBook ΙΧ
Click to Expand/Collapse OptionBook Χ
Click to Expand/Collapse OptionBook ΧI
Click to Expand/Collapse OptionBook ΧIΙ
Click to Expand/Collapse OptionBook ΧIΙΙ
Back to library
PROPOSITION 56. 
 
 
If an area be contained by a rational straight line and the third binomial, the side of the area is the irrational straight line called a second bimedial. 
 
 
For let the area ABCD be contained by the rational straight line AB and the third binomial AD divided into its terms at E, of which terms AE is the greater;  I say that the “side” of the area AC is the irrational straight line called a second bimedial. 
   
   
For let the same construction be made as before.  Now, since AD is a third binomial straight line, therefore AE, ED are rational straight lines commensurable in square only, the square on AE is greater than the square on ED by the square on a straight line commensurable with AE, and neither of the terms AE, ED is commensurable in length with AB. [X. Deff. II. 3]  Then, in manner similar to the foregoing, we shall prove that MO is the “side” of the area AC, and MN, NO are medial straight lines commensurable in square only;  so that MO is bimedial.  It is next to be proved that it is also a second bimedial straight line. 
         
         
Since DE is incommensurable in length with AB, that is, with EK, and DE is commensurable with EF, therefore EF is incommensurable in length with EK. [X. 13]  And they are rational;  therefore FE, EK are rational straight lines commensurable in square only.  Therefore EL, that is, MR, is medial. [X. 21]  And it is contained by MN, NO;  therefore the rectangle MN, NO is medial. 
           
           
Therefore MO is a second bimedial straight line. [X. 38]  Q. E. D. 
   
   
 
Permanent link
Go to Wiki Documentation
Enhet: Det humanistiske fakultet   Utviklet av: IT-seksjonen ved HF
Login