Common orthogonal line of two horocycles

ID: common-orthogonal-line-of-two-horocycles

Two horocycles have a unique common orthogonal hyperbolic line when their ideal centres of horocycles differ: it is the line with those two ideal endpoints. If the centres agree, an isometry puts both horocycles on horizontal lines; every vertical hyperbolic line meets both orthogonally, so there are infinitely many. This classification remains valid for intersecting or tangent horocycles.

New to topics? Read the docs here!