‹-- Назад
Неопределённый интеграл и таблица неопределённых интегралов
Дадим теперь такое название множеству всех первообразных данной функции:
Согласно доказанным выше теоремам о виде первообразных, неопределённый интеграл от функции состоит из функций вида , где -- какая-либо фиксированная первообразная для , а -- величина, постоянная на каждом из непересекающихся интервалов, на которых задана функция . Поэтому можно написать такую формулу:
Итак, для того чтобы доказать равенство , достаточно проверить, что -- первообразная для , то есть что . Поэтому таблица неопределённых интегралов для многих часто встречающихся функций сразу следует из таблицы производных, которую мы получили в первом семестре.
1) Поскольку , то при и , если взять . Поэтому при
В частности, получаем при (заметим, что ):
2) Пусть . Тогда не задаётся формулой предыдущего пункта. Однако, согласно таблице производных, при мы имеем , следовательно, -- первообразная для на интервале . Проверим, что при функция -- первообразная для на интервале . Действительно, по правилу дифференцирования сложной функции получаем
3) Поскольку, согласно таблице производных, при
В частности, при получаем:
4) Поскольку , получаем
5) Поскольку , получаем
6) Так как , то
7) Аналогично, поскольку , получаем
8) Табличная формула означает, что -- первообразная для на интервале . Значит,
Докажем также обобщение полученной формулы: если , то на интервале имеем
9) Из табличной формулы (при ) получаем, что
Докажем также следующее обобщение полученной формулы: если , то
Ясно, что имеет место также формула
10) Докажем формулу
где -- произвольное постоянное число. (Заметим, что при формула имеет смысл для всех , а при -- для , так что во втором случае величина -- кусочно постоянная.) Для доказательства надо рассмотреть два случая: (при возможен только этот случай; это неравенство имеет место также при и ) и (при и ; поскольку , случай равенства нулю невозможен). В первом случае имеем:
Поскольку получили подынтегральную функцию, формула в этом случае доказана. Второй случай, когда , рассматривается аналогично.
Заметим, что функцию в правой части формулы (1.1) часто называют кдлинным логарифмом", в отличие от правой части формулы следующего пункта, тоже содержащей логарифм.
11) Пусть и , то есть . Тогда
(здесь -- кусочно постоянная величина, которая на трёх интервалах изменения может принимать три разных значения).
Рассмотрим два случая: (это неравенство выполняется при ) и (это неравенство выполняется при ). В первом случае имеем
Получили подынтегральную функцию, так что формула (1.2) в этом случае доказана. Случай рассматривается аналогично.
Функцию, стоящую в правой части формулы (1.2), часто называют квысоким логарифмом".
12) Докажем формулу
Подсчитаем производную правой части в случае, когда . Получаем:
Случай разбирается аналогично.
13) Имеет место также формула