Past exam of the mathematics course of the University of Cambridge / 2016 / ib / Paper 2 / 14F / b / Solution

At an interior point $w$ of the geodesic segment from $z_1$ to $z_2$, the two angles made with the segment toward $w^{\prime }$ add to $\pi$. At least one is at least $\pi /2$. In the corresponding hyperbolic triangle, part (a) says that its opposite side $w^{\prime }{z}_i$ is at least the adjacent side $w^{\prime }w$. ThereforeIf $w$ is an endpoint the assertion is immediate. The same inequality also holds when $w^{\prime }$ lies on the complete geodesic through $z_1,z_2$: parameterize that geodesic by arclength and use the elementary inequality $|t-s|\le \max (|t-a|,|t-b|)$ for $a\le s\le b$. This extension will allow repeated use of the result in part (c).