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.