Geodesic equals energy minimum

From Diffgeom

Statement

Let be a complete Riemannian manifold and be any two points in at distance . Then, the energy functional on the path space attains its minimum value precisely on the minimal geodesics from to .