
Вища математика
__________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
130
Зауваження. З доведеної теореми прямує, що будь-яка
неперервна функція має первісну.
Теорема. Формула Ньютона-Лейбніца. Якщо F(x) є будь-яка
первісна від неперервної функції f(x), то справедлива формула
)a(F)b(Fdx)x(f
b
a
−=
∫
. (6.3)
Доведення. Нехай F(x) є деяка первісна від функції f(x). Вище
доведено, що функція
∫
x
a
dt)t(f
є також первісною від f(x). Але дві
первісні від однієї функції відрізняються на сталу величину С. Отже,
C)x(Fdt)t(f
x
a
+=
∫
. (6.4)
Ця рівність є тотожність при відповідному С. Визначимо С,
поклавши у (6.4) х = а, тоді:
C)a(Fdt)t(f
a
a
+=
∫
, або
C)a(F0 +=
відкіля
)a(FC −=
.
Отже,
)a(F)x(Fdt)t(f
x
a
−=
∫
. Поклавши х = b, маємо формулу
Ньютона-Лейбніца:
)a(F)b(Fdt)t(f
b
a
−=
∫
.
Повернувшися до змінної х у останньому виразі, маємо (6.3).
Якщо ввести позначення:
b
a
)x(F)a(F)b(F =−
, то формулу
(6.3) можна переписати так:
)a(F)b(F)x(Fdx)x(f
b
a
b
a
−==
∫
. Вираз
b
a
є знаком подвійної підстановки.
Формула (6.3) дає практично зручний метод обчислення
визначених інтегралів у тому разі, коли відома первісна
підінтегральної функції.
Заміна змінної у визначеному інтегралі. Теорема. Нехай дано
визначений інтеграл
∫
b
a
dx)x(f
, де функція f(x) неперервна на відрізку
[a;b]. Введемо нову змінну t за формулою
)t(x
ϕ
=
.
Якщо а)
a)(
,
b)(
; б)
)t(
i
)t(
ϕ
неперервні на