Kitap 1
1
But CA was also proved equal to AB; therefore each of the straight lines CA, CB is equal to AB.
1
And things which are equal to the same thing are also equal to one another; [C.N. 1] therefore CA is also equal to CB.
1
Therefore the three straight lines CA, AB, BC are equal to one another.
1
Therefore the triangle ABC is equilateral; and it has been constructed on the given finite straight line AB.
1
QED. (Being) what it was required to do.
Proposition 2.
2
Enunciation To place at a given point (as an extremity) a straight line equal to a given straight line.
2
Proof. Let A be the given point, and BC the given straight line.
2
Thus it is required to place at the point A (as an extremity) a straight line equal to the given straight line BC.
2
From the point A to the point B let the straight line AB be joined; [Post. 1] and on it let the equilateral triangle DAB be constructed. [I. 1]
2
Let the straight lines AE, BF be produced in a straight line with DA, DB; [Post. 2] with centre B and distance BC let the circle CGH be described; [Post. 3] and again, with centre D and distance DG let the circle GKL be described. [Post. 3]
2
Then, since the point B is the centre of the circle CGH, BC is equal to BG.
2
Again, since the point D is the centre of the circle GKL, DL is equal to DG.
2
And in these DA is equal to DB; therefore the remainder AL is equal to the remainder BG. [C.N. 3]
2
But BC was also proved equal to BG; therefore each of the straight lines AL, BC is equal to BG.