Основное свойство первообразной.
Задача интегрирования состоит в том, чтобы для заданной функции найти все ее первообразные. При решении этой задачи важную роль играет следующее утверждение:
Признак постоянства функции. Если F'(х) = 0 на некотором промежутке I, то функция F — постоянная на этом промежутке.
Доказательство. Зафиксируем некоторое x0 из промежутка I. Тогда для любого числа х из такого промежутка в силу формулы Лагранжа можно указать такое число c, заключенное между х и x0, что
F(x)-F(x0) = F'(c)(x-x0).
По условию F’ (с) = 0, так как с∈1, следовательно,
F(x)-F(x0) = 0.
Итак, для всех х из промежутка I
F(x) = F(x0),
т е. функция F сохраняет постоянное значение.
Все первообразные функции f можно записать с помощью одной формулы, которую называют общим видом первообразных для функции f. Справедлива следующая теорема (основное свойство первообразных):
Теорема. Любая первообразная для функции f на промежутке I может быть записана в виде
F(x)+C, (1)
где F (х) — одна из первообразных для функции f (x) на промежутке I, а С — произвольная постоянная.
Поясним это утверждение, в котором кратко сформулированы два свойства первообразной:
1) какое бы число ни поставить в выражение (1) вместо С, получим первообразную для f на промежутке I;
2) какую бы первообразную Ф для f на промежутке I ни взять, можно подобрать такое число С, что для всех х из промежутка I будет выполнено равенство
Ф(x)= F(x)+C.
Доказательство.
1) По условию функция F — первообразная для f на промежутке I. Следовательно, F'(х)= f (х) для любого х∈1, поэтому
(F(x) + C)' = F'(x) + C'=f(x)+0=f(x),
т. е. F(x) + C — первообразная для функции f.
2) Пусть Ф (х) — одна из первообразных для функции f на том же промежутке I, т. е. Ф'(x) = f (х) для всех x∈I.
Тогда
(Ф(x) - F (x))' = Ф'(х)-F’ (х) = f(x)-f(x)=0.
Отсюда следует в. силу признака постоянства функции, что разность Ф(X) — F(х) есть функция, принимающая некоторое постоянное значение С на промежутке I.
Таким образом, для всех х из промежутка I справедливо равенство Ф(X) — F(x)=С, что и требовалось доказать.Основному свойству первообразной можно придать геометрический смысл: графики любых двух первообразных для функции f получаются друг из друга параллельным переносом вдоль оси Оу (рис.).