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 48. 
 
 
To find the first binomial straight line. 
 
 
Let two numbers AC, CB be set out such that the sum of them AB has to BC the ratio which a square number has to a square number, but has not to CA the ratio which a square number has to a square number; [Lemma I after X. 28]  let any rational straight line D be set out, and let EF be commensurable in length with D.  Therefore EF is also rational.  Let it be contrived that, as the number BA is to AC, so is the square on EF to the square on FG. [X. 6, Por.]  But AB has to AC the ratio which a number has to a number;  therefore the square on EF also has to the square on FG the ratio which a number has to a number,  so that the square on EF is commensurable with the square on FG. [X. 6]  And EF is rational;  therefore FG is also rational.  And, since BA has not to AC the ratio which a square number has to a square number,  neither, therefore, has the square on EF to the square on FG the ratio which a square number has to a square number;  therefore EF is incommensurable in length with FG. [X. 9]  Therefore EF, FG are rational straight lines commensurable in square only;  therefore EG is binomial. [X. 36]  I say that it is also a first binomial straight line. 
                             
                             
For since, as the number BA is to AC, so is the square on EF to the square on FG, while BA is greater than AC, therefore the square on EF is also greater than the square on FG.  Let then the squares on FG, H be equal to the square on EF.  Now since, as BA is to AC, so is the square on EF to the square on FG,  therefore, convertendo, as AB is to BC, so is the square on EF to the square on H. [V. 19, Por.]  But AB has to BC the ratio which a square number has to a square number;  therefore the square on EF also has to the square on H the ratio which a square number has to a square number.  Therefore EF is commensurable in length with H; [X. 9]  therefore the square on EF is greater than the square on FG by the square on a straight line commensurable with EF.  And EF, FG are rational, and EF is commensurable in length with D. 
                 
                 
Therefore EF is a first binomial straight line.  Q. E. D. 
   
   
 
Permanent link
Go to Wiki Documentation
Enhet: Det humanistiske fakultet   Utviklet av: IT-seksjonen ved HF
Login