Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
интегралы.pdf
Скачиваний:
30
Добавлен:
22.03.2015
Размер:
793.76 Кб
Скачать

12

Лемма (о связи между интегрируемостью и ограниченностью). Если функция ин-

тегрируема на отрезке

, то она ограничена на этом отрезке.

 

Доказательство. Предположим, что функция

не ограничена на отрезке

.

Тогда она не ограничена и на каком-то промежутке

разбиения отрезка.

Следовательно, предел (2.3) не может быть конечным. Полученное противоречие доказывает лемму

Теорема (о связи между непрерывностью и интегрируемостью). Если функция

непрерывна на отрезке

, то она интегрируема на этом отрезке.

 

Геометрический смысл определенного интеграла. Если функция

непрерыв-

ная и неотрицательная на отрезке

, то

 

, где - площадь фигуры, огра-

ниченной кривой

, осью

 

и прямыми

,

.

 

2.2.Свойства определенного интеграла

2.2.1.Свойства, выражаемые равенствами

 

 

Пусть функции

и g(x)

интегрируемы на отрезке

. Тогда

 

b

a

 

 

 

 

 

 

1.

f (x) dx f (x) dx .

 

 

 

 

 

a

b

 

 

 

 

 

 

 

b

c

 

b

 

 

 

 

2.

f (x) dx f (x) dx f (x) dx , где a c b .

 

 

 

a

a

 

c

 

 

 

 

 

b

 

 

b

b

 

 

 

3.

f (x) g(x) dx f (x) dx g(x) dx .

 

 

 

a

 

 

a

a

 

 

 

 

Доказательство. Докажем первое свойство.

 

 

 

a

 

n

 

 

n

 

b

 

f (x) dx lim

f ( i

) (xi 1 xi ) lim

f ( i ) (xi

xi 1 ) f (x) dx

 

b

0

i 1

 

0

i 1

 

a

2.2.2.Свойства, выражаемые неравенствами.

1.

Пусть

функция

-

интегрируема на отрезке

. Если f (x) 0

x [a, b] , то

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) dx 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

Пусть функции

и

интегрируемы на отрезке

. Если

 

f (x) g(x)

 

x [a,b], то

 

b

b

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) dx g(x) dx .

 

 

 

 

 

 

 

 

 

 

 

 

a

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

Пусть функция

 

- интегрируема на отрезке

. Тогда

 

f (x) dx

 

 

 

f (x)

 

dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

a

 

 

 

 

 

4.

Пусть функция

 

- интегрируема на отрезке

и

m f (x) M

 

 

x [a, b].

Тогда