Every curve that has the shortest length of any admissible curve with the same endpoints as is a geodesic (in a unit-speed reparameterization).
Every curve that has the shortest length of any admissible curve with the same endpoints as is a geodesic (in a unit-speed reparameterization).