In the figure, the ray bisects the angle .
Note that any point on the angle bisector is equidistant from the two sides of the angle. Some textbooks call this Angle Bisector Theorem, but this name is usually used for another theorem about angle bisectors in a triangle.
Since is an angle bisector,
By the Angle Addition Postulate,