Первообразная и неопределённый интеграл

Везде ниже — промежуток произвольного вида.

Первообразной функции на называется функция такая, что

Теорема. Описание множества первообразных

Пусть — первообразная на . Тогда — тоже первообразная тогда и только тогда, когда

Доказательство

  • Необходимость. Пусть . Тогда удовлетворяет . По теореме Лагранжа для любых : значит .

  • Достаточность. Если , то .

Теорема. Достаточное условие существования

Если , то первообразная существует. Явный пример: .

Неопределённый интеграл

Неопределённым интегралом называется множество всех первообразных:

Связь с производной и дифференциалом:

Теорема. Линейность

Таблица основных интегралов

ФункцияИнтеграл
,