Доказательство.
Исключая из уравнений переменную
, придем к равенству
. Это означает,
что кривая
может быть параметризована равенствами
Тогда искомая работа
равна
Отметим, что несколько более рационально было бы отдельно вычислить
интеграл
, выбирая в качестве параметра
:
Оставшийся же интеграл
удобно вычислять с описанной
выше параметризацией:
Полный ответ получается суммированием.