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