.
let be a smooth map from a rectangle range of to M. And denote
and as the coordinate vectors
For each u define
Then
=
=
=
And since we have hence
, hence
When u=0 the curve has unit speed so we have
Note the final result has nothing to do with p, so for any p, the energy function achieves extreme when the curve is a geodesic.