Математический анализ

Основная теорема анализа

Цели урока

  • Понять глубокую связь между производной и интегралом
  • Освоить формулу Ньютона-Лейбница для вычисления интегралов
  • Применять FTC I для дифференцирования интегралов
  • Научиться замене переменной в определённом интеграле
  • Работать с обобщённой формулой для переменных пределов

Предварительные знания

  • Первообразные и неопределённый интеграл
  • Определённый интеграл
  • Цепное правило дифференцирования
  • Antiderivatives
  • The Definite Integral
  • Derivative of a Composite Function

Октябрь 1666, Вулсторп. Ньютон записывает в «октябрьском трактате»: если $A(x)$ — площадь под кривой от 0 до $x$, то $A'(x) = f(x)$. Параллельно его учитель Исаак Барроу в кембриджских лекциях 1664–66 уже доказал геометрически: касательная к графику площади имеет наклон, равный высоте исходной кривой. Барроу не увидел в этом универсальную теорему. Ньютон увидел — и связал площадь, путь, работу, заряд в одну формулу: $\int_a^b f = F(b) - F(a)$.

  • **GPS-приёмник**: интегрирует измеренные ускорения IMU между обновлениями спутникового сигнала. FTC превращает $a(t)$ в скорость и положение между фиксами раз в секунду
  • **Электросчётчик**: $E = \int_0^T P(t)\,dt = F(T) - F(0)$ — текущее показание счётчика и есть первообразная мощности, FTC в железе
  • **Wolfram Alpha / Mathematica**: команда Integrate[f, {x, a, b}] сначала ищет первообразную (Risch), затем применяет $F(b) - F(a)$. Без FTC численный интеграл был бы единственным выходом
  • **Heat equation в COMSOL**: интеграл $\int_\Omega \nabla \cdot q\,dV = \oint_{\partial\Omega} q \cdot dS$ — векторный аналог FTC, теорема Гаусса. Базис любой CFD-симуляции

Ньютон vs Лейбниц: спор столетия

Ньютон открыл эту связь около 1665 года, но не публиковал. Лейбниц независимо пришёл к тем же результатам в 1684 году и опубликовал первым. Разразился один из величайших споров в истории науки о приоритете. Сегодня мы знаем: оба открыли это независимо. Но нотация Лейбница ($\int$, $dx$) оказалась удобнее и используется до сих пор. Сама теорема - кульминация 2000 лет развития математики от Архимеда до XVII века.

Главная идея

Главная идея

Сцена: машина едет по шоссе. Спидометр показывает скорость $v(t)$ в каждый момент. Одометр показывает пройденный путь $s(t)$. Как они связаны?

  • **Скорость** - это производная пути: $v(t) = s'(t)$
  • **Путь** - это интеграл скорости: $s(t) = \int_0^t v(\tau)\,d\tau$

Это и есть суть Основной теоремы: **дифференцирование и интегрирование взаимно обратны**!

**Fundamental Theorem of Calculus (FTC)**: соединяет две центральные операции анализа - нахождение касательных (дифференцирование) и вычисление площадей (интегрирование).

В чём ключевая идея раздела «Главная идея»?

Перескажите главное определение или результат раздела одним предложением.

FTC I: Производная интеграла

FTC I: Производная интеграла

Пусть $f$ непрерывна на $[a, b]$. Определим функцию:

Это "накопленная площадь" от $a$ до $x$. Теорема утверждает:

**Словами**: производная интеграла (по верхнему пределу) равна подынтегральной функции в этой точке.

**Геометрический смысл**: скорость накопления площади в точке $x$ равна высоте $f(x)$ в этой точке!

FTC I в действии

Производная интеграла с переменным пределом

$\frac{d}{dx}\int_0^x t^3\,dt$ По FTC I, ответ просто $f(x) = x^3$! **Проверка** (длинный путь): $\int_0^x t^3\,dt = \frac{t^4}{4}\Big|_0^x = \frac{x^4}{4}$ $\frac{d}{dx}\left(\frac{x^4}{4}\right) = x^3$ ✓

Чему равна $\frac{d}{dx}\int_1^x \cos t\,dt$?

По FTC I: производная интеграла по верхнему пределу равна подынтегральной функции в точке $x$.

FTC II: Формула Ньютона-Лейбница

FTC II: Формула Ньютона-Лейбница

Если $F$ - первообразная для непрерывной функции $f$ на $[a, b]$, то:

**Революционность**: вместо сложного предела сумм Римана достаточно найти первообразную и подставить пределы!

Обозначение $F(x)\Big|_a^b$ читается как "F от x при x от a до b" и означает $F(b) - F(a)$.

Алгоритм вычисления определённого интеграла

  1. Найти первообразную $F(x)$ для $f(x)$
  2. Вычислить $F(b)$
  3. Вычислить $F(a)$
  4. Ответ: $F(b) - F(a)$

Площадь под параболой

Классический пример ∫₀¹ x² dx

$\int_0^1 x^2\,dx$ **Шаг 1**: Первообразная $F(x) = \frac{x^3}{3}$ **Шаг 2**: $F(1) = \frac{1^3}{3} = \frac{1}{3}$ **Шаг 3**: $F(0) = \frac{0^3}{3} = 0$ **Шаг 4**: $\int_0^1 x^2\,dx = \frac{1}{3} - 0 = \frac{1}{3}$ Площадь под параболой $y = x^2$ от 0 до 1 равна $\frac{1}{3}$!

Площадь под синусоидой

Интеграл ∫₀^π sin x dx

$\int_0^{\pi} \sin x\,dx$ **Первообразная**: $F(x) = -\cos x$ $= -\cos x\Big|_0^{\pi} = -\cos\pi - (-\cos 0)$ $= -(-1) - (-1) = 1 + 1 = 2$ **Ответ**: площадь под одной аркой синусоиды равна 2!

Интеграл экспоненты

∫₀¹ eˣ dx

$\int_0^1 e^x\,dx$ **Первообразная**: $F(x) = e^x$ $= e^x\Big|_0^1 = e^1 - e^0 = e - 1 \approx 1.718$

При вычислении определённого интеграла нужно добавлять +C

Константа +C сокращается при вычитании: (F(b) + C) - (F(a) + C) = F(b) - F(a)

Определённый интеграл - это конкретное число, не семейство функций. Любая первообразная даст одинаковый ответ.

Чему равен $\int_1^2 \frac{1}{x}\,dx$?

Первообразная $\frac{1}{x}$ это $\ln|x|$. Значит $\int_1^2 \frac{1}{x}\,dx = \ln 2 - \ln 1 = \ln 2 - 0 = \ln 2$.

Обобщение: переменные пределы

Обобщение: переменные пределы

Что если оба предела зависят от $x$? Применяем цепное правило:

**Мнемоника**: "верхний × производная верхнего − нижний × производная нижнего"

Верхний предел - функция

d/dx ∫₀^x² sin t dt

$\frac{d}{dx}\int_0^{x^2} \sin t\,dt$ Здесь $a(x) = 0$, $b(x) = x^2$, $f(t) = \sin t$ $a'(x) = 0$, $b'(x) = 2x$ **По формуле**: $= \sin(x^2) \cdot 2x - \sin(0) \cdot 0$ $= 2x\sin(x^2)$

Оба предела - функции

d/dx ∫ₓ^x³ eᵗ dt

$\frac{d}{dx}\int_x^{x^3} e^t\,dt$ $a(x) = x$, $b(x) = x^3$, $f(t) = e^t$ $a'(x) = 1$, $b'(x) = 3x^2$ **По формуле**: $= e^{x^3} \cdot 3x^2 - e^x \cdot 1$ $= 3x^2 e^{x^3} - e^x$

Чему равна $\frac{d}{dx}\int_0^{x^3} t^2\,dt$?

По обобщённой формуле: $f(b(x)) \cdot b'(x) = (x^3)^2 \cdot 3x^2 = x^6 \cdot 3x^2 = 3x^8$.

Замена переменной в определённом интеграле

Замена переменной в определённом интеграле

При замене переменной $u = g(x)$ в определённом интеграле **меняются пределы**:

**Преимущество**: не нужно возвращаться к старой переменной! Вычисляем сразу в новых пределах.

Замена с новыми пределами

∫₀¹ 2x·eˣ² dx

$\int_0^1 2x \cdot e^{x^2}\,dx$ **Замена**: $u = x^2$, $du = 2x\,dx$ **Новые пределы**: • При $x = 0$: $u = 0^2 = 0$ • При $x = 1$: $u = 1^2 = 1$ $= \int_0^1 e^u\,du = e^u\Big|_0^1 = e^1 - e^0 = e - 1$ **Не нужно** подставлять $u = x^2$ обратно!

Тригонометрическая замена

∫₀^(π/2) cos x · sin²x dx

$\int_0^{\pi/2} \cos x \cdot \sin^2 x\,dx$ **Замена**: $u = \sin x$, $du = \cos x\,dx$ **Новые пределы**: • При $x = 0$: $u = \sin 0 = 0$ • При $x = \frac{\pi}{2}$: $u = \sin\frac{\pi}{2} = 1$ $= \int_0^1 u^2\,du = \frac{u^3}{3}\Big|_0^1 = \frac{1}{3}$

**Важно**: при замене переменной ВСЕГДА пересчитывайте пределы! Если забыть - результат будет неверным.

При замене $u = x^2$ в интеграле $\int_1^3 f(x^2) \cdot 2x\,dx$ какими станут новые пределы?

При $x = 1$: $u = 1^2 = 1$. При $x = 3$: $u = 3^2 = 9$. Новые пределы: от 1 до 9.

Единство теоремы

Единство теоремы

Две части FTC - это две стороны одной медали:

FTC IFTC II
$\frac{d}{dx}\int_a^x f(t)\,dt = f(x)$$\int_a^b F'(x)\,dx = F(b) - F(a)$
Производная "отменяет" интегралИнтеграл "отменяет" производную
Дифференцирование после интегрированияИнтегрирование после дифференцирования
Даёт функциюДаёт число

В чём ключевая идея раздела «Единство теоремы»?

Перескажите главное определение или результат раздела одним предложением.

Основа всего анализа

FTC - фундамент для всего дальнейшего:

  • Методы интегрирования — Замена переменной, по частям - следующий урок
  • Несобственные интегралы — Расширение на бесконечные пределы
  • Дифференциальные уравнения — Решение через интегрирование
  • Теория меры — Обобщение интеграла Римана на интеграл Лебега

Итоги

  • **FTC I**: $\frac{d}{dx}\int_a^x f(t)\,dt = f(x)$ - производная "отменяет" интеграл
  • **FTC II**: $\int_a^b f(x)\,dx = F(b) - F(a)$ - формула Ньютона-Лейбница
  • **Суть**: дифференцирование и интегрирование - обратные операции
  • **Переменные пределы**: $f(b(x))b'(x) - f(a(x))a'(x)$
  • **Замена**: при $u = g(x)$ новые пределы $g(a)$ и $g(b)$

Вопросы для размышления

  • Почему FTC считается одной из важнейших теорем в истории математики?
  • Как геометрически объяснить, что производная площади равна высоте?
  • Почему константа +C не нужна при вычислении определённого интеграла?
  • В чём преимущество замены переменной с пересчётом пределов?

Связанные уроки

  • stat-02-estimation
Основная теорема анализа

0

1

Войти