This is a standard construction of an angle bisector.