On the Generating Motions and the Convexity of a Well-Known Curve in Hyperbolic Geometry

Dieter Ruoff
2006 Forum Geometricorum   unpublished
In Euclidean geometry the vertices P of those angles ∠AP B of size α that pass through the endpoints A, B of a given segment trace the arc of a circle. In hyperbolic geometry on the other hand a set of equivalently defined points P determines a different kind of curve. In this paper the most basic property of the curve, its convexity, is established. No straightforward proof could be found. The argument rests on a comparison of the rigid motions that map one of the angles ∠AP B into other ones.