1. Производная от неопределенного интеграла равна подынтегральной функции.

Доказательство. Непосредственно по определению неопределенного интеграла следует, что

2. Дифференциал неопределенного интеграла равен подынтегральному выражению.
.
Доказательство. Из свойства 1 и по определению неопределенного интеграла и дифференциала, имеем

3. Неопределенный интеграл от дифференциала некоторой функции равен этой функции с точностью до постоянного множителя.
.
Доказательство. На основании свойства 2 и определения неопределенного интеграла, имеем

Следующие два свойства называются линейными свойствами неопределенного интеграла.
4. Постоянный множитель можно выносить за знак интеграла.
.
Доказательство. Введем новую функцию
.
Возьмем производную этой функции и применяя свойство 1, получим
-
.
Из теоремы Лагранжа найдется такое число С,что
. Отсюда следует

Здесь можно опустить постоянную С, так как неопределенный интеграл определяется с точностью до постоянного слагаемого.
|
|
|
5. Интеграл от алгебраической суммы двух функций равен сумме интегралов от этих функций

Доказательство аналогично свойству 4.
Таблица основных интегралов
Интегралы от элементарных функций называют табличными. Справедливость формул легко проверить дифференцированием.
1
.
2. 
3. 
4. 
5. 
6. 
7. 
8. 
9. 
10. 

11. 
12. 
13. 
Пример. Докажем формулу
.
Пусть
Производная правой части будет равна подынтегральной функции левой части.
Действительно,
. Для
справедливо
.
Аналогично доказываются остальные формулы таблицы.
4. Метод непосредственного интегрирования .
Вычисление интегралов с использованием основных правил интегрирования и таблицы неопределенных интегралов называется непосредственным интегрированием.
Пример 1. Найти
.

Пример 2. Найти 
=
