Teorema geodezică a lui Usov oferă o estimare exactă a variației de rotație a unei geodezice pe graficul unei funcții Lipschitz convexe.
Dovedit de Vladimir Usov. [1] Dovada folosește lema lui Lieberman .
Să fie un grafic al unei funcții Lipschitz convexe și o geodezică pe . Atunci variația de rotație nu depășește , unde este constanta Lipschitz .