Лема Лібермана — основний інструмент вивчення внутрішньої метрики опуклої поверхні.

Нехай  — опукле тіло в евклідовому просторі, і . Припустимо є найкоротша на поверхні . Розглянемо конус з вершиною в p над , тобто множину всіх точок типу , . Нехай є ізометричне вкладення тоді утворює опуклу криву на площині.

ЛітератураРедагувати