из теоремы 10.1, представляется в виде
Подынтегральная функция в правой части формулы (10.17) непрерывна, поэтому функция дифференцируема и справедливо равенство
Возводя полученное равенство в квадрат и умножая на будем иметь
Поскольку из формулы (10.18) получаем
Если рассматривается пространственная кривая, определяемая уравнениями (10.3), то при условии непрерывности функций и их производных первого порядка на сегменте для дифференциала пути пространственной кривой справедлива формула