Paper 3, Section I, F
Part IB, 2013
Let be a surface with Riemannian metric having first fundamental form . State a formula for the Gauss curvature of .
Suppose that is flat, so vanishes identically, and that is a geodesic on when parametrised by arc-length. Using the geodesic equations, or otherwise, prove that , i.e. is locally isometric to a plane.