Содержание
- Интегральная сумма
- Определение
- Геометрический смысл
- Свойства
- Вынесение константы
- Доказательство
- Интеграл суммы
- Доказательство
- Сравнение функций
- Доказательство
- Описанный прямоугольник
- Доказательство
- Геометрический смысл
- Теорема о среднем
- Геометрический смысл
- Смена пределов интегрирования
- Одинаковые пределы интегрирования
- Разбиение на части
Интегральная сумма
Рассмотрим функцию f(x), которая непрерывна на [a,b].
Разобъём промежуток [a,b] на участки Δxi произвольным образом.
Длина одного участка: Δxi=xi+1−xi
В каждом таком участке произвольным образом возьмём точку ξi, то есть ξi∈[xi,xi+1].
Составим интегральную сумму. Sn=i=0∑n−1f(ξi)Δxi
При этом 0≤i≤n−1, обозначим maxΔxi=λ.
Определение
Если существует предел последовательности интегральных сумм Sn, не зависящих от способа разбиения и не зависящих от выбора точек внутри частичных промежутков, то этот предел называется определённым интегралом и обозначается: ∫abf(x)dx=n→∞,λ→0limi=0∑n−1f(ξi)Δxi
Геометрический смысл
Пусть f(x)≥0∀x∈[a,b]
Тогда интегральная сумма будет равна площади ступенчатой фигуры. Sn=i=0∑n−1f(ξi)Δxi=Sступен.фигуры
При n→∞ получится площадь криволинейной фигуры (криволинейной трапеции). n→∞,λ→0⇒Sступен.фигуры→Sкрив.трапец. ∫abf(x)dx=Sкрив.трапец.
Таким образом, определённый интеграл равен площади криволинейной трапеции.
Свойства
Вынесение константы
∫abAf(x)dx=A∫abf(x)dxДоказательство
∫abAf(x)dx=n→∞,λ→0limi=0∑n−1Af(ξi)Δxi==An→∞,λ→0limi=0∑n−1f(ξi)Δxi=A∫abf(x)dxИнтеграл суммы
∫ab(f1(x)+f2(x))dx=∫abf1(x)dx+∫abf2(x)dxДоказательство
Доказательство аналогично доказательству предыдущего свойства.
Сравнение функций
Пусть f(x),g(x) на [a,b] удовлетворяют неравенству f(x)≤g(x).
Тогда: ∫abf(x)dx≤∫abg(x)dx
Доказательство
Рассмотрим f(x)−g(x) на [a,b]: f(x)−g(x)≥0
Тогда: ∫ab(g(x)−f(x))dx=Sкрив.трапец.≥0⇒∫ab(g(x)−f(x))dx≥0
По второму свойству: ∫abg(x)dx−∫abf(x)dx≥0
То есть: ∫abg(x)dx≥∫abf(x)dx
Описанный прямоугольник
Путь m, M - соответственно наименьшее и наибольшее значение f(x) на [a,b]
Тогда: m(b−a)≤∫abf(x)dx≤M(b−a)
Доказательство
Поскольку m≤f(x)≤M, ∫abmdx≤∫abf(x)dx≤∫abMdx. m∫abdx≤∫abf(x)dx≤M∫abdx ∫abdx=b−a
Свойство доказано.
Геометрический смысл
SaADb≤SABab≤SACBb
Теорема о среднем
На промежутке [a,b] найдётся хотя-бы одна точка ξ такая, что интеграл равен (b−a)f(ξ). ∫abf(x)dx=(b−a)f(ξ),ξ∈[a,b]
Геометрический смысл
На данном графике красные заштрихованные площади равны и компенсируют друг друга (точка ξ совершенно не обязательно находится посередине между a и b).
Смена пределов интегрирования
∫abf(x)dx=−∫baf(x)dxОдинаковые пределы интегрирования
∫aaf(x)dx=0Разбиение на части
Для любых a,b,c справедливо следующее: ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx