Usovs geodetiska teorem ger en exakt uppskattning för variationen av rotationen av en geodetisk på grafen för en konvex Lipschitz-funktion.
Bevisat av Vladimir Usov. [1] Beviset använder Liebermans lemma .
Låt det finnas en graf över en konvex Lipschitz-funktion och en geodetisk på . Då överstiger inte rotationsvariationen , där är Lipschitz-konstanten .