Урок 2

Сумма бесконечно малого

Глава 2. Как задача о площади и накоплении заставила родиться интеграл — и почему он оказался обратной стороной производной.

Цели урока

К концу этого урока вы:

Поймёте, как задача площади привела к интегралу — и почему метод Архимеда упирался в стену.
Освоите идею интеграла Лейбница: ∫ как вытянутая S, dx как ширина бесконечно тонкой полоски.
Увидите, что путь — интеграл скорости, работа — интеграл силы: накопление в физике повсюду.
Разберёте фундаментальную теорему анализа: интеграл и производная — обратные операции.
Узнаете, за что спорили Ньютон и Лейбниц — и что в итоге осталось нестрогим ещё 150 лет.

Смотри сюда внимательно — вот тут вся соль.

Стол учёного в Ганновере конца XVII века: перо, листы с плавными кривыми и заштрихованными площадями под ними

Ганновер, 1675 год. Готфрид Лейбниц сидит над рукописью и смотрит на задачу, которую математика не может решить уже две тысячи лет. Кривая нарисована на бумаге — изящная дуга, плавно ползущая вверх. Под ней — неизмеренная площадь. Архимед знал, как считать площадь под параболой: он заполнял её треугольниками всё меньшего размера и суммировал — снова и снова, пока погрешность не стала ничтожной. Это работало. Но только для параболы. Для произвольной кривой метод рассыпался.

Лейбниц смотрит на кривую и задаёт другой вопрос. Не «как заполнить площадь треугольниками?», а «что если заполнить её бесконечно тонкими полосками — и просто сложить их все?». Каждая полоска — прямоугольник шириной dx, высотой f(x). Таких полосок бесконечно много, и каждая бесконечно тонка. Сумма бесконечного числа бесконечно малых вещей. Звучит как абсурд — и выдаёт точный ответ.

Бесконечно много бесконечно тонких полосок — и их сумма оказывается вполне конечным числом.

Это вторая остановка нашего курса. Мы увидим, как тот же человек, что придумал d для производной, придумал ∫ для интеграла — и как эти два значка оказались двумя сторонами одной медали. А заодно выясним, почему первооткрыватели были уверены в ответе, но не могли объяснить, почему он правильный.

Что вы возьмёте из этого урока

Поймёте, как задача площади привела к интегралу — и почему метод Архимеда упирался в стену.
Освоите идею интеграла Лейбница: ∫ как вытянутая S, dx как ширина бесконечно тонкой полоски.
Увидите, что путь — интеграл скорости, работа — интеграл силы: накопление в физике повсюду.
Разберёте фундаментальную теорему анализа: интеграл и производная — обратные операции.
Узнаете, за что спорили Ньютон и Лейбниц — и что в итоге осталось нестрогим ещё 150 лет.

Где мы

Урок 1 Производная: мгновенная скорость через предел секущей. Тупик 0/0 — и лупа, которая его обходит.

Урок 2 — сегодня Интеграл: площадь под кривой как сумма бесконечно тонких полосок. Связь с производной.

Часть 1. Архимед и тупик

Задаче нахождения площади под кривой — больше двух тысяч лет. Архимед решил её для параболы в III веке до н.э. Его подход называется методом исчерпывания: заполнить фигуру последовательностью треугольников, каждый из которых вписывается в оставшийся зазор. [1]

Метод работал блестяще — для тех фигур, которые поддавались геометрическому изяществу Архимеда. Он доказал, что площадь параболического сегмента равна 4/3 площади вписанного треугольника с тем же основанием и высотой. Это был триумф. И тупик одновременно: каждая новая кривая требовала принципиально новой конструкции. Не было общего рецепта. [1]

Представьте себе задачу так. Физик XVII века хочет знать, какой путь прошло тело за 10 секунд, если его скорость менялась по сложному закону — скажем, ускорялась, потом тормозила. На графике скорости это кривая. Путь — это площадь под этой кривой. А площадь под произвольной кривой математика XVII века считать не умеет.

Физический смысл: если скорость постоянная, путь = скорость × время = прямоугольник на графике. Если скорость меняется — мы суммируем бесконечно тонкие прямоугольники. Интеграл — это такой же предельный переход, как производная из Урока 1, только в другую сторону.

Именно в эту стену упёрлась физика 1670-х. Закон движения планет у Кеплера — орбита эллиптическая, скорость меняется. Как найти пройденный путь? Архимед здесь помочь не мог. Понадобился инструмент другого рода — и Лейбниц его придумал.

Часть 2. Лейбниц и вытянутая S

1675 год. В рукописях Лейбница появляется запись, которую потом можно будет назвать одной из важнейших в истории математики. Он пишет:

∫ f(x) dx читается: «интеграл от f(x) по x» — сумма всех f(x)·dx

Значок ∫ — это буква S, вытянутая в высоту. От латинского summa — сумма. Лейбниц выбрал его намеренно: интеграл — это сумма. Сумма произведений f(x) на dx, где dx — бесконечно малая ширина каждой полоски. [2]

В этой нотации — вся идея. Каждая полоска под кривой — прямоугольник с высотой f(x) и шириной dx. Площадь одной полоски: f(x)·dx. Таких полосок бесконечно много — мы суммируем их все. Вот и весь интеграл. [2]

Площадь под кривой — это сумма площадей прямоугольных полосок шириной dx. Чем уже полоски — тем точнее сумма. В пределе dx→0 получается точный интеграл.

Ключевой приём Лейбниц описывал так: разрежь площадь на полоски, посчитай сумму, затем сделай полоски бесконечно тонкими. Это точно тот же предельный переход, что в производной из Урока 1, — только здесь мы не делим, а суммируем. Тем не менее математика та же: сначала конечные полоски, потом предел.

🤔 Предскажите до чтения дальше

Мы берём полоски всё уже и уже: dx → 0. Значит, и высота f(x)·dx стремится к нулю. Сумма нулей — ноль. Но ответ не ноль. Как так получается?

Полосок становится одновременно всё больше: их число растёт обратно пропорционально ширине dx. При dx в два раза уже — полосок в два раза больше. Это гонка нуля и бесконечности — и при правильной функции она заканчивается конечным числом. Именно это и называется пределом суммы.

Часть 3. Накопление в физике

Интеграл — это не просто геометрический трюк для площадей. Он повсюду там, где одна величина накапливается за счёт другой.

Путь как интеграл скорости

Если скорость постоянная, путь считается просто: s = v·t. Это прямоугольник на графике скорости. Если скорость меняется — прямоугольника нет. Но можно разбить время на крошечные промежутки dt: за каждый промежуток тело движется почти с постоянной скоростью v(t), проходя кусочек пути v(t)·dt. Суммируем все кусочки:

s = ∫^t₂_t₁ v(t) dt путь = интеграл скорости по времени от t₁ до t₂

Работа как интеграл силы

Если сила постоянная — работа A = F·s. Если сила меняется вдоль пути — разбиваем путь на кусочки dx, на каждом сила почти постоянная, вклад в работу: F(x)·dx. Итог:

A = ∫^x₂_x₁ F(x) dx работа = интеграл силы по пути

Видите образец? Везде, где физическая величина непрерывно накапливается, стоит интеграл. Заряд из тока, импульс из силы, энергия из мощности — всё это интегралы. Лейбниц дал языку физики слово, которого ей не хватало. [3]

Табличка для памяти:

Производная (d/dt) — разбирает величину на мгновенные изменения. Интеграл (∫) — собирает мгновенные изменения обратно в величину. Скорость = производная пути. Путь = интеграл скорости. Это не случайность — это фундаментальная теорема, о которой сейчас.

Часть 4. Фундаментальная теорема

В Уроке 1 мы научились, имея закон пути s(t), находить скорость: брать производную ds/dt. Теперь вопрос обратный: имея скорость v(t), можно ли восстановить путь? И как это связано с площадью под кривой скорости?

Ответ на оба вопроса — один и тот же: через фундаментальную теорему анализа. Её суть:

∫^b_a f(x) dx = F(b) − F(a) где F(x) — любая функция, для которой F'(x) = f(x), то есть производная F равна f

Перевод на русский: чтобы найти площадь под кривой f(x) от a до b, найдите функцию F, у которой f — производная. Потом просто подставьте b и a и вычтите.

Пример. Площадь под параболой f(x) = x² от 0 до 3. Из Урока 1 мы знаем, что производная x³/3 равна x². Значит, F(x) = x³/3. Площадь:

∫³₀ x² dx = F(3) − F(0) = 27/3 − 0 = 9 площадь под параболой x² от 0 до 3 равна ровно 9

Никаких бесконечных сумм вручную. Нашли обратную производную — подставили — готово. Вот почему Ньютон и Лейбниц произвели революцию: они превратили задачу суммирования в задачу дифференцирования, которую уже умели решать. [2]

🎯 Ваша очередь — объясните своими словами

Фундаментальная теорема говорит: «чтобы посчитать интеграл, найди обратную производную». Но производная и интеграл — это противоположные операции. Каким образом одна помогает найти другую? Попробуйте объяснить это логически, не заглядывая в формулу.

Намёк: интеграл от a до b зависит от обоих пределов. Если зафиксировать a и двигать b, интеграл становится функцией от b. Как быстро растёт эта функция? С темпом, равным значению f(b) прямо сейчас. А это и есть производная. Круг замкнулся.

Часть 5. Война за приоритет

В 1684 году Лейбниц публикует первую статью о дифференциальном исчислении, в 1686-м — об интегральном. [4] Ни одна из статей не упоминает Ньютона. У Ньютона к этому моменту лежат написанные рукописи, которые он не публикует, — из принципа.

Английская математическая элита взрывается. Начиная с 1699 года обвинения в плагиате летят в обе стороны. В 1712-м Лондонское королевское общество — под председательством самого Ньютона — публикует «Commercium Epistolicum»: официальный вердикт в пользу Ньютона. Но расследование вёл комитет, целиком составленный из сторонников Ньютона. [4] Лейбниц умер в 1716 году, так и не добившись реабилитации.

⚖️

Ньютон председательствует на заседании, которое расследует, не украл ли Лейбниц у Ньютона.
Заседание выносит вердикт: Лейбниц украл у Ньютона.
Современные историки математики единодушны: оба изобрели независимо. Нотацию выиграл Лейбниц. Войну — Ньютон. Науку — никто.

Последствия спора оказались несимметричными. Английские математики из солидарности держались за ньютоновские обозначения — точки над буквами, «флюксии». Континентальная Европа писала по-лейбницевски: dx, ∫. К XIX веку Франция и Германия уходят далеко вперёд. Британские математики возвращаются в мировую науку лишь после реформы 1812 года, когда Кембридж наконец принял лейбницевскую нотацию. Цена патриотизма в математике — полвека отставания. [4]

Часть 6. Что осталось нестрогим

Интеграл работал. Площади считались, планеты двигались по правильным орбитам, скорости восстанавливались из путей — всё сходилось. Но основание, на котором стоял интеграл, было ничуть не прочнее, чем у производной из Урока 1 — того, где Беркли нашёл «призраков исчезнувших величин».

Теперь проблема была двойная. Производная делила на h, а потом устремляла h к нулю — призрак уже здесь. Интеграл суммировал бесконечно много бесконечно малых слагаемых — и второй призрак поселился рядом. Что значит «бесконечно малые»? Они реальны или нет? Если нет — как сумма нереальных вещей даёт реальный ответ?

Около 150 лет физика и инженерия строили мосты, считали орбиты и вычисляли давления в паровых машинах с помощью инструмента, строгого обоснования которого не существовало. Коши дал строгое определение предела в 1820-х, Риман — строгое определение интеграла в 1854-м. [5] Только тогда призраки получили официальный диагноз. Оказалось: они не призраки, а вполне законные пределы. Просто нужно было написать определение правильно.

Нестрогость не значит неверность: все ответы, которые давал анализ до 1820-х, были правильными. Строгость — это не исправление ошибок, а объяснение, почему ошибок нет. Физике строгость нужна не всегда сразу. Но без неё наука остаётся ремеслом.

Мы встретим это ещё несколько раз в курсе: инструмент рождается из нужды, работает раньше, чем объяснён, и только потом получает строгий паспорт. Так устроена математика для физики — не чистая логика, а грязный, продуктивный, неостановимый поиск.

Резюме

Метод исчерпывания — тупик

Архимед умел считать площади, заполняя их треугольниками. Метод работал для конкретных фигур, но не давал общего рецепта для произвольной кривой.

∫ — вытянутая S

Лейбниц ввёл значок ∫ (от summa) и запись f(x)dx. Интеграл — предел суммы бесконечно тонких полосок. Нотация выиграла у Ньютона и живёт до сих пор.

Накопление в физике

Путь — интеграл скорости. Работа — интеграл силы. Везде, где физическая величина накапливается под кривой — там стоит интеграл.

Фундаментальная теорема

∫f(x)dx от a до b = F(b)−F(a), где F'=f. Интеграл и производная обратны друг другу — это связывает Уроки 1 и 2 в одно целое.

Спор выиграла нотация, не правда

Оба изобрели независимо. Строгость пришла через 150 лет. Призраки не исчезли — их легализовали.

Интеграл — это производная наоборот. И это не совпадение — это одна из самых неожиданных связей в математике.

Что дальше в Уроке 3: мы умеем дифференцировать и интегрировать. Но физика этим не ограничивается: иногда неизвестное — это сама функция, и о ней нам говорит уравнение, содержащее её производные. F = ma — это не формула, а уравнение с функцией x(t) в роли неизвестного. Решить такое уравнение — значит найти всё будущее системы. Познакомимся с дифференциальными уравнениями.

Источники / Sources

books Steven Strogatz (2019). «Infinite Powers: How Calculus Reveals the Secrets of the Universe». Houghton Mifflin Harcourt. Гл. 3 «The Man Who Harnessed Infinity» (Архимед, метод исчерпывания); гл. 6 «The Vocabulary of Change» (интеграл Лейбница, нотация)
books Carl B. Boyer (1959). «The History of the Calculus and Its Conceptual Development». Dover Publications. Гл. 5 (Лейбниц: нотация ∫ и dx); гл. 6 (спор о приоритете, «Commercium Epistolicum», 1712)
books Gottfried Wilhelm Leibniz (1684). «Nova Methodus pro Maximis et Minimis». Acta Eruditorum, Leipzig. Первая печатная статья о дифференциальном исчислении; нотация dx, dy, правила дифференцирования
books В. И. Арнольд (1989). «Математические методы классической механики». 2-е изд., Наука; пер.: Springer, Graduate Texts in Mathematics, Vol. 60. ISBN 978-0-387-96890-2. Гл. 1 «Experimental Facts» — физический смысл интегрирования и дифференцирования в механике
books Bernhard Riemann (1854, опубл. 1868). «Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe». Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Bd. 13. Первое строгое определение определённого интеграла; условия интегрируемости функции

Сноски [1]—[5] внутри урока указывают на соответствующие пункты. Источники проверены на локализуемость.