1). Если – первообразная для функции , то функция ( ) также первообразная для функции .
2). Если – первообразные для функции , то ( ).
Определение 1.2. Пусть – первообразная для функции на интервале . Множество всех первообразных вида ( ) называется неопределенным интегралом от функции и обозначается
. (1.1)
Функцию называют подынтегральной функцией, выражение подынтегральным выражением, символ – операцией интегрирования (знаком интеграла). Задача нахождения неопределенного интеграла (1.1) называется задачей интегрирования функции. Для нахождения неопределенного интеграла (1.1) для функции достаточно найти хотя бы одну первообразную и прибавить константу . Итак, из приведенного выше запомним, что
. (1.2)
Приведем простейшие и важные для практического применения свойства неопределенных интегралов.
Теорема 1.2 (Свойства неопределенных интегралов). Пусть –первообразная для функции на интервале . Тогда
1) ;
2) ;
3) ;
4)постоянный множитель можно выносить из-под знака интеграла:
;
5)неопределенный интеграл от суммы функций равен сумме неопределенных интегралов: ;
6) если , то , (интеграл с измененным линейным аргументом).
Доказательство. Свойства 1) – 5) доказываются просто на основании производных. Аналогично доказывается и свойство 6). Покажем на основании формулы (1.2), что :
Таблица неопределенных интегралов.