Дано:

- система гладких функций, задающая кривую в окрестности точки

.
Найти геодезическую кривизну кривой в этой точке.
Что получилось:

- вектор нормали в поверхности F

- вектор нормали в поверхности G

- касательный вектор к кривой

,

, следовательно,


- главная нормаль к кривой

, значит
По определению геодезической кривизны,

"длина проекции

на касательную плоскость". Путем несложных рассуждений получаем, что

.
Тогда

- биссектриса между векторами

.

А ещё

, где

- это кривизна кривой в

. Получилось, что осталось найти только кривизну.
Как это сделать?
На всякий случай, напомню, что

и

- функции от 3 переменных.
i |
Deggial: формулу поправил. Гляньте |