|
Доказательство. |
|
|
на a,b принимает свое наименьшее |
||||||
|
Непрерывная функция y f (x) |
|||||||||
значение m и наибольшее M на данном отрезке. То есть на a,b |
верно |
|||||||||
неравенство m f (x) M . Проинтегрировав данное неравенство с учетом |
||||||||||
|
|
|
|
b |
b |
|
b |
|
|
|
свойства 9, получим mdx f (x)dx Mdx. |
|
|
|
|||||||
|
|
|
|
a |
a |
|
a |
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
По |
свойству |
5 |
имеем |
m(b a) f (x)dx M(b a), |
или |
||||
|
b |
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x)dx |
|
|
|
|
|
|
|
|
|
m a |
M . |
|
|
|
|
|
|
|
||
|
b a |
|
|
|
|
|
|
|
|
|
|
Непрерывная функция принимает все промежуточные значения (тео- |
|||||||||
рема Коши), поэтому найдется точка c a,b , для которой верно равенст- |
||||||||||
|
b |
|
|
|
|
|
|
|
|
|
|
f (x)dx |
|
|
|
|
|
|
|
|
|
во a |
f (c), из которого следует утверждение теоремы. |
|
|
|||||||
|
b a |
|
|
|
|
|
|
|
|
|
|
§3. Определенный интеграл с переменным верхним пределом |
|||||||||
|
|
|
|
|
|
x |
|
|
|
|
|
Рассмотрим функцию Ф(x) f (t)dt , где x a,b . |
|
|
|||||||
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
y f(x) |
|
Геометрический смысл данного интеграла |
|||||
|
|
|
в случае |
f (x) 0 – площадь криволинейной |
||||||
|
|
|
|
|
трапеции с основанием a,x (рис. 9). |
|
|
|||
|
|
|
|
|
|
Заметим, что Ф(x) – возрастающая функ- |
||||
|
|
|
|
|
ция (при |
f (x) 0). |
|
|
|
|
0 |
a |
x |
b |
|
|
Т е о р е м а . Связь определенного и не- |
||||
|
определенного интегралов. |
|
|
|||||||
|
|
Рис. 9 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
Определенный |
интеграл |
с |
переменным |
верхним |
пределом |
||||
|
x |
|
|
|
|
|
|
|
|
|
F(x) f (t)dt |
является первообразной для f (x). |
|
|
|
||||||
|
a |
|
|
|
|
|
|
|
|
|
|
Доказательство. |
|
|
|
|
|
|
|||
|
Для доказательства теоремы достаточно доказать, что F'(x) f (x). |
|||||||||
Так как F'(x) lim |
F(x x) F(x), то рассмотрим разность |
|
|
|||||||
|
|
|
x 0 |
|
x |
|
|
|
|
|
|
|
x x |
x |
x |
x x |
x |
F(x x) F(x) |
f (t)dt f (t)dt f (t)dt |
f (t)dt f (t)dt |
||||
|
|
a |
a |
a |
x |
a |
|
x x |
|
|
|
|
|
|
f (t)dt f (c) (x x) x f (c) x. |
|
|
|||
x
Последнее равенство получено на основании теоремы о среднем значении определенного интеграла; ()с x x;x . Поэтому
|
F'(x) lim |
f (c) x |
|
lim f (c) f (x). |
|
|
|||
|
x 0 |
x |
x 0 |
|
При x 0 |
x x x, поэтому |
( )c ( )x (рис. 10). |
||
x |
c |
x x |
Рис. 10
Итак, F'(x) f (x). Теорема доказана. Следствие.
x
f (x)dx f (t)dt C.
a
Т е о р е м а . Формула Ньютона-Лейбница.
Рассмотрим y f (x) |
непрерывную на a,b функцию. Пусть F(x) |
|
b |
любая первообразная для |
f (x) на a,b . Тогда f (x)dx F(b) F(a). |
|
a |
|
x |
Доказательство. Рассмотрим Ф(x) f (t)dt . По предыдущей теоре- |
|
|
a |
ме Ф(x) первообразная для f (x). По условию F(x) еще одна первообразная. Известно, что любые две первообразные отличаются на константу,
|
|
x |
то есть Ф(x) F(x) C; |
a x b. Или f (t)dt F(x) C. |
|
|
|
a |
|
|
a |
При x a |
равенство имеет вид f (t)dt F(a) C, поэтому |
|
0 F(a) C; C F(a). |
a |
|
|
||
x |
f (t)dt F(x) F(a). |
|
Получили |
||
a
При x b |
|
b |
f (t)dt F(b) F(a). |
||||||||||
|
|
||||||||||||
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
Теорема доказана. |
|
|
|
|
|
|
|||||||
Примеры: |
|
|
|
|
b |
|
|
|
|
|
|
||
b |
|
|
|
|
|
|
|
|
|
|
|||
1. sindx cosx |
|
cosb cosa. |
|||||||||||
a |
|
|
|
|
|
a |
|
|
|
|
|
|
|
1 |
x |
3 |
|
1 |
3 |
|
0 |
3 |
|
1 |
|
||
|
|
|
|||||||||||
2. x2dx |
|
|
|
1 |
|
|
|
. |
|||||
|
|
|
|
3 |
|
|
|
||||||
0 |
|
3 |
|
0 |
3 |
|
3 |
||||||
Формальное использование формулы Ньютона-Лейбница без учета условий ее применимости может привести к неверному результату. Рассмотрим интеграл
1 |
|
dx |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
arctgx |
|
|
|
arctg1 arctg( 1) |
|
|
|
|
|
|
. |
|
|
|||||
1 x |
2 |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
1 |
|
|
|
4 |
|
|
4 |
2 |
|
|
|
|||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Формула применена верно, так как F(x) arctgx непрерывна при всех |
||||||||||||||||||||||
x, в частности на 1; 1 и F'(x) arctgx ' |
|
1 |
f (x). Теперь рассмот- |
|||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
1 x2 |
|
|
|
|
|
|
|
1 |
|
|
||||
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|||||
|
|
F (x) arcctg |
|
|
|
|
|
|
|
|
|
x |
|
|||||||||
рим функцию |
|
|
|
. |
Заметим, что |
arcctg |
|
' |
|
|
|
. По- |
||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
1 |
|
|
|
x |
|
|
|
|
|
|
|
x |
|
|
1 1x 2 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
1 |
dx |
|
1 |
1 |
||
этому |
|
|
arcctg |
|
|
|
|
2 |
x |
||||
11 x |
|
|
1 |
|||
arcctg1 arcctg( 1) |
|
|
3 |
|
|
|
|
. |
|
|
2 |
|
|||||
4 |
4 |
|
2 |
|
||||
Получили два разных результата вычисления одного и того же интеграла. Ошибка сделана во втором варианте вычисления. При x 0 1; 1
функция y arcctg 1 разрывна, поэтому не может быть первообразной. x
При этом если бы интеграл мы рассматривали по любому отрезку, не со-
2 dx
держащему 0, например, 11 x2 , то в качестве первообразной можно было
бы выбрать и функцию y arctgx и y arcctg 1. x
§4. Замена переменной в определенном интеграле
b
Т е о р е м а . Рассмотрим интеграл f (x)dx. Выполним замену
a
x (t); dx '(t)dt при условиях:
1.x (t) непрерывно дифференцируема на A; B .
2.a; b множество значений функции x (t).
3.y f (x) непрерывна на a; b .
|
b |
|
B |
f (t) '(t)dt, где a (A); |
|
|
|
||||||||||||
Тогда f |
(x)dx |
b (B). |
|||||||||||||||||
|
a |
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Примеры: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
замена |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
xdx |
|
t x2 1; |
|
|
|
1 |
2 |
dt |
|
1 |
|
|
2 |
1 |
ln2 ln1 ln |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||
1. |
|
dt 2xdx; |
|
|
|
|
ln |
t |
|
2 |
. |
||||||||
2 |
|
|
|
|
|
||||||||||||||
|
|
|
|
2 |
|
|
2 |
|
|
|
2 |
|
|
|
|
||||
0 |
1 x |
|
при x 0 |
|
t 1; |
1 t |
|
|
1 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
при x 1 |
|
t 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
x asint; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
2. |
x2 |
|
a2 x2dx |
dx acostdt; |
|
|
|
|
|
a4 |
sin2 tcos2 tdt |
|
|
|
|
||||||||||
|
0 |
|
|
|
|
|
при0 x a,0 t |
|
. |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
a2 2 |
|
|
|
|
a4 2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
sin2 |
|
|
a4 |
|
1 |
|
|
2 |
|
a4 |
|
|
a4 |
|||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
2tdt |
|
(1 cos4t)dt |
|
|
|
t |
|
sin4t |
|
|
|
|
|
|
|
|
. |
|||||
4 |
8 |
|
|
|
4 |
|
|
|
|||||||||||||||||
|
0 |
|
|
|
|
0 |
8 |
|
|
|
0 |
|
8 2 16 |
|
|||||||||||
Проверим правильность выполнения замены переменных в данном примере:
1) |
f (x) x2 |
a2 x2 – непрерывна на |
0; |
a ; |
||||
|
x asint |
|
|
|
|
|||
2) |
– дифференцируема на |
0; |
|
|
|
; |
||
2 |
||||||||
|
|
|
|
|
|
|||
x' acost – непрерывна на |
|
|
|
|
|
|||
0; |
|
|
|
; |
||||
2 |
||||||||
|
|
|
|
|
|
|||
3) при изменении t от 0 до |
|
x asint возрастает от 0 до a. |
||||||
|
|
|||||||
2 |
|
|
|
|
|
|
||
Итак, замена выполнена верно.
3. dx x |
. |
0 |
0 |
Рассмотрим другой способ решения:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t tgx; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
dt |
|
|
|
dx |
|
; |
|
|
|
0 |
|
|
dt |
|
|
0 ! |
|||||||||||||||||
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cos2 x |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
sin |
2 |
x cos |
2 |
x |
cos |
2 |
x(1 tg |
2 |
x) |
1 t |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
0 |
0 |
|
|
|
0 |
|
|
|
|
x 0 t 0; |
0 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 0 t 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Результат 0 неверен, так как замену t tgx |
|
|
|
в данном примере исполь- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
зовать нельзя: функция t tgx |
разрывна при x |
|
0, |
. |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
dx |
|
|
|
1 |
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
1 |
arctg1 arctg( 1) |
1 |
|
|
|
|
|||||||||||||||||||||||||||||||||||
4. а) |
|
|
|
|
|
|
|
|
|
|
|
|
arctg |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
||||||||||||||||||||||||||||
|
|
|
2 |
4 |
2 |
2 |
|
2 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
2 x |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 4 |
|
|
|
4 4 |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
1 |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
2 |
|
|
|
dx |
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
dt |
|
|
|
|
|
|
2 |
|
|
|
dt |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
dx t2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
б) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
x2 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
1 |
|
4t2 1 |
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x 2,t |
|
|
|
; |
|
|
|
|
2 t |
|
|
4 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
x 2,t |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
1 |
|
1 |
arctg2t |
2 |
|
|||
|
|
||
2 |
|
1 |
|
|
|
|
2 |
.
4 4
Получили ошибочный результат, так как замена x 1 не может быть t
использована, потому что t 0 2; 2 точка разрыва.
§5. Формула интегрирования по частям в определенном интеграле
Рассмотрим функции u u(x); v v(x) непрерывные вместе со своими частными производными u'(x), v'(x) на a, b .
d(uv) du v u dv; udv d(uv) v du.
Проинтегрируем по отрезку a, b :
b b b
udv d(uv) vdu.
a a a