Solve triangles: angle bisector theorem