В дифференциальном исчислении по заданной функции
приходилось отыскивать ее производную
.
В интегральном исчислении рассматривается обратная задача: по заданной функции
восстановить такую функцию
, для которой
была бы производной, т.е.
.
Определение. Функция
называется первообразной (функцией) для функции
на интервале
, если для всех значений x из этого интервала выполняется равенство
.
Примеры
1) Функция
является первообразной для функции
на всей числовой прямой, так как при любом значении
выполняется равенство
.
2) Функция
является первообразной для функции
на интервале
, так как в любой точке x этого интервала
.
Однако задача отыскания по данной функции
её первообразной решается неоднозначно. Действительно, если
– первообразная для
, т.е.
, то функция
, где
– произвольная постоянная, также является первообразной для
, так как
для любого числа
.
Например, для
первообразной является не только
, но и функция
, так как
.
Возникает вопрос: если
и
– две первообразные для одной и той же функции
, то всегда ли они отличаются друг от друга на постоянное слагаемое? Оказывается, что это действительно так.
Теорема 1.1. Если
и
– две первообразные для функции
на интервале
, то
, где
– некоторая постоянная.
Доказательство. По условию
и
– первообразные для
, поэтому
.
Рассмотрим функцию
.
Её производная
.
Для любых двух точек
по теореме Лагранжа получаем
.
Так как
, то
. Это означает, что значения функции
во всех точках интервала
одинаковы, т.е.
, где
– некоторое число. Таким образом,
или
.
Следствие. Все первообразные для функции
на интервале
даются формулой
, где
– одна из первообразных для
, а
– произвольная постоянная.