Еще немного продвинулся:
Пусть поверхность хорошая и на ней мы знаем первую и вторую квадратичные форму, которые соответственно будет обозначать

и

. А их элементы

и

, а для элементов обратных матриц соответственно

и

.
Вектор нормали единчный, поэтому его производные

и

(для удобства

и

)перпендикулярны ему самому, а значит лежат в касательной плоскости и следовательно раскладываются по базису

следующим образом

(понимается сумма по

)
Выразим

через квадратичные формы поверхности:
Домножим

на

, тогда

С другой стороны, мы знаем, что

, и если взять производную

( второе слагаемое по определению

)
то получается, что
откуда находим коэффициент
Теперь, возвращаясь к самой задаче

По идее дальше нужно взять производную по еще какому-то индексу
и использовать теорему о неявной функции
пока еще до конца не осознал