26
)(
– подынтегральная функция,
– переменная интегрирования,
] – отрезок (область) интегрирования. ;[ ba
Замечание 1. Для заданной функции и заданного отрезка ] мы, оче-
видно, имеем бесконечное множество интегральных сумм. Значения этих ин-
тегральных сумм зависит как от выбора точек деления , , …, , так и
от выбора промежуточных точек
;[ ba
2
x
1
x x
1−n
i
.
Замечание 2. Интегральная сумма, очевидно, не зависит от того, какой бук-
вой обозначен аргумент данной функции. Следовательно, и ее предел, т.е.
определенный интеграл, не зависит от обозначения переменной интегриро-
вания:
⎮
⌡
⌠
=
⎮
⌡
⌠
=
⎮
⌡
⌠
b
a
b
a
b
a
dttfdzzfdxxf )()()(
.
Замечание 3. Выше мы установили тот факт, что определенный интеграл от
неотрицательной функции численно равен площади криволинейной трапе-
ции, построенной на отрезке интегрирования (геометрический смысл опреде-
ленного интеграла).
При определении определенного интеграла мы исходили из предполо-
жения . При положим: ba < ba >
⎮
⌡
⌠
−=
⎮
⌡
⌠
a
b
b
a
dxxfdxxf )()(, . 0)( =
⎮
⌡
⌠
a
a
dxxf
В связи с определением определенного интеграла возникает вопрос,
при каких условиях существует предел интегральной суммы, т.е. существует
определенный интеграл.
Теорема (условие существования определенного интеграла).
Всякая непрерывная на отрезке ] функция интегрируема, т.е. для
такой функции существует определенный интеграл.
;[ ba
§ 3. Свойства определенного интеграла
1.
Интеграл от суммы конечного числа функций равен сумме интегралов от
слагаемых функций:
⎮
⌡
⌠
+
⎮
⌡
⌠
=
⎮
⌡
⌠
+
b
a
b
a
b
a
dxxgdxxfdxxgxf )()()]()([.
Доказательство.
=Δ+Δ=Δ+=
⎮
⌡
⌠
+
∑∑
=
→
=
→
n
i
iiii
n
i
iii
b
a
xgxfxgfdxxgxf
1
0
1
0
])()([lim)]()([lim)]()([
ξξξξ
λλ