Angle bisector creates segments that are proportional