Система Orphus

18 .Существование первообразной для непрерывной функции. Формула Ньютона Лейбница.

Существование первообразной для непрерывной функции.

Теорема . : Если функция f непрерывна на отрезке [a,b] , то она имеет первообразную на этом отрезке, причем первообразной для функции f является интеграл с переменным верхним пределом : и поэтому

f(t)dt+C(8), где С — произвольная константа.

Пусть x – произвольная точка отрезка [a,b]. По теореме о дифференцируемости интеграла функция F(x) определяемая формулой (1) ,имеет в точке x производную равную f(x) ,т.е.

F'(x)=f(t)dt)=f(x) (9)

Согласно определению первообразной функция F(x) является первообразной для функции f(x) на отрезке [a,b] и поэтому справедливо равенство (8)

Следствие : Из теоремы выше и теоремы из определения первообразной следует ,что всякая первообразная Ф(x) для функции f ,непрерывной на отрезке [a,b] , имеет вид

, (10),где С – постоянная.


Формула Ньютона Лейбница. (Основная формула интегрального исчисления)

Теорема: Если функция f(x) непрерывна на отрезке [a,b] и если Ф(x) какая-нибудь первообразная для f(x) на этом отрезке ,то справедлива формула Ньютона-Лейбница:


f(x)dx=Ф(b)–Ф(a) (11).

Согласно следствию из теоремы о существовании первообразной существует число С такое ,что справедливо равенство (10). Подставляя в формулу (10) x=a и учитывая,что


получаем С=Ф(а) . Поэтому равенство (11) можно записать в виде

(12)

Равенство (12) выполняется при любых значениях ,и в частности при x=b , т.е.

откуда следует формула (11) ,так как величина определенного интеграла не зависит от того ,какой буквой обозначается независимое переменное в интеграле.


Система Orphus

Комментарии