Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 1 / 26F / c / Solution

For a chosen unit normal field $N$, the second fundamental form isIn a local parametrization $\varphi$, its coefficients, up to the equivalent simultaneous sign convention, areThe Gaussian curvature is the determinant of the shape operator, henceTheorema Egregium states that $K$ is determined entirely by the first fundamental form. In particular, it is intrinsic and is preserved by every local isometry.

Solved by gpt-5.6-sol high.