Hyperbolic reflection

Reflection in a hyperbolic line is the unique orientation-reversing hyperbolic isometry fixing that line pointwise. The product of reflections in intersecting lines is a rotation through twice their angle.

A reflection in the perpendicular bisector of a point and its image corrects that point. A second bisector reflection through the corrected point can correct another point without moving the first. An isometry fixing two distinct points is either the identity or reflection in their joining geodesic: points with prescribed distances from both centres have at most two possibilities, exchanged by that reflection. Fixing a third noncollinear point then fixes every point. This constructs a factorization with at most three hyperbolic reflections.

The composition of hyperbolic reflections in two ultraparallel hyperbolic lines has infinite order. Map their common perpendicular to the imaginary axis in the Poincaré half-plane model. The two reflecting hyperbolic lines become semicircles centred at zero, with distinct radii $r_1,r_2$. Reflection in the radius-$r$ semicircle is $z\mapsto r^2/\overline{z}$, so their composition is $z\mapsto (r_2/r_1{)}^{2}z$. Every positive power remains nonidentity, because $(r_2/r_1{)}^{2k}\ne 1$ for $k\ge 1$.