A pseudo-trigonometry related to Ptolemy's theorem and the hyperbolic geometry of punctured spheres

Abstract

A hyperbolic geodesic joining two punctures on a Riemann surface has infinite length. To obtain a useful distance-like quantity we define a finite <i> pseudo-length</i> of such a geodesic in terms of the hyperbolic length of its surrounding geodesic loop.