Then, BC coinciding with EF,
for, if the base BC coincides with the base EF, and the sides BA, AC do not coincide with ED, DF but fall beside them as EG, GF,
so that the angle BAC will also coincide with the angle EDF, and will be equal to it. If therefore etc.
Q. E. D. 1 2
Proposition 9.
To bisect a given rectilineal angle.
Let the angle BAC be the given rectilineal angle. Thus it is required to bisect it. Let a point D be taken at random on AB; let AE be cut off from AC equal to AD; [I. 3] let DE be joined, and on DE let the equilateral triangle DEF be constructed; let AF be joined. I say that the angle BAC has been bisected by the straight line AF. For, since AD is equal to AE, and AF is common,
Q. E. F.
Proposition 10.
To bisect a given finite straight line.
Let AB be the given finite straight line. Thus it is required to bisect the finite straight line AB. Let the equilateral triangle ABC be constructed on it, [I. 1] and let the angle ACB be bisected by the straight line CD; [I. 9] I say that the straight line AB has been bisected at the point D. For, since AC is equal to CB, and CD is common,
Q. E. F.