Angle bisector properties