
236
Теорема 2.
Если функция f непрерывна на отрезке [a; b], то она интегрируе-
ма на [a; b] .
Доказательство этой теоремы приводить не будем, так как оно дос-
таточно сложно.
Заметим лишь, что условие непрерывности функции является
достаточным условием, но не необходимым.
Можно показать, в частности, что если функция f ограничена на
отрезке [a; b] и имеет конечное число точек разрыва, то она также
интегрируема на отрезке [a; b]. Интегрируемыми являются и ограни-
ченные монотонные на отрезке [a; b] функции.
Например, функция f (x) =xcos
2
x+e
x
является интегрируемой
на любом отрезке [a; b], так как она непрерывна на R. Функция
f (x) = sign x (см. Л.23) является интегрируемой на отрезке
[–1; 1], так как только в точке х = 0 она имеет точку разрыва
1-го рода. Функция f (x) =
x
1
при x ∈(0; 1] и f (0) = 0 не является
интегрируемой на отрезке, потому что она не ограничена на [0; 1].
3
0
. Интеграл с переменным верхним пределом.
Существование первообразной для непрерывной функ-
ции. Важную роль в интегральном исчислении имеет связь между опре-
деленным и неопределенным интегралами. Перейдем к ее исследованию.
Пусть функция f является интегрируемой на отрезке [a; b]. Фик-
сируем произвольное x ∈[a; b].
Функция f будет интегрируемой на отрезке [a; x], т.е. существу-
ет интеграл
∫
x
a
dttf
)(
.
Теперь каждому x∈[a; b] поставим в соответствие число, равное
∫
x
a
dttf
)(
. Это означает, что на отрезке [a; b] будет определена функция
∫
=
x
a
dttfxF
)()(
. (1)
Функция F (x), определенная формулой (1), называется интегралом
с переменным верхним пределом. Его основное свойство описывается
следующей теоремой.