Given two unequal straight lines, to cut off from the greater a straight line equal to the less.
Let
,
be the two given unequal straight lines, and let
be the greater of them.
Thus it is required to cut off from
the greater a straight line equal to
the less.
At the point
let
be placed equal to the straight line
; [Prop. 1.2]
and with centre
and distance
let the circle
be described. [Post. 3]
Now, since the point
is the centre of the circle
,
is equal to
. [Def. 15]
But
is also equal to
.
Therefore each of the straight lines
,
is equal to
; so that
is also equal to
.
Therefore, given the two straight lines
,
from
the greater
has been cut of equal to
the less.
(Being) what it was required to do.