Лема Лібермана

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

Шаблон:Рамка Нехай $K$ — опукле тіло в евклідовому просторі, і $p\in K$. Припустимо $\gamma$ є найкоротша на поверхні $K$. Розглянемо конус $L$ з вершиною в p над $\gamma$, тобто множину всіх точок типу $p+\lambda \cdot (\gamma (t)-p)$, $\lambda \ge 0$. Нехай $\sigma :L\to {ℝ}^2$ є ізометричне вкладення тоді $\sigma \circ \gamma$ утворює опуклу криву на площині. Шаблон:/рамка

Література

• Либерман, И. М. «Геодезические линии на выпуклых поверхностях». ДАН СССР. 32.2. (1941), 310—313.