Женисбек писал(а):
Обозначим

- вектор единичной нормали, направленный внутрь кривой
Как-то я не заметил, где это уточнение --- "внутрь кривой" --- фигурирует или испульзуется. В частности компоненты

явно не выписываются
Женисбек писал(а):
...и, следовательно,

,

Этот "const" здесь, мне кажется, не нужен. Вы рассматриваете соотношение в точке, все величины здесь в одинаковой мере "const"ы. Важно (и понятно без уточнений), что это скаляр.
А какая разница, домножаем ли мы слева или справа? Опять излишество?
Но это мелочёвка. А вот как это у Вас

, а чуть ниже

, при том, что

и

уже параллельны?
Женисбек писал(а):



.
Таким образом

С другой стороны, домножая (2) на

, и учитывая

получим


,
причем, в силу строго выпуклости кривой,

Лично мне пришлось бы напрячь мозги, чтобы сделать этот вывод из выпуклости (и для этого, вероятно "внутрь-наружу" и служило) , но я пока их трогать не буду... Пока с параллельностью не прояснится. Вторую производную сложной функции я себе простил, а вот если окажется, что мне надо бежать учить скалярные произведения, то...
Упорство и труд всё перетрут!
