As geodésicas como percursos minimizando distâncias.

Demonstração do teorema que descreve as geodésicas como valores críticos do funcional "comprimento de uma curva" em cada família diferenciável de curvas parametrizadas no mesmo intervalo e com os mesmos extremos.

Superfícies geodesicamente completas.

Exemplos