Через

обозначим гладкую двумерную поверхность, лежащую в

со стандартной евклидовой метрикой. На поверхности начерчена гладкая кривая

.

-- кривизна и геодезическая кривизна кривой соответственно;

-- натуральный параметр.

-- единичный вектор главной нормали к кривой,

-- единичный вектор, перпендикулярный кривой и касательный к поверхности.
Доказать формулу

.
Это классика из старых учебников. Но при чем же тут лагранжев формализм...