Интеграл можно упростить, введя вместо новую переменную , положив
(3)
Предложение 3. Для преобразования неопределенного интеграла к новой переменной по формуле (5.3) достаточно преобразовать его подынтегральное выражение:
(4)
Доказательство. Возьмем дифференциалы левой и правой части формулы (5.4), а также воспользуемся свойством 2 неопределенных интегралов и подстановкой (5.3), получим следующее:
.
Так как правые части равны, то и левые части тождественны. Отсюда следует справедливость формулы (5.4).
Пример 1.
Пример 2.
Замечание. Новую переменную можно явно не записывать, а ввести постоянные и переменные под знаком дифференциала. Эту операцию называют преобразованием функции под знаком дифференциала.
Пример 3.
Предложение 4. Пусть некоторая первообразная для функции . Тогда справедливо
(5)
где - постоянные,
Доказательство. Интеграл можно записать в следующем в виде
Тогда по определению неопределенного интеграла имеем
Но из определения дифференциала имеем . Тогда вынося постоянную за знак интеграла и деля правую и левую часть равенства на , получим формулу (5).