On a given finite straight line to construct an equilateral triangle.
Let
be the given finite straight line.
Thus it is required to construct an equilateral triangle on the straight line
.
With centre
and distance
let the circle
be described; [Post. 3]
again, with centre
and distance
let the circle
be described; [Post. 3]
and from the point
, in which the circles cut one another, to the points
,
let the straight lines
,
be joined. [Post. 1]
Now, since the point
is the centre of the circle
,
is equal to
. [Def. 15]
Again, since the point
is the centre of the circle
,
is equal to
. [Def. 15]
But
was also proved equal to
;
therefore each of the straight lines
,
is equal to
.
And things which are equal to the same thing are also equal to one another; [C.N. 1]
therefore
is also equal to
.
Therefore the three straight lines
,
,
are equal to one another.
Therefore the triangle
is equilateral; and it has been constructed on the given finite straight line
.
(Being) what it was required to do.