Примечательно, что фигура имеет квадратное поперечное сечение, несмотря на то что является пересечением круглых цилиндров.
Сделаем стопку из бесконечного множества тонюсеньких квадратов, которая сужается от большого квадрата в середине фигуры до все более маленьких квадратиков и превращается в точку вверху и внизу.
Изобразить фигуру — всего лишь первый шаг. Для определения ее объема надо вычислить объемы всех отдельных составляющих ее кусочков. Архимеду удалось это сделать только в силу своей поразительной изобретательности69. Он использовал механический метод, основанный на рычаге и центрах тяжести, по сути, взвешивая фигуру в своем сознании, уравновешивая ее другими, уже ему известными. Недостатком его подхода, помимо того что он требовал гениальных способностей, было то, что его можно было применить только к очень ограниченному числу фигур.
Концептуальные проблемы, подобные этой, ставили в тупик лучших математиков в течение следующих девятнадцати веков — до середины XVII столетия, когда Джеймс Грегори, Исаак Барроу, Исаак Ньютон и Готфрид Лейбниц обосновали то, что сейчас называется фундаментальной теоремой интегрального исчисления70. Она мощно сковала два типа изменений, которые изучаются в исчислениях: накапливаемые изменения, представленные интегралами, и локальные изменения, представленные производными (см. главу 17). Выявив эти связи, основная теорема значительно расширила вселенную интегралов и уменьшила утомительную работу по их вычислению. В настоящее время ее можно запрограммировать на компьютере. С ее помощью даже задача о пересечении двух цилиндров, которая относилась когда-то к уровню мирового класса, становится общедоступной.
Только простейшие виды изменений могли быть проанализированы до появления основной теоремы интегрального исчисления. Когда что-то меняется постепенно, с постоянной скоростью, алгебра прекрасно работает. Это из области «расстояние равно скорости, умноженной на время». Например, автомобиль движется с неизменной скоростью 60 миль в час, при этом он проедет 60 миль за первый час и 120 миль к концу второго часа.
А как насчет изменений, которые происходят при изменении скорости?
Все вокруг нас постоянно меняется: увеличение скорости упавшего с высотного здания пенни, быстрая смена потоков, эллиптические орбиты планет, наши суточные биоритмы. Только исчисление может справиться с накапливаемым эффектом от неоднородных изменений, подобных этим.
На протяжении почти двух тысячелетий после Архимеда для прогнозирования эффекта от постоянных изменений существовал только один метод — последовательное складывание различных ломтиков. Предполагалось, что вы считаете скорость изменения в пределах каждого ломтика постоянной, затем вызываете аналог «расстояние равно скорости, умноженной на время», чтобы медленно двигаться до конца ломтика, и повторяете это до тех пор, пока все кусочки не будут рассмотрены. В большинстве случаев выполнить это невозможно. Бесконечные суммы слишком сложно вычислять.