Past exam of the mathematics course of the University of Cambridge / 2016 / ib / Paper 1 / 3F / c / Solution

The radial segment is a geodesic of the Poincare disc model. Its hyperbolic length isOne can also verify that it minimizes length of a curve: along any piecewise smooth curve from zero to radius $r$, the Euclidean speed is at least the absolute radial speed. Integrating $2|dr|/(1-r^2)$ is at least the absolute change in $\log ((1+r)/(1-r))$, with equality on the radial segment. Thus the answer is independent of $\theta$.