If the metric is normalized to have Gaussian curvature − 1 , then the horocycle is a curve of geodesic curvature 1 at every point .
If the metric is normalized to have geodesic curvature − 1 , then the horocycle is a curve of Gaussian curvature 1 at every point .