11.Основные свойства определенного интеграла.

Основные свойства определенного интеграла:

Интеграл был введен для случая a<b. Обобщим понятие определенного интеграла, на случаи когда a=b, a>b.

1.Если a=b, то по определению на отрезке нулевой длины полагаем, что =0

Если а>b, то по определению =- (4), т.е. когда отрезок [a,b] при a<b пробегает в направлении от b к а, имеем b=X0, а=Xn, Xi=Xi-Xi-1<0

2.Каковы бы ни были числа а, b и с всегда имеет место равенство: = + (здесь и в дальнейшем предполагается, что интегралы, входящие в доказываемые формулы существуют)

Доказательство: Допустим сначала, что а<c<b, т.к. предел интегральной суммы  не зависит от способа разбиения отрезка [a,b], то будем проводить разбиение так, чтобы точка с всегда была бы точкой разбиения [a,b]. Если например с=х_m, то  можно разбить на две суммы: = = + . Переходя в последнем равенстве к пределу при  мы и получим искомое равенство.

Суть доказанного свойства состоит в том, что определенный интеграл по всему отрезку равен сумме

интегралов по его частям.

Доказательство для другого расположения точек a, b, c легко сводится к рассмотренному случаю. Пусть, например, а<b<c, тогда по доказанному, имеем: = + , откуда учитывая (4) получаем = - = + , ч.т.д.

3.Постоянный множитель можно выносить за знак определенного интеграла, т.е. =к . Доказательство: действительно, для любого разбиения отрезка [a,b] и любого выбора точек _I =k

Переходя к пределу при 0 имеем = = =к = к ., ч.т.д.

4.Определенный интеграл от алгебраической суммы функций равен алгебраической сумме их интегралов, т.е.  . Доказательство: действительно, для любого разбиения отрезка [a.b] и любого выбора точек _{I = } Так как = и = , то получаем что ₌  = 

Замечание: это свойство имеет место для любого конечного числа слагаемых.

[Т] О среднем

Если функция f(x) непрерывна на сегменте [a,b] то существует т С, принадлежащая этому сегменту, такая что =f(c)(b-a). Эта формула называется формулой среднего значения. Доказательство: Так как f(x) непрерывна на [a,b] то по второй теореме Вейерштрасса, существуют числа m и М такие что f(x)=mf(x)M= f(x). Отсюда находим m(b-a) M(b-a), следовательно, m . Положим, = (mM). Так как  заключено между наименьшим и наибольшим значениями непрерывной функции f(x) и на [a,b] то по теореме о прохождении функции через любое промежуточное значение, существует точка с[a,b] такая что f(c)=. Поэтому =f(c), а это равносильно искомому равенству. Величина f(c) называется средним значение функции f(x) на отрезке [a,b]. Замечание: теорема о среднем имеет четкий геометрический смысл: величина определенного интеграла при f(x)>=0 равна площади прямоугольника имеющего высоту f(c) и основание b-a.