Как понять интегралы интуитивно (площадь, накопление и вторая половина математического анализа)

Первая половина любого курса по анализу посвящена производным, и большинство студентов так или иначе с ними мирится. Вторая половина посвящена интегралам, и именно здесь многие сдаются. Знак интеграла похож на вытянутую букву S, правила работы с ним возникают будто бы из ниоткуда, а учебник тихо подсовывает результат под названием основная теорема анализа, которая связывает всё это с производными, толком не объясняя, почему вообще следует в это поверить.

Эта статья, не формальное определение. Это картина того, что такое интеграл на самом деле, почему он заслуживает делить главную сцену с производной и почему связь между ними, это самая красивая идея во всём элементарном анализе. Прочтите её один раз, и остальная часть главы перестанет ощущаться как второй, никак не связанный язык.

Что на самом деле спрашивают интегралы

Производные задают один вопрос: как быстро это меняется прямо сейчас? Интегралы задают зеркальный: сколько уже накопилось к настоящему моменту?

Если вы знаете, с какой скоростью кран наполняет ванну в каждый момент, производная, это сама скорость. Интеграл, это общее количество воды в ванне. Если вы знаете свою скорость в каждую секунду поездки, производная, это показания спидометра. Интеграл, это пройденное расстояние. Скорость и сумма, это разные числа, но они накрепко связаны: от одного к другому можно перейти, не теряя информации, если вы умеете правильно вести бухгалтерию.

Эта бухгалтерия и есть интегрирование. Всё содержимое главы, длинные таблицы формул, правила подстановки, интегрирование по частям, это лишь аккуратный учёт того, как сложить бесконечно много крошечных вкладов и получить общую сумму.

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

Самый чистый способ увидеть, что делает интеграл, это начать с задачи, в которой анализ не нужен, и потихоньку подправлять её до тех пор, пока анализ не окажется единственным подходящим инструментом.

Допустим, машина едет ровно 60 миль в час в течение двух часов. Какое расстояние она проехала? Анализ тут не нужен. Скорость, умноженная на время, даёт 120 миль. На графике скорости от времени эти 120, это площадь прямоугольника: 60 в высоту, 2 в ширину. Расстояние равно площади под графиком скорости.

Теперь предположим, что машина разгоняется. Первый час она едет 40 миль в час, второй час 80 миль в час. Общее расстояние, это 40 плюс 80, равно 120 миль. На графике это два прямоугольника, поставленных рядом, и их общая площадь по-прежнему равна расстоянию.

Теперь предположим, что скорость меняется непрерывно. График больше не стопка прямоугольников, это кривая. Очевидного способа умножить скорость на время уже нет, потому что в каждое мгновение скорость своя. Но тот же принцип должен сохраниться: расстояние, это всё ещё площадь под кривой. Нам просто нужен способ посчитать площадь фигуры с криволинейной верхней границей.

Это и есть интеграл. Это предел процесса, в котором вы режете площадь на множество тонких прямоугольников, складываете их площади и смотрите, к чему сходится ответ по мере того, как прямоугольники становятся всё тоньше. Как мы рассказывали в статье про пределы, приём «смотрите, к чему оно сходится, когда что-то становится малым» это тот же самый трюк, который определяет производную. Анализ использует одну идею дважды.

Определённый и неопределённый: две разные вещи под одним именем

Учебник вводит две разновидности интеграла и не всегда внятно объясняет, почему у них общий символ. Этот разрыв стоит закрыть с самого начала, потому что он убирает большую часть кажущейся странности позже.

Определённый интеграл это число. Это площадь под кривой между двумя конкретными концами, или, что то же самое, общее накопление какой-то величины на конкретном промежутке. «Сколько воды протекло через трубу с 9 утра до полудня?» это вопрос про определённый интеграл. Ответ, это конкретное количество воды.

Неопределённый интеграл это функция. Это ответ на вопрос «какая функция, если я возьму её производную, даст обратно ту функцию, с которой я начал?». Другое название для неё, первообразная, и оно честнее, потому что прямо говорит, чем занимается операция. «У какой функции производная равна 2x?» это вопрос про неопределённый интеграл. Ответ, x в квадрате (плюс константа, об этом чуть ниже).

Эти две идеи выглядят по-разному и ощущаются по-разному, и большую часть истории их изучали по отдельности. Потом кто-то заметил, что это одна и та же идея, увиденная с двух сторон, и это наблюдение и есть основная теорема анализа.

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

Полная формулировка основной теоремы анализа содержит индексы, знаки интегралов и длинное предложение про непрерывность. Под всем этим скрываются ровно две вещи, и обе короткие.

Первая половина: если у вас есть скорость изменения и вам нужна сумма, можно поступить так: найти первообразную, подставить правый конец, подставить левый конец, вычесть. Это вся процедура. Полное количество воды в ванне с 9 до полудня, это просто (первообразная скорости потока в полдень) минус (первообразная скорости потока в 9). Никакого фактического вычисления площади не требуется.

Вторая половина: если у вас есть сумма и вы спрашиваете, как быстро она растёт в любой момент, вы берёте производную. Две операции, интегрирование и дифференцирование, отменяют друг друга. Они обратные друг другу так же, как сложение и вычитание обратные друг другу, или как умножение и деление обратные друг другу.

Вот почему у неопределённого и определённого интегралов общий символ. Неопределённый интеграл даёт первообразную, она же бухгалтерский инструмент. Определённый интеграл вычисляет эту первообразную в двух концах и получает число. Вся остальная техника интегрирования, это про то, как находить первообразные в случаях, когда они не очевидны.

Почему «плюс C» появляется везде

Первый сюрприз, на который натыкаются студенты: неопределённый интеграл всегда идёт с «+ C» в конце. Учебник называет это константой интегрирования, и объяснение обычно ощущается как сноска. Это важнее, чем сноска.

Причина простая: дифференцирование выбрасывает константы. Производная x в квадрате равна 2x. Производная x в квадрате плюс 7 тоже равна 2x. Производная x в квадрате минус миллион тоже равна 2x. Существует бесконечно много функций с одной и той же производной, и все они отличаются друг от друга на константу.

Поэтому когда вы идёте обратно от производной к первообразной, нельзя сказать, какая именно константа должна там быть. Восстановленная функция верна с точностью до этой константы, и «+ C» это честная запись для «я не знаю, и нечего меня об этом спрашивать».

Для определённого интеграла это не имеет значения. Вы вычитаете первообразную в одной точке из первообразной в другой точке, и константа сокращается сама с собой. Так что в той процедуре, где вам действительно нужно число, «+ C» тихо исчезает и перестаёт быть проблемой.

Для чего используют интегралы

Анализ окупается в физике, статистике, биологии и экономике именно потому, что почти каждая интересная «сумма» в окружающем мире это интеграл от чего-то более простого для измерения.

От скорости к расстоянию. Спидометр измеряет скорость. Положение, это интеграл от скорости. Именно так под капотом работает одометр автомобиля и так навигационные системы отслеживают движение, когда GPS на короткое время пропадает.

От потока к сумме. Счётчики воды измеряют скорость потока. Общее потребление, это интеграл от потока за расчётный период. То же самое с электричеством (ватты в киловатт-часы), с данными (биты в секунду в мегабайты) и с деньгами (доход в месяц в годовой заработок).

От плотности к массе. Медицинский снимок измеряет плотность в каждой точке опухоли. Полная масса опухоли, это интеграл от плотности по её объёму. Тот же приём инженеры используют, чтобы посчитать вес балки, момент инерции колеса и центр масс сложной фигуры.

От плотности вероятности к вероятности. В статистике площадь под графиком плотности вероятности между двумя значениями, это шанс попадания измерения в этот диапазон. Знаменитая колоколообразная кривая имеет смысл только благодаря интегралу, который сидит под ней. Стандартизированные тесты, медицинские референсные интервалы и доверительные интервалы все опираются на определённые интегралы от функций плотности.

От малых вкладов к большому результату. Когда величина строится сложением многих крошечных кусочков, интеграл, это правильный инструмент. Сюда входит работа переменной силы, объём тела с криволинейной поверхностью, длина кривой, площадь поверхности фигуры и среднее значение величины на промежутке.

Если определение в какой-то другой области начинается со слов «общее количество», шансы очень велики, что за этими словами прячется интеграл.

Когда интегрирование тяжело

Дифференцирование механично. Покажите студенту функцию, и он за секунды выдаст её производную, потому что правила (степенное, произведения, частного, цепное) покрывают практически всё. Интегрирование не такое. У одних функций есть первообразная, которую можно записать в элементарных терминах. У других нет. И нет общего алгоритма, который позволил бы отличить их с одного взгляда.

Именно поэтому глава про интегрирование занимает в учебнике столько места. Большая её часть, это обзор техник: подстановка (это цепное правило, прокрученное в обратную сторону), интегрирование по частям (это правило произведения, прокрученное в обратную сторону), разложение на простые дроби (это алгебра, чтобы разбить тяжёлый подынтегральный выражение на простые куски), тригонометрические подстановки (используют тождества, чтобы превратить квадратные корни в управляемые формы) и ещё несколько других. Каждая техника справляется со своей формой подынтегральной функции, и навык интегрирования, это умение узнавать, на какую форму вы смотрите.

Распространённое беспокойство звучит так: «а что если я не смогу найти первообразную?». Честный ответ: иногда хорошей замкнутой формы просто нет, и тогда приходится использовать численный метод (формулу Симпсона, формулу трапеций или компьютер), чтобы получить число. У некоторых интегралов, выглядящих совершенно безобидно, например у интеграла от e в степени минус x в квадрате, элементарной первообразной нет вообще. Это не личная неудача. Это факт о структуре математики.

Впрочем, для типичных задач на экзамене первообразная всегда находится, и большая часть работы, это понять, какая техника здесь подходит.

Связь с тем, что вы уже знаете

Если интегрирование ощущается как отдельная тема, лишь как-то связанная с производными, вот картина, которая возвращает её на место.

Вы уже знаете, что производные превращают функцию в её скорость изменения. Вы уже знаете из статьи про логарифмы, что у некоторых операций есть обратные (умножение и деление, возведение в степень и логарифмы). Основная теорема говорит, что интегрирование, это операция, обратная дифференцированию, ровно так же, как логарифмы, это операция, обратная возведению в степень.

Поэтому каждая формула производной даёт вам формулу интеграла бесплатно. Производная синуса равна косинусу, значит, интеграл косинуса равен синусу. Производная e в степени x равна самой себе, значит, интеграл от e в степени x равен ей же. Производная натурального логарифма равна один, делённое на x, значит, интеграл от один, делённое на x, равен натуральному логарифму. Каждая строка в таблице интегралов в конце учебника родилась как производная, которую кто-то уже посчитал.

Это тот момент, когда интегрирование перестаёт ощущаться как отдельный курс. Это тот же самый курс, прокрученный в обратную сторону, плюс дополнительная техника для случаев, где обратная инженерия не очевидна.

Тренировка интегралов без выгорания

Одного прочтения недостаточно, чтобы это стало автоматическим. Интегрирование особым образом отвечает на осознанную практику: распознавание паттернов важнее голых вычислений, потому что трудный шаг почти всегда такой: «какая техника здесь подходит?».

Сначала всегда спрашивайте «производной чего это является?». Удивительно много интегралов, это прямые развороты производных, которые вы уже знаете. Если узнали паттерн за пять секунд, вы сэкономили пять минут.

Освойте подстановку раньше всего остального. Подстановка, это рабочая лошадка. Большинство интегрируемых функций, которые встретятся в первом курсе, можно обработать, заметив «u внутри функции», производная которой тоже стоит множителем. Эта одна техника покрывает больше, чем все остальные вместе.

Знайте, когда менять инструмент. Если подстановка не пошла за пару попыток, не молотите её дальше. Отступите и спросите, не подойдёт ли лучше интегрирование по частям (произведение двух не связанных между собой вещей) или разложение на простые дроби (рациональная функция с разлагающимся знаменателем). Навык, это смена инструментов, а не попытка заставить один инструмент делать всё.

Перемешивайте типы задач. Двадцать задач на подстановку подряд научат вас подстановке, но не научат, когда подстановка, это правильный выбор. Как мы писали в статье про интервальные повторения, чередующаяся практика (где каждая задача может потребовать любой техники), это единственный способ нарастить ту мышцу распознавания, на которой держится интегрирование.

Когда застряли, нарисуйте подынтегральную функцию. Если вы интегрируете, чтобы найти площадь, и алгебра не поддаётся, нарисуйте функцию. Иногда интеграл очевиден геометрически (треугольник, полукруг, симметричная относительно нуля область), а алгебра была долгим обходным путём.

Где вписывается Math Zen

Прогрессия по группам в Math Zen для интегралов начинается с прямого разворота базовых правил производных, чтобы у вас выработался рефлекс сначала пробовать самое простое. Средние группы покрывают подстановку и интегрирование по частям со смешанными подборками задач, которые заставляют сначала определить технику, а уже потом за неё хвататься. Поздние группы доходят до определённых интегралов, прикладных задач (площадь, объём, среднее значение) и случаев, где численные методы оказываются реалистичным ответом.

Поскольку практика по построению чередуется, а занятия короткие, у вас вырабатывается навык распознавания паттернов, благодаря которому интегрирование становится управляемым, а не произвольным. Большинство студентов, которые чувствуют, что застряли на интегралах, застряли не на концепте. Они застряли на алгебре выбора между техниками, и нескольких недель смешанной практики обычно хватает, чтобы это рассосалось.

Главный вывод

Интеграл, это ответ на вопрос «сколько накопилось?». В простых случаях это площадь под кривой. Во всех остальных случаях это всё ещё площадь под кривой, плюс некоторая техника для подсчёта этой площади, когда фигура неудобная. Основная теорема анализа говорит, что интегрирование, это операция, обратная дифференцированию, а значит, площадь почти никогда не приходится буквально считать сложением прямоугольников. Вы находите первообразную, вычисляете её в концах промежутка, вычитаете, и готово.

Если задача на интегрирование когда-нибудь покажется неподъёмной, не начинайте с поиска экзотической техники. Задайте вопрос обычными словами: у какой функции производная равна этому? Попробуйте очевидный разворот. Если не вышло, ищите подстановку. Если и это не вышло, подумайте про интегрирование по частям. Длинные таблицы и хитрые приёмы, это небольшая библиотека ходов, а не лабиринт. Как только вы поверите, что концепт ровно настолько прост, насколько и звучит, глава начинает читаться как естественное продолжение производных, которым она и была всё это время.