📝 Интегральное исчисление возникло не как умозрительная конструкция, а как необходимость решения двух классов задач 📝:
1. Квадратура — вычисление площади фигуры, ограниченной кривой линией.
2. Кубатура — вычисление объёма тела со сложной формой.
Первые известные попытки решения таких задач относятся к Древнему Египту и Месопотамии. А систематические методы появляются в Древней Греции.

▪️ Первый интеграл: площадь сегмента параболы (Архимед). Архимед Сиракузский (287–212 гг. до н. э.) первым сформулировал и строго доказал метод, который называется методом исчерпывания.
Задача: Найти площадь S сегмента, отсекаемого прямой AB от параболы y = x². Ход рассуждения Архимеда:
1. Внутри сегмента строится треугольник ΔABC с максимальной высотой.
2. Площадь этого треугольника T₁ принимается за первое приближение.
3. В оставшихся двух малых сегментах снова вписываются треугольники, суммарная площадь которых T₂ = T₁ / 4.
4. Процесс повторяется. Получается геометрическая прогрессия: S = T₁ + T₂ + T₃ + … = T₁ + T₁/4 + T₁/4² + …
Архимед строго доказывает, что S = (4/3)·T₁
В современных символах для параболы y = x² на отрезке от –a до a: ∫₋ₐᵃ x² dx = 2·a³/3
Площадь вписанного треугольника T₁ = a³, откуда и получается S = (4/3)·a³.

▪️ Метод неделимых (Кавальери, XVII век). Следующий принципиальный шаг совершил Бонавентура Кавальери (1598–1647), ученик Галилея. Он ввёл понятие «неделимых» — линий, составляющих площадь, и плоскостей, составляющих объём.
Принцип Кавальери: Если при пересечении двух тел плоскостями, параллельными некоторой заданной плоскости, площади сечений равны, то равны и объёмы тел.
Кавальери вычислил, например, площадь под дугой циклоиды и получил соотношение: ∫₀²πᴿ y dx = 3πR²
где y — ордината циклоиды, R — радиус производящего круга. Интеграл он понимал как сумму всех линий (ординат), но не оперировал пределами.
Его результат для степенной функции: сумма всех квадратов неделимых (то есть ∫x²dx) относится к квадрату над той же длиной как 1:3. Это записывалось как: ∫₀ᵃ x² dx = a³/3
Для xⁿ он и его последователи (Торричелли, Роберваль) нашли, что ∫₀ᵃ xⁿ dx = aⁿ⁺¹ / (n+1), где n ∈ ℕ.

▪️ Интеграл как предел сумм (Ферма, Паскаль). Пьер Ферма в 1636 году разработал метод квадратуры для кривых вида y = xᵐ⁄ⁿ. Он разбивал интервал [0, a] на геометрическую прогрессию точек, вычислял сумму площадей прямоугольников и переходил к пределу. Общая формула, полученная Ферма: ∫₀ᵃ xᵐ⁄ⁿ dx = n·a⁽ᵐ⁺ⁿ⁾⁄ⁿ / (m+n)
При m/n = k (рациональное) получается: ∫₀ᵃ xᵏ dx = aᵏ⁺¹ / (k+1)

▪️ Итоговое открытие: теорема, связавшая интеграл и производную. К 1660–1670 гг. Исаак Ньютон и Готфрид Лейбниц независимо поняли главное: операция квадратуры и операция нахождения касательной обратны.
Фундаментальная теорема анализа: Пусть F'(x) = f(x). Тогда ∫ₐᵇ f(x) dx = F(b) – F(a).
Символ интеграла ∫ (буква S — от лат. summa) и обозначение дифференциала dx были введены Лейбницем в статье 1686 года «О глубокой геометрии и анализе неделимых и бесконечных».

▪️ Практика применения:
1. Землемерие и строительство — вычисление площади неправильных полей (метод исчерпывания заменял современную квадратуру).
2. Гидростатика — Архимед определял объём вытесненной жидкости.
3. Военное дело — расчёт объёмов ядер, формы укреплений.
4. Астрономия — принципы счёта интегралов из астрономии, Кеплер применил для вычисления объёма винных бочек.
5. Навигация и картография — определение площадей на картах в проекции Меркатора.

В XVII веке понятие предела ещё не было. Лейбниц оперировал «бесконечно малыми» величинами, что вызывало критику. Строгий предел ε-δ дал Коши (1823), а теоретико-множественное обоснование — Риман (1854). Однако методы Архимеда, Кавальери и Ферма были элементарно строги в рамках своей геометрической интуиции. Первый строгий результат — Архимед. Первая общая техника — неделимые Кавальери. Первый формализм — Лейбниц. Первое аналитическое доказательство — Ньютон.

▫️Архимед «Квадратура параболы»
▫️Кавальери «Геометрия неделимых»
▫️Ньютон «Математические начала натуральной философии»
▫️Лейбниц «De geometria recondita».

💡 Physics.Math.Code // @physics_lib