Первообразная и неопределённый интеграл
Везде ниже — промежуток произвольного вида.
Первообразной функции на называется функция такая, что
Теорема. Описание множества первообразных
Пусть — первообразная на . Тогда — тоже первообразная тогда и только тогда, когда
Доказательство
- Необходимость. Пусть . Тогда удовлетворяет . По теореме Лагранжа для любых : значит .
- Достаточность. Если , то .
Теорема. Достаточное условие существования
Если , то первообразная существует. Явный пример: .
Неопределённый интеграл
Неопределённым интегралом называется множество всех первообразных:
Связь с производной и дифференциалом:
Теорема. Линейность
Таблица основных интегралов
| Функция | Интеграл |
|---|---|
| , | |