В этой статье мы перечислим основные свойства определенного интеграла. Большинство этих свойств доказываются на основе понятий определенного интеграла Римана и Дарбу.
Вычисление определенного интеграла очень часто проводится с использованием первых пяти свойств, так что мы будем при надобности на них ссылаться. Остальные свойства определенного интеграла, в основном, применяются для оценки различных выражений.
Прежде чем перейти к основным свойствам определенного интеграла, условимся, что a не превосходит b.
Для функции y = f(x), определенной при x = a, справедливо равенство
.
То есть, значение определенного интеграла с совпадающими пределами интегрирования равно нулю. Это свойство является следствием определения интеграла Римана, так как в этом случае каждая интегральная сумма
для любого разбиения промежутка [a; a] и любого выбора точек
равна нулю, так как
, следовательно, пределом интегральных сумм является ноль.
Для интегрируемой на отрезке [a; b] функции выполняется
.
Другими словами, при перемене верхнего и нижнего пределов интегрирования местами значение определенного интеграла меняется на противоположное. Это свойство определенного интеграла также следует из понятия интеграла Римана, только нумерацию разбиения отрезка следует начинать с точки x = b.
для интегрируемых на отрезке [a; b] функций y = f(x) и y = g(x).
Доказательство.
Запишем интегральную сумму функции
для данного разбиения отрезка и данного выбора точек
:
где
и
- интегральные суммы функций y = f(x) и y = g(x) для данного разбиения отрезка соответственно.
Переходя к пределу при
получим
, что по определению интеграла Римана равносильно утверждению доказываемого свойства.
Постоянный множитель можно выносить за знак определенного интеграла. То есть, для интегрируемой на отрезке [a; b] функции y = f(x) и произвольного числа k справедливо равенство
.
Доказательство этого свойства определенного интеграла абсолютно схоже с предыдущим:

Пусть функция y = f(x) интегрируема на интервале X, причем
и
, тогда
.
Это свойство справедливо как для
, так и для
или
.
Доказательство можно провести, опираясь на предыдущие свойства определенного интеграла.
Если функция интегрируема на отрезке [a; b], то она интегрируема и на любом внутреннем отрезке
.
Доказательство основано на свойстве сумм Дарбу: если к имеющемуся разбиению отрезка добавить новые точки, то нижняя сумма Дарбу не уменьшится, а верхняя – не увеличиться.
Если функция y = f(x) интегрируема на отрезке [a; b] и
для любого значения аргумента
, то
.
Это свойство доказывается через определение интеграла Римана: любая интегральная сумма для любого выбора точек разбиения отрезка и точек
при
будет неотрицательной (не положительной).
Следствие.Для интегрируемых на отрезке [a; b] функций y = f(x) и y = g(x) справедливы неравенства:

Это утверждение означает, что допустимо интегрирование неравенств. Этим следствием мы будем пользоваться при доказательстве следующих свойств.
Пусть функция y = f(x) интегрируема на отрезке [a; b], тогда справедливо неравенство
.
Доказательство.
Очевидно, что
. В предыдущем свойстве мы выяснили, что неравенство можно почленно интегрировать, поэтому, справедливо
. Это двойное неравенство можно записать как
.
Пусть функции y = f(x) и y = g(x) интегрируемы на отрезке [a; b] и
для любого значения аргумента
, тогда
, где
и
.
Доказательство проводится аналогично. Так как m и M – наименьшее и наибольшее значение функции y = f(x) на отрезке [a; b], то
. Домножение двойного неравенства на неотрицательную функцию y = g(x) приводит нас к следующему двойному неравенству
. Интегрируя его на отрезке [a; b], придем к доказываемому утверждению.
Следствие.
Если взять g(x) = 1, то неравенство примет вид 
Интегральная теорема о среднем. Пусть функции
и
удовлетворяют следующим условиям:


не меняет знак на 
Тогда
.
| Доказательство | |
Не ограничивая общности рассуждений рассмотрим случай на . Домножив все части неравенства на , получим
.
По свойству монотонности интеграла, получим
.
Если , то и , тогда — любое из отрезка . Пусть, далее, . Разделим все части неравенства на , будем иметь
.
Обозначим
.
Получили, что и . Случай доказывается аналогично.
|
на
на
.
По свойству монотонности интеграла, получим
.
Если
, то и
, тогда
— любое из отрезка
. Разделим все части неравенства на
, будем иметь
.
Обозначим
.
Получили, что
и
. Случай
доказывается аналогично.






