Theorema-Egregium

Differential Geometry (4): Intrinsic Geometry — Theorema Egregium and Geodesics

Gauss's Theorema Egregium reveals that Gaussian curvature depends only on the first form — geodesics are the 'straight lines' of curved surfaces, minimizing arc length locally.