История математики. От счетных палочек до бессчетных вселенных
Шрифт:
Закончим говорить об авторитете Священного Писания. Ныне скажем о том, что касается мнения святых относительно природы. Я говорю только одно: в богословии важна значимость авторитета, но в философии весом только авторитет разума. Святой Лактанций отрицал округлость Земли; святой Августин допустил округлость, но отрицал существование антиподов. Священная канцелярия наших дней свята, она допускает ограниченность размеров Земли, но отрицает ее движение. Но для меня священнее всех их будет Истина, когда я, при всем уважении к отцам церкви, демонстрирую с помощью философии, что Земля круглая, что на обратной ее стороне живут антиподы, а сама Земля — маленький межзвездный скиталец.
Исаак Ньютон родился в год смерти Галилея. Ему выпало свести все разрозненные элементы в единую теорию. Чтобы понять, какой беспорядок царил в то время в науке, следует представить, что в то время еще существовало две отдельные науки — земная и астрономическая механика. По мнению Кеплера, планеты перемещались по эллиптическим орбитам, их двигала таинственная магнитная сила, исходящая от Солнца, при этом инерция планет замедляла их движение относительно
В 1687 году после долгих уговоров и при финансовой поддержке со стороны Эдмунда Галлея (1656–1742) Ньютон издал свой труд «Математические начала натуральной философии», более известный под сокращенным названием «Начала». Он стал широко известен только в 1720-е годы, после двух последующих переизданий. В этой главе я коснусь лишь механики, об исчислении же поговорим позже. В «Началах» приводятся три закона движения, выведенные Ньютоном. Согласно традиционно принятому порядку (хотя появились они в иной последовательности), первый закон гласит: «Всякое тело продолжает удерживаться в состоянии покоя или равномерного и прямолинейного движения, пока и поскольку оно не понуждается приложенными силами изменить это состояние». Это согласуется с представлениями Декарта и учитывает как статическое, так и динамическое равновесие сил. Второй закон звучит так: «Изменение количества движения пропорционально приложенной силе и происходит по направлению той прямой, по которой эта сила действует». Теперь он записывается следующим образом: F = та.А третий закон говорит о том, что «действию всегда есть равное и противоположное противодействие, иначе взаимодействия двух тел друг на друга между собой равны и направлены в противоположные стороны». Затем Ньютон рассуждает о различных типах силовых полей и законе тяготения. Его мастерский ход заключался в том, что он уравнял в правах силы Кеплера и силы Галилея. В третьей книге «Начал», носящей название «О системе мира», изложены ключевые моменты его теории, приравнивающей силу, которая действует на падающее тело, и силу, которая действует на движущиеся по орбитам планеты. Итак, две механики внезапно стали единой наукой — земная и небесная разновидности, оказывается, подчиняются одним и тем же законам. Невидимым клеем, соединившим их, оказалась тогда еще загадочная сила гравитации.
Ньютон прославился изобретением (или со-изобретением, если можно так сказать) дифференциального и интегрального исчислений, но доказательства в «Началах» все еще геометрические, хотя чертежи часто отображают бесконечно малые изменения силы и перемещения, показывая, что получающееся движение должно считаться гладким. Но в космологии Ньютона все еще оставались нерешенные проблемы. Например, он не смог объяснить, что все планеты вращаются в одном и том же направлении, и не знал, почему они движутся именно по тем орбитам, на которых их наблюдают. Что касается силы гравитации, Ньютона беспокоила столь мощная сила, действующая на огромном расстоянии без посредства какой-либо передающей среды. Он не считал возможным действие на расстоянии в космическом вакууме. Скорее, ученый полагал, что есть некая среда (эфир), через которую передается сила, хотя вопрос, была ли она материальна, оставался нерешенным. Образ ангелов, двигающих планеты, заменили на универсальный дух. Кроме того, если бы тяготение было столь всепроникающим, то все объекты стремились бы притянуться друг к другу и Вселенная погибла бы. Ньютон обратился к Богу, назвав его защитником Вселенной от этой силы Судного дня. Теорию тяготения можно было бы легко отвергнуть, если бы математическая модель тяготения не соответствовала наблюдаемым фактам, но все было как раз наоборот: физическая реальность полностью совпадала с научным анализом этой самой реальности. Вихри Декарта были в конечном счете отвергнуты, потому что тяготение работало лучше. Математика действительно отлично «отражала явление». Новая механика шла в ногу с очередной ветвью математики — дифференциальным и интегральным исчислениями. Сейчас мы узнаем историю их изобретения.
Я, Галилео Галилей, сын покойного Винченцо Галилея из Флоренции, 70 лет, самолично поставленный перед судом, преклонив колена перед их эминенциями, досточтимыми кардиналами генерал-инквизиторами против еретической злобы во всем христианском мире, имея пред глазами Святое Евангелие, коего касаюсь собственными руками, клянусь, что всегда веровал, ныне верую и с помощью Божьею впредь веровать буду во все, что Святая Католическая и Апостольская Римская церковь за истинное приемлет, что проповедует и чему учит. Но так как я — после того, как мне от сего судилища сообщено было повеление, чтобы совсем оставил ложное мнение, будто Солнце есть центр мира и недвижно, Земля же не центр и движется, и чтобы не смел держаться того ложного мнения, не защищал его, не преподавал каким-либо способом или писанием и после того, как мне указано было, что учение это противно Священному Писанию, — написал и напечатал книгу, в которой излагаю это осужденное уже учение и привожу с настойчивостью аргументы в его пользу, не давая опровержения оных, то посему подвергся суду, как сильно заподозренный в ереси, а именно, что держусь мнения и верю, будто Солнце центр мира и недвижно, Земля же движется. Желая изъять из умов ваших эминенций и всякого христианина католика сие сильное возникшее против меня подозрение, я с чистым сердцем и верою неложною отрекаюсь от упомянутых заблуждений и ересей, проклинаю их и отвращаюсь от них и вообще от всяких заблуждений и сект, противных сказанной Святой Церкви. Клянусь, что в будущем ни устно, ни письменно не выскажу чего-либо, способного возбудить против меня подобное подозрение. И если узнаю какого-либо еретика или внушающего подозрение в ереси, не премину донести о нем сему священному судилищу или инквизитору или ординарию того места, где буду находиться. Клянусь, кроме того, и обещаю все эпитимии, наложенные на меня, или кои будут наложены, с точностью исполнять и соблюдать. А если, сохрани Боже, совершу что-либо противное сим моим обещаниям, протестациям и клятвам, то подлежу всем наказаниям и казням, кои Священными Канонами и другими общими и частными постановлениями установлены и обнародованы против такого, рода нарушителей. Да поможет мне Бог и Святое Его Евангелие, коего касаюсь руками.
В удостоверение
16
Цит. по: Астрономические очерки. Сборник популярных статей по астрономии. Составил А. Ф. Вебер. — Л.: Издательство «Мысль», 1924.
13. Математика в движении
Мы уже упоминали, что Ньютон и Кеплер моделировали орбиты планет исключительно геометрически. Однако в космическом пространстве не существует реальных эллипсов, они — лишь невидимые пути, по которым движутся планеты. Поэтому, чтобы больше не строить орбиты геометрически, по точкам, было бы очень полезно найти математический инструмент для описания движения планет. Те, кто пытался перейти от последовательности прямолинейных движений к действительно плавному пути, снова столкнулись с проблемой бесконечности и бесконечно малых величин.
Прежде чем обратиться к изобретению дифференциального и интегрального исчислений, стоит вспомнить более ранние попытки решить общие задачи с площадями и тангенсами. Это «до-дифференциальное и до-интегральное счисление» можно найти уже у Архимеда, разработавшего два метода определения площадей, ограниченных кривыми линиями. Их нередко называли геометрическим и механическим методами. Одна из самых известных задач, доставшихся нам от древних, — вычисление площади круга, так называемой квадратуры круга. В коротком трактате «Об измерении круга» Архимед приводит доказательства двух важных результатов. Во-первых, площадь круга равна площади прямоугольного треугольника, основание которого равно окружности круга, а высота — радиусу круга, что эквивалентно нашей формуле r 2, но без необходимости вводить собственно число . Второй важный результат — доказательство, что числовое значение находится между 3 1/7 и 3 10/71. В обоих случаях использовался геометрический метод: строились описанные и вписанные в круг многоугольники; затем, последовательным удвоением числа сторон каждого многоугольника они постепенно приближались к окружности. Помимо всего прочего, эти два многоугольника постепенно сближаются, в некотором смысле получается бутерброд из многоугольников с окружностью, прослоенной между ними, так что, если процесс продолжить до бесконечности (то, что математики называют «в пределе»), площади многоугольников постепенно сближаются с площадью круга. Чтобы найти значение , Архимед начал с описанного и вписанного шестиугольников и закончил процесс, когда достиг 96-стороннего многоугольника, хотя мог бы продолжать до тех пор, пока бы не достиг любого задуманного уровня точности. Архимед использовал метод последовательных элиминаций, за который мы должны благодарить Евдокса (см. Главу 4), но старался не заявлять, что многоугольники постепенно становятся кругом, приходя к результату посредством длинной логической аргументации. Это умалчивание понятно, поскольку, с точки зрения греков, многоугольник и круг были совершенно разными фигурами.
Механический метод Архимеда иллюстрируется в работе, носящей название «Послание к Эратосфену о методе». Она считалась утерянной, но в 1906 году была обнаружена в Константинополе. Этот труд был палимпсестом, пергаментом десятого века; он содержал различные работы Архимеда, а затем его использовали в качестве молитвенника, но тексты древнего грека соскребли не окончательно, так что их еще можно было разобрать. (В 1998 году «Послание к Эратосфену о методе» было продано с аукциона за два миллиона долларов.) Метод, который обсуждает Архимед, — по существу, разборка площади на линии, преобразование этих линий, а затем восстановление их в виде другой площади. Точное преобразование было выполнено путем использования Архимедова правила рычага. В некотором смысле ученый уравновесил известную площадь с неизвестной. Положение точки опоры определяет относительные размеры площадей — отсюда термин «механический метод». Архимед утверждал, что это очень полезный эвристический инструмент для получения новых результатов, однако он понимал, что его метод ненадежен, и, когда встал вопрос о получении безупречного результата, вернулся к геометрическому методу. Главная проблема в том, что приходится принять: площадь фигуры может быть составлена из неделимых линий, поскольку линия — это длина без ширины, одномерный объект, и, когда мы мысленно соединяем линии, сумма одномерных объектов остается одномерной и не может дать двумерную площадь. Несмотря на это, Архимед сумел правильно вычислить множество площадей и объемов, включая площадь сегмента параболы, а также центры тяжести объемных тел вроде конуса.
К началу XVII века вырос интерес к построению различных кривых и вычислению их длин, ограничиваемых ими площадей и объемов фигур, получаемых в результате их вращения. Стимулом послужило решение различных задач механики — как статики, так и динамики. Определение центра тяжести предмета математическими методами было очень важным для решения вопроса о его устойчивости и, естественно, представляло большой интерес в таких областях, как архитектура и судостроение. Используемые методы в принципе можно было разбить на две Архимедовы категории, но все сильнее чувствовалось, что, несмотря на логическую форму задачи, методы, в той или иной форме использующие неделимые или бесконечно малые величины, легче приводили к более правильным результатам, чем геометрические методы.
Математика больше не могла избегать понятий бесконечности и бесконечно малых величин — Сциллы и Харибды греческой математики. Кеплер использовал инфинитезимальный метод при вычислении площади сектора эллиптической орбиты, по которому планета проходит за определенное время. Вот еще более впечатляющий пример. В книге под названием «Новая стереометрия винных бочек» (1615) Кеплер рассчитал объем винной бочки, используя бесконечно большое число бесконечно малых дощечек. Галилей верил в реальное существование бесконечности, приводя в пример круг, который он считал многоугольником с бесконечным числом сторон. В то же самое время итальянский математик Бонавентура Франческо Кавальери (1598–1647), ученик Галилея, а с 1629 года — профессор математики в Болонье, издал свой труд, здоровенный том почти в семьсот страниц, посвященный методам вычисления площадей и объемов. В этой работе, именуемой «Геометрия, развитая новым способом при помощи неделимых непрерывного» (1635), обсуждались различные методы вычисления неделимых бесконечно малых величин, причем площади плоских фигур считались составленными из неделимых линий, а объемные фигуры предполагались состоящими из неделимых плоских объектов. Самым главным его результатом стала формула площади фигуры, ограниченной кривыми: у = х nпри любом целочисленном n.