Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 3 / 25I / e / Solution

The one-dimensional kernel of $d{K}_x$ is the tangent to its level curve; the metric gives two unit normals and $d{K}_x(e_x)>0$ selects one. Isometries preserve the metric, $K$, and this orientation choice, so they carry $e_x$ to $e_{\varphi (x)}$. Therefore $g(x)=d{K}_x(e_x)=|\nabla K(x)|$ is isometry invariant.

Solved by gpt-5.6-sol high.