Ричард Манкевич - История математики. От счетных палочек до бессчетных вселенных

В удостоверение того, что я, Галилео Галилей, как выше приведено, отрекся, поклялся, обещал и обязал себя, я собственноручно подписал сей акт и от слова до слова прочел его в Риме в монастыре Минервы сего 22-го июня 1633 года.

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

Прежде чем обратиться к изобретению дифференциального и интегрального исчислений, стоит вспомнить более ранние попытки решить общие задачи с площадями и тангенсами. Это «до-дифференциальное и до-интегральное счисление» можно найти уже у Архимеда, разработавшего два метода определения площадей, ограниченных кривыми линиями. Их нередко называли геометрическим и механическим методами. Одна из самых известных задач, доставшихся нам от древних, — вычисление площади круга, так называемой квадратуры круга. В коротком трактате «Об измерении круга» Архимед приводит доказательства двух важных результатов. Во-первых, площадь круга равна площади прямоугольного треугольника, основание которого равно окружности круга, а высота — радиусу круга, что эквивалентно нашей формуле πr 2 , но без необходимости вводить собственно число π . Второй важный результат — доказательство, что числовое значение π находится между 3 1/7 и 3 10/71. В обоих случаях использовался геометрический метод: строились описанные и вписанные в круг многоугольники; затем, последовательным удвоением числа сторон каждого многоугольника они постепенно приближались к окружности. Помимо всего прочего, эти два многоугольника постепенно сближаются, в некотором смысле получается бутерброд из многоугольников с окружностью, прослоенной между ними, так что, если процесс продолжить до бесконечности (то, что математики называют «в пределе»), площади многоугольников постепенно сближаются с площадью круга. Чтобы найти значение π , Архимед начал с описанного и вписанного шестиугольников и закончил процесс, когда достиг 96-стороннего многоугольника, хотя мог бы продолжать до тех пор, пока бы не достиг любого задуманного уровня точности. Архимед использовал метод последовательных элиминаций, за который мы должны благодарить Евдокса (см. Главу 4), но старался не заявлять, что многоугольники постепенно становятся кругом, приходя к результату посредством длинной логической аргументации. Это умалчивание понятно, поскольку, с точки зрения греков, многоугольник и круг были совершенно разными фигурами.

Механический метод Архимеда иллюстрируется в работе, носящей название «Послание к Эратосфену о методе». Она считалась утерянной, но в 1906 году была обнаружена в Константинополе. Этот труд был палимпсестом, пергаментом десятого века; он содержал различные работы Архимеда, а затем его использовали в качестве молитвенника, но тексты древнего грека соскребли не окончательно, так что их еще можно было разобрать. (В 1998 году «Послание к Эратосфену о методе» было продано с аукциона за два миллиона долларов.) Метод, который обсуждает Архимед, — по существу, разборка площади на линии, преобразование этих линий, а затем восстановление их в виде другой площади. Точное преобразование было выполнено путем использования Архимедова правила рычага. В некотором смысле ученый уравновесил известную площадь с неизвестной. Положение точки опоры определяет относительные размеры площадей — отсюда термин «механический метод». Архимед утверждал, что это очень полезный эвристический инструмент для получения новых результатов, однако он понимал, что его метод ненадежен, и, когда встал вопрос о получении безупречного результата, вернулся к геометрическому методу. Главная проблема в том, что приходится принять: площадь фигуры может быть составлена из неделимых линий, поскольку линия — это длина без ширины, одномерный объект, и, когда мы мысленно соединяем линии, сумма одномерных объектов остается одномерной и не может дать двумерную площадь. Несмотря на это, Архимед сумел правильно вычислить множество площадей и объемов, включая площадь сегмента параболы, а также центры тяжести объемных тел вроде конуса.

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

Математика больше не могла избегать понятий бесконечности и бесконечно малых величин — Сциллы и Харибды греческой математики. Кеплер использовал инфинитезимальный метод при вычислении площади сектора эллиптической орбиты, по которому планета проходит за определенное время. Вот еще более впечатляющий пример. В книге под названием «Новая стереометрия винных бочек» (1615) Кеплер рассчитал объем винной бочки, используя бесконечно большое число бесконечно малых дощечек. Галилей верил в реальное существование бесконечности, приводя в пример круг, который он считал многоугольником с бесконечным числом сторон. В то же самое время итальянский математик Бонавентура Франческо Кавальери (1598–1647), ученик Галилея, а с 1629 года — профессор математики в Болонье, издал свой труд, здоровенный том почти в семьсот страниц, посвященный методам вычисления площадей и объемов. В этой работе, именуемой «Геометрия, развитая новым способом при помощи неделимых непрерывного» (1635), обсуждались различные методы вычисления неделимых бесконечно малых величин, причем площади плоских фигур считались составленными из неделимых линий, а объемные фигуры предполагались состоящими из неделимых плоских объектов. Самым главным его результатом стала формула площади фигуры, ограниченной кривыми: у = х nпри любом целочисленном n.