The internal angle bisectors of a hyperbolic triangle are concurrent.
As in euclidean geometry, the point of concurrence of the angle bisectors
is the centre of the incircle - a circle touching all three sides. Indeed, the
same proof suffices.
Proof of the angle bisector theorem and the incentre property
