To place at a given point (as an extremity) a straight line equal to a given straight line
Let
be the given point, and
the given straight line.
Thus it is required to place at the point
(as an extremity) a straight line equal to the given straight line
.
From the point
to the point
let the straight line
be joined; [Post. 1]
and on it let the equilateral triangle
be constructed. [Prop. 1.1]
Let the straight lines
,
be produced in a straight line with
,
; [Post. 2]
with centre
and distance
let the circle
be described; [Post. 3]
and again, with centre
and distance
let the circle
be described. [Post. 3]
Then, since the point
is the centre of the circle
,
is equal to
.
Again, since the point
is the centre of the circle
,
is equal to
.
And in these
is equal to
;
therefore the remainder
is equal to the remainder
. [C.N. 3]
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]
threfore
is also equal to
.
Therefore at the given point
the straight line
is placed equal to the given straight line
.
(Being) what it was required to do.