[math-fun] Constructing a hyperbolic geodesic