Right-angled triangle and angle bisector