Еще немного продвинулся:
Пусть поверхность хорошая и на ней мы знаем первую и вторую квадратичные форму, которые соответственно будет обозначать
и
. А их элементы
и
, а для элементов обратных матриц соответственно
и
.
Вектор нормали единчный, поэтому его производные
и
(для удобства
и
)перпендикулярны ему самому, а значит лежат в касательной плоскости и следовательно раскладываются по базису
следующим образом
(понимается сумма по
)
Выразим
через квадратичные формы поверхности:
Домножим
на
, тогда
С другой стороны, мы знаем, что
, и если взять производную
( второе слагаемое по определению
)
то получается, что
откуда находим коэффициент
Теперь, возвращаясь к самой задаче
По идее дальше нужно взять производную по еще какому-то индексу
и использовать теорему о неявной функции
пока еще до конца не осознал