Ранее рассматривалось понятие производной функции, ее
геометрический смысл, свойства, правила нахождения. Во многих технических задачах требуется решение обратной задачи: отыскание функции по заданной ее производной функции. Например,
задача об определении закона прямолинейного движения
материальной точки по заданной ее скорости
.
Решение сформулированной задачи основано на понятии
первообразной функции.
Определение. Функция
, определенная на промежутке
,
называется первообразной функцией (или просто первообразной) для функции
на
, если в любой точке этого промежутка функция
дифференцируема и имеет производную
, равную
:
.
Пример. Функция
является первообразной для
на
, так как для любого
имеем
.
Для одной и той же функции существует бесконечное множество первообразных. Например, для
первообразными на
являются также функции
,
и вообще
, где
– произвольное число, поскольку
для любого
.
Аналогичные рассуждения верны и для первообразной произвольной функции
.
Свойства первообразных описываются легко проверяемыми теоремами.
Теорема 1. Если
– первообразная для функции
на
, то функция
, где
– произвольное число, также является первообразной для
на
.
Теорема 2. Если
и
– произвольные первообразные для
на
, то значение разности этих первообразных в каждой точке есть одно и то же число, т.е.
на
, где
– некоторое число.
Теоремы 1 и 2 показывают, что если функция имеет первообразную
, то множество функций
, где
и
, образует множество всех первообразных для функции
на
.
Для
множество всех первообразных есть множество функций
,
,
.
Определение. Множество всех первообразных для функции
на промежутке
называется неопределенным интегралом
функции
на
и обозначается символом
.
Выражение
называется подынтегральным выражением,
– подынтегральной функцией,
– переменной интегрирования,
– произвольной постоянной. Процедуру отыскания
неопределенного интеграла функции называют интегрированием функции (будем говорить, что «интеграл вычисляется»).
Если
– какая-либо первообразная функции
на
, то в силу определения неопределенного интеграла и свойств первообразных имеем
,
,
.
Для краткости это равенство записывается обычно в виде
.
Пример. Проверить формулу
,
или
.
Решение. Используя определение абсолютной величины
,
можем записать 
На интервале
имеем
, поэтому для функции
на
функция
является первообразной.
На интервале
имеем
, поэтому для функции
на
первообразная имеет вид
.