Angle bisector theorem (external)