Основная теорема интегрального исчисления
Математический анализ часто понимают как «язык» для объяснения изменений и накопления. С одной стороны, мы изучаем производные, чтобы измерить скорость изменения функции. С другой стороны, мы изучаем интегралы, чтобы вычислить накопление, например, площадь под кривой или общую «непрерывную сумму» величины. Основная теорема математического анализа (ОТИА) является важным мостом, соединяющим эти две идеи: оказывается, что дифференцирование и интегрирование — это не две отдельные темы, а две взаимодополняющие операции. Именно эта теорема делает математический анализ таким мощным инструментом в науке, технике, экономике и многих других областях.
Обзор: изменения и накопление
Представьте себе автомобиль, движущийся по дороге. Скорость автомобиля — это скорость изменения его положения во времени, а пройденное расстояние — это суммарная величина «скорости» за время. В математических терминах, если \(v(t)\) — это скорость, то расстояние, пройденное от времени \(a\) до времени \(b\), можно выразить интегралом.
\[
\int_a^bv(t)\, dt.
\]
Между тем, если \(s(t)\) — положение, то скорость — это производная:
\[
v(t) = s'(t).
\]
Основная теорема интегрального исчисления гласит, что эти две операции тесно связаны: интеграл от производной возвращает суммарное изменение функции, а производная от определенного интеграла возвращает исходную функцию. Эта взаимосвязь делает вычисления площади, расстояния, массы, энергии и многих других величин гораздо более систематичными.
Краткое предварительное условие: что такое определенные интегралы и производные?
Прежде чем перейти к формулировке теоремы, следует рассмотреть два важных понятия:
1. Производная \(f'(x)\): измеряет наклон графика или скорость изменения \(f(x)\) при незначительном изменении \(x\). Интуитивно понятно, что если \(f(x)\) описывает положение, то \(f'(x)\) описывает скорость.
2. Определенный интеграл \(\int_a^bf(x)\,dx\): измеряет накопление \(f\) на интервале \([a,b]\). Геометрически он часто определяется как площадь со знаком (положительная площадь над осью \(x\), отрицательная площадь под осью \(x\)) под кривой \(y=f(x)\) от \(x=a\) до \(x=b\).
Определенный интеграл формально определяется пределом суммы Римана, то есть аппроксимацией площади малыми прямоугольниками, а затем взятием предела при стремлении ширины прямоугольников к нулю.
Формулировка основной теоремы интегрального исчисления (Часть 1)
В части 1 TFK говорится: если функция \(f\) непрерывна на \([a,b]\), то мы определяем новую функцию.
\[
F(x)=\int_a^xf(t)\,dt,
\]
тогда \(F\) можно вывести на \((a,b)\) и
\[
F'(x)=f(x).
\]
Смысл очень важен: интеграл, «построенный» из \(f\), дает функцию первообразной от \(f\). Другими словами, процесс накопления до точки \(x\) при дифференцировании вернется к скорости накопления в этой точке.
Интуиция. Часть 1.
Обратите внимание на небольшое изменение \(F(x)\) при увеличении \(x\) на небольшую величину \(\Delta x\):
\[
F(x+\Delta x)-F(x)=\int_a^{x+\Delta x} f(t)\,dt – \int_a^xf(t)\,dt = \int_x^{x+\Delta x} f(t)\,dt.
\]
Если \(\Delta x\) мало, то этот интеграл приблизительно равен \(f(x)\Delta x\). Следовательно,
\[
\frac{F(x+\Delta x)-F(x)}{\Delta x}\approx f(x).
\]
Когда \(\Delta x\to 0\), приближение становится точным, так что \(F'(x)=f(x)\).
Простой пример
Предположим, что \(f(t)=2t\). Определим
\[
F(x)=\int_0^x 2t\,dt.
\]
Мы знаем, что \(\int 2t\,dt = t^2\), поэтому \(F(x)=x^2\). Производная равна \(F'(x)=2x\), что снова возвращает нас к \(f(x)\). Это наглядно иллюстрирует часть 1.
Формулировка основной теоремы интегрального исчисления (Часть 2)
В части 2 TFK говорится: если \(f\) непрерывна на \([a,b]\) и \(F\) является первообразной \(f\) (т.е. \(F'(x)=f(x)\)), то
\[
\int_a^bf(x)\,dx = F(b)-F(a).
\]
Это наиболее часто используемая форма теоремы в интегральных вычислениях. Она гласит, что для вычисления определенного интеграла нам больше не нужно напрямую применять предел суммы Римана; достаточно найти первообразную \(F\), а затем вычислить ее в верхнем и нижнем пределах.
Пример расчета
Хитунг:
\[
\int_1^3 (x^2+1)\,dx.
\]
Первообразное —
\[
F(x)=\frac{x^3}{3}+x.
\]
Так:
\[
\int_1^3 (x^2+1)\,dx = \left(\frac{3^3}{3}+3\right)-\left(\frac{1^3}{3}+1\right)
= \left(9+3\right)-\left(\frac{1}{3}+1\right)
=12-\frac{4}{3}=\frac{32}{3}.
\]
Без TFK нам пришлось бы определять интеграл как предел суммы площадей прямоугольников и вычислять предел — что заняло бы гораздо больше времени.
Почему это называется «фундаментальным»?
Эта теорема является фундаментальной, потому что:
1. Объединить два основных понятия математического анализа: производную (изменение) и интеграл (накопление).
2. Предоставляет практический метод: определенные интегралы можно вычислить, используя первообразные.
3. Лежит в основе многих применений: физика (работа и энергия), статистика (распределение и возможности), экономика (совокупные издержки против предельных издержек), биология (рост населения) и т. д.
В концептуальном плане математический анализ становится целостным инструментом: мы можем с легкостью переключаться между моделями «скорости» и «общего объема».
Часто встречающиеся приложения
1. Расстояние от скорости
Если \(v(t)\) — скорость, то результирующее перемещение равно:
\[
s(b)-s(a)=\int_a^bv(t)\,dt.
\]
Это взято непосредственно из части 2 TFK, если \(v(t)=s'(t)\). Если \(v(t)\) иногда отрицательно, интеграл дает суммарное перемещение; для полного расстояния оно обычно вычисляется как \(\int_a^b |v(t)|\,dt\).
2. Накопление темпа изменения
Если резервуар заполняется со скоростью \(r(t)\) литров/минуту, то объем, поступающий за интервал \([a,b]\), равен \(\int_a^br(t)\, dt\). Если есть и приток, и отток, то чистое изменение объема равно интегралу от (приток − отток).
3. Теорема о среднем значении интегралов
Из теории TFK вытекают различные следствия, такие как среднее значение функции:
\[
f_{\text{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
Это важно при анализе данных и моделировании.
Важные примечания: условия и положения
Теорема ТФК обычно требует непрерывности функции \(f\) на рассматриваемом интервале для того, чтобы её выражение было гладким. В дальнейших исследованиях эта теорема может быть расширена на функции, которые не обязательно являются непрерывными (например, функции, интегрируемые по Риману или Лебегу при определённых условиях), но для элементарного исчисления предположение о непрерывности является стандартным.
Кроме того, определенные интегралы дают площади со знаком, а не всегда «чисто геометрические площади». Если график находится ниже оси x, интеграл отрицательный. Для геометрических площадей обычно используются абсолютные значения или интервальные интервалы.
обложка
Основная теорема интегрального исчисления является ключевым элементом, объединяющим производную и интеграл. В части 1 было показано, что дифференцирование непрерывной функции возвращает её к исходной функции. В части 2 был показан быстрый способ вычисления определённых интегралов: достаточно найти первообразную и вычислить разность в пределах. Благодаря этой теореме интегральное исчисление становится не просто набором математических методов, а элегантной основой для понимания мира: как вещи меняются со временем и как эти изменения суммируются.
Если вы впоследствии будете изучать методы интегрирования, дифференциальные уравнения или физические модели, вы продолжите видеть, как TFK работает за кулисами — в качестве «моста», который делает математический анализ таким мощным инструментом.
