Usovova geodetická věta poskytuje přesný odhad pro změnu rotace geodetiky na grafu konvexní Lipschitzovy funkce.
Ověřeno Vladimirem Usovem. [1] Důkaz využívá Liebermanovo lemma .
Nechť existuje graf konvexní Lipschitzovy funkce a geodetické na . Pak variace rotace nepřekročí , kde je Lipschitzova konstanta .