основное свойство первообразной

Основное свойство первообразной.Задача интегрирования состоит в том, чтобы для заданной функции найти все ее первообразные. При решении этой задачи важную роль играет следующее утверждение:Признак постоянства функции. Если F'(х) = 0 на некотором промежутке I, то функция F — постоянная на этом промежутке.Доказательство. Зафиксируем некоторое x0 из промежутка I. Тогда для любого числа х из такого промежутка в силу формулы Лагранжа можно указать такое число c, заключенное между х и x0, чтоF(x)-F(x0) = F'(c)(x-x0).По условию F’ (с) = 0, так как с∈1, следовательно,F(x)-F(x0) = 0.Итак, для всех х из промежутка IF(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 получаются друг из друга параллельным переносом вдоль оси Оу (рис.).