Пусть дан интеграл , где - непрерывна на . Введем новую переменную по формуле .
Если:
1) ; ;
2) и - непрерывны на ;
3) - определена и непрерывна на ;
то .
Пусть - первообразная для , т.е. . Рассмотрим сложную функцию . Найдем ее производную
.
Значит - первообразная для . Тогда
Действительно, . Сделаем подстановку в первом интеграле . Тогда.
Следовательно, .
Действительно,
(подстановка
в первом интеграле) .