Geodesic equals energy minimum

From Diffgeom

Statement

Let M be a complete Riemannian manifold and p,qM be any two points in M at distance d. Then, the energy functional on the path space Ω(M;p,q) attains its minimum value d2 precisely on the minimal geodesics from p to q.