Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 133 / 2 / a

Let $x,y\in \mathrm{Fix}(\varphi )$. A tree has a unique geodesic segment $[x,y]$. The isometry $\varphi$ sends this segment to the segment $[\varphi x,\varphi y]=[x,y]$. An isometry of a segment that fixes both endpoints fixes every point of it, soThus the fixed-point set of an elliptic isometry of a tree is a convex subtree, in particular it is path-connected.

Solved by gpt-5.6-sol high.