1) ,
;
2) и
непрерывны на
;
3) непрерывна на
и при изменении
от
до
не выходит за пределы отрезка
,
то .
Пусть
У обоих определенных интегралов правые части равны, следовательно, равны и левые части:
что и требовалось доказать.
Из доказанной теоремы следует, что при замене переменной в определенном интеграле должны поменяться пределы интегрирования, и обратная замена здесь уже не нужна, так как и при старой и при новой переменной в ответе получается одно и то же число.
4. Интегрирование по частям в определенном интеграле
Пусть даны функции
Возьмем от обеих частей полученного равенства определенные интегралы:
Но
5. Длина дуги кривой в прямоугольных координатах
При вычислении длины кривой линии может быть использована та же методика, что и при вычислении площадей криволинейных трапеций, то есть кривую разбивают на такие малые участки, длину которых можно посчитать геометрическими методами.
Определение. Длиной дуги кривой линии называют предел, к которому стремится длина вписанной в нее ломаной линии при неограниченном увеличении числа ее звеньев и при стремлении длины наибольшего звена к нулю.
Итак, пусть кривая линия
Обозначим:
Согласно теореме Лагранжа о среднем
следовательно,
Отсюда длина ломаной линии равна
Переходя к пределу в данной интегральной сумме, когда число звеньев ломаной стремится к бесконечности, а длина наибольшего звена стремится к нулю, получаем длину кривой линии в прямоугольной системе координат:
Данный интеграл существует, поскольку по условию производная
Из полученной формулы можно получить выражение для дифференциала дуги, которое используется как в математике, так и в некоторых задачах теоретической механики. Пусть положение правого конца кривой линии является переменной величиной, тогда ее длина будет функцией точки, в которой она заканчивается, то есть
Возьмем производную данного интеграла по переменному верхнему пределу (п. 1.):
Отсюда следует, что
6. Длина дуги кривой при ее параметрическом задании
Рассмотрим теперь случай, когда кривая, длину которой необходимо вычислить, задана параметрически, то есть
В случае пространственной кривой ее параметрическое задание будет выглядеть следующим образом: