
и для ∀ξ∈[0,1] f(ξ)≠µ.
Сформулируем без доказательства теорему, позволяющую получить
формулу, известную под названием второй формулы среднего значения, или
формулы Бонне. Эта формула будет неоднократно использоваться в разных
разделах математического анализа, в частности, в разделе “Несобственные
интегралы”.
Теорема. Если на сегменте [a,b] функция g(х) монотонна, а f(x) интегрируема, то
на этом сегменте существует такая точка
ξ, что
∫∫∫
+=
b
a
b
a
dx)x(f)b(gdx)x(f)a(gdx)x(g)x(f
ξ
ξ
- вторая формула среднего значения или формула Бонне.
7.7. Интеграл с переменным верхним пределом
Одним из важных понятий для непрерывных и интегрируемых на сегменте
[a,b] функций является понятие интеграла с переменным верхним пределом,
используя которое, можно получить основную формулу интегрального
исчисления - формулу Ньютона-Лейбница.
Определение. Пусть функция f(x) интегрируема на любом сегменте [
α,β]∈(a,b) и
пусть c - некоторая фиксированная точка, принадлежащая интервалу (a,b), тогда,
каково бы ни было число х
∈( a,b), функция f(x) интегрируема на [c,x], и на
интервале (a,b) определена функция
, которая называется интегралом
с переменным верхним пределом.
∫
=
x
c
dt)t(f)x(F
Теорема. Любая непрерывная на интервале (a,b) функция f(x) имеет на этом
интервале первообразную. Одной из первообразных является функция
, где с - любая фиксированная точка интервала (a,b).
∫
=
x
c
dt)t(f)x(F
Достаточно доказать, что для
)x(f
x
)x(F)xx(F
lim)b,a(x
0x
=
∃∈∀
→∆
(∆х берем
таким, чтобы (х+
∆х)∈(a,b)). Рассмотрим разность
,x)(fdt)t(f
dt)t(fdt)t(fdt)t(fdt)t(fdt)t(f)x(F)xx(F
xx
x
x
c
xx
x
x
c
x
c
xx
c
∆=
=−+=−=−∆+
∫
∫∫∫∫∫
∆+
∆+∆+
ξ
где
ξ - некоторое число, заключенное между х и х+∆х (Здесь было использовано
свойство 6 определенного интеграла и первая формула среднего значения для
непрерывной на сегменте функции (см. темы 5 и 6 данного методического
пособия)).
Так как f(x) непрерывна в точке х, то при
∆х→0 f(ξ)→f(x), и поэтому
)x(f
x
)x(F)xx(F
lim
0x
=
∆
−∆+
→∆
.