Это свойство очевидно из рис. 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 |
|
|
|
|
|
|
§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) . |
|
|
||||
|
и |
∆x→0 |
|
|
∆x |
|
|
|
|
|
|
|
|
|
|
||
С |
|
|
|
|
|
|
|
|
|
|
|
215 |
|
|
|
|
|