Triangle Angle Bisector Theorem exp