Angle bisector in a right triangle example