Материал: 2231

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

 

 

 

 

 

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

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

f (x)dx = 0.

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

a

 

 

 

 

 

 

 

 

 

 

2.

f (x)dx

= −f (x)dx .

 

 

 

 

 

 

 

 

a

 

 

 

b

 

 

 

 

 

 

 

 

 

 

Свойства 1 и 2 очевидно следуют из определения определенного

интеграла.

 

 

 

 

 

 

 

 

 

 

Д

 

b

 

 

 

 

 

 

b

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

И

3.

[f (x) ± g(x)]dx =

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

 

 

a

 

 

 

 

 

 

a

 

 

a

 

 

 

Доказательство.

 

 

А

 

b

b

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

n

~

 

~

 

[f (x) ± g(x)]dx = lim

[f (xk ) ± g(xk )]xk =

a

 

 

 

 

 

n→∞ k=1

 

 

 

 

 

 

 

 

 

n

 

~

 

 

 

n

~

 

 

 

 

 

= lim

f

(xk )xk

±

g(xk )xk

=

 

 

 

n→∞

 

k=1

 

 

 

k=1

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

n

~

 

 

 

n

~

 

 

b

 

b

f

(xk )xk ± lim g(xk )xk

= f (x)dx ±g(x)dx.

и

n→∞ k=1

 

 

 

 

 

 

n→∞ k=1

 

 

 

 

 

a

 

a

4. c f (x)dx = cf (x)dx.

 

 

 

 

 

 

 

a

 

 

 

a

 

 

 

 

 

 

 

 

 

 

С

 

 

 

 

 

 

 

 

 

 

 

 

Доказательствоб:

 

 

 

 

 

b

 

 

 

 

n

 

 

~

 

 

 

n

~

 

 

 

 

 

 

 

 

 

 

 

c f (x)dx = lim c f (xk )xk = lim c f

(xk )xk =

a

 

 

 

 

n→∞ k=1

 

 

 

 

 

n→∞

k=1

 

 

 

 

 

n

 

~

 

 

b

 

 

 

 

 

 

 

= c lim f

(xk )xk

 

= cf (x)dx.

 

 

 

 

 

n→∞ k=1

 

 

 

 

a

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5.

c dx = c(b a) .

 

 

 

 

 

 

 

 

 

 

a

211

Это свойство очевидно из рис. 24.

 

 

 

 

c

y = c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

b

 

 

 

 

 

Рис. 24

 

 

 

 

 

b

 

 

 

c

 

b

 

6. Если

a < c < b, то

f (x)dx =

f (x)dx +

f (x)dx.

 

 

a

 

 

 

a

 

c

И

Свойство проиллюстрировано на рис. 25.

 

 

 

 

 

 

 

y = f (x)

 

 

 

 

 

 

 

 

Д

 

 

a

 

c

 

b

 

 

 

 

 

Рис. 25

 

 

 

 

 

Аb

 

 

7. Если

f (x) 0 на

[a, b], то

f

(x)dx > 0 .

 

 

 

б

a

 

 

 

 

 

b

 

 

 

 

8.

f (x)dx < 0 .

 

f (x) 0 на

[a,b], то

 

 

Если

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

С

 

 

 

 

 

 

 

 

 

 

 

 

 

212

 

 

 

 

y= g (x) y = f(x)
b

9. Если f (x) g(x) на [a,b], то

b

b

f (x)dx < g(x)dx (рис. 26).

 

a

a

a

Рис. 26

 

b

 

b

 

 

 

 

 

 

 

 

 

 

10.

f (x)dx

 

 

f (x)

 

dx.

 

 

 

 

a

 

a

 

 

 

 

Доказательство. Очевидно, что

 

f (x)

 

f (x)

 

f (x)

. Проин-

 

 

 

тегрируем неравенство по отрезку [a,b].

 

По

 

 

 

 

 

И

 

 

свойству 9 получаем

b

 

 

 

 

b

 

 

b

 

f (x)

 

dx f (x)dx

 

f (x)

 

dx ,

 

 

 

 

a

 

 

 

 

a

 

 

a

то есть верно свойство 10.

 

 

 

Д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

f (x)dx

b

f (x)

 

dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

 

 

 

 

 

a

a

 

 

 

Следств я.

 

наб[a,b] верно, что f (x) k , то

 

b

 

 

 

 

 

1.

 

f (x)dx

 

k(b a).

 

 

 

 

a

 

 

2.

m на меньшее,

M наибольшее значения функции

y = f (x) на [a,b], то

 

 

 

 

 

Если

 

 

 

 

 

С

b

f (x)dx M (b a).

m(b a)

a

 

 

 

 

 

 

 

 

 

 

 

213

11. Теорема о среднем значении.

Пусть функция y = f (x) непрерывна на [a,b]. Тогда существует точка c [a,b], такая, что верна формула

b

 

 

f (x)dx

f (c) (b a) .

(54)

a

 

 

Доказательство. Непрерывная функция y = f (x) на [a,b] при-

нимает свое наименьшее значение m и наибольшее M на данном отрезке. То есть на [a,b] верно неравенство m f (x) M . Проинтегри-

ровав данное неравенство с учетом свойства 9, получим

 

 

 

 

 

b

 

 

b

 

b

 

И

 

 

 

 

 

mdx f (x)dx Mdx .

 

 

 

 

 

a

 

 

a

 

a

 

 

По свойству 5 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

m(b

a)

f (x)dx M (b a) ,

 

 

 

 

 

 

 

 

 

a

 

Д

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f (x)dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

 

 

 

 

 

 

 

 

 

m

a

 

M .

 

 

 

 

 

 

 

 

 

 

b a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Непрерывная функц я принимает все промежуточные значения

(теорема

 

б

 

[a,b], для которой верно

 

),

поэтому найдется точка c

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

f (x)dx

 

 

 

 

 

 

 

равенство

a

 

 

= f (c) , из которого следует утверждение теоремы.

 

 

 

 

Коши

 

 

 

 

 

 

 

 

 

b a

 

 

 

 

 

 

 

 

 

С

 

 

 

 

 

 

 

 

 

 

214

 

§29. Определенный интеграл с переменным верхним пределом

 

Рассмотрим функцию Ф(x) =

x

f (t)dt , где x [a,b].

 

 

 

 

 

a

 

 

 

 

 

Геометрический смысл определенного интеграла

 

 

с переменным верхним пределом

 

 

Если f (x) > 0, то о пределенный интеграл с переменным верх-

ним пределом равен площади криволинейной трапеции с основанием

[a, x] (рис. 27).

 

 

 

 

 

 

И

 

 

 

 

 

 

y = f (x)

 

 

 

 

 

 

 

 

 

 

 

0

a

x

 

b

 

 

 

 

 

 

 

 

 

 

 

Рис. 27

Д

 

Заметим, что Ф(x)

 

 

 

 

– возрастающая функция (при f (x) > 0).

лов).

Теорема (связь определенного и неопределенного интегра-

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

 

переменным

верхним пределом

 

x

 

А

 

 

F(x)

= f (t) dt

 

 

 

является первоо разной для f (x).

 

 

 

a

 

 

 

 

 

 

 

 

Доказательство. Для доказательства теоремы достаточно дока-

зать, что F'(x) = f (x). Зап шем определение производной

 

 

б

 

 

 

 

 

 

 

F'(x) = lim F(x + ∆x) F(x) .

 

 

 

и

x0

 

 

x

 

 

 

 

 

 

 

 

 

С

 

 

 

 

 

 

 

 

 

 

215