Текст книги "Большой роман о математике. История мира через призму математики"

5
Немного о методе

Для греческих математиков возможность доказать теорему становится ключевым моментом. Ни одна теорема не может считаться состоятельной, если ее не сопровождает доказательство, иными словами, логичное и точное подтверждение. Крайне важным было суметь предметно продемонстрировать доказательство, т. к. в противном случае оставалось сомнение в совершенстве теоремы и были бы возможны неожиданные сюрпризы. Некоторые методы, несмотря на то что широко известны и повсеместно используются, не всегда хорошо работают.

Вот пример. Помните, в папирусе Ахмеса описывалось, как начертить квадрат и круг с одинаковой площадью? В этих рассуждениях, без сомнения, есть ошибка. Отклонения незначительные, тем не менее они есть. При измерении площадей фигур оказывается, что разница составляет приблизительно 0,5 %! Ну что же, для землемеров такая точность достаточна, однако для теоретиков математики недопустима.

Даже среди гипотез Пифагора были ошибочные суждения. Одно из таких заблуждений касалось соизмеримости длин. Пифагор полагал, что в геометрии любые величины соизмеримы, т. е. всегда можно найти достаточно малую величину для измерения любых двух длин. Представьте два отрезка длиной 9 и 13,7 см соответственно. В Древней Греции еще не использовались десятичные значения для измерений, и, таким образом, второй отрезок нельзя было измерить в сантиметрах. Разумеется, нет ничего сложного в том, чтобы определить длину отрезка единицами в десять раз меньшими, чем сантиметры, соответственно, длины отрезков составят 90 и 137 мм. Пифагор был убежден, что любые два отрезка соизмеримы, и их длины можно определить в соответствующих единицах.

Это утверждение опроверг древнегреческий философ-пифагореец Гиппас из Метапонта. Ученому приписывают открытие существования несоизмеримых отрезков, а именно стороны и диагонали квадрата! Какую бы вы ни выбрали единицу измерения, сторона квадрата и его диагональ не будут соизмеримы в целых выбранных единицах. Гиппас привел логическое обоснование этой гипотезы и не оставил никакого сомнения в ее справедливости. Пифагор и его последователи были настолько сильно оскорблены этим, что исключили Гиппаса из школы. В некоторых источниках даже говорится о том, что ученого сбросили с обрыва в море его ученики!

Математикам эти истории могут показаться ужасающими. Можно ли когда-либо чувствовать себя полностью уверенным? Каково это, жить в постоянном страхе того, что в один прекрасный день математическое открытие оборвет вашу жизнь? И треугольник со сторонами 3–4–5 – в самом ли деле он прямоугольный? Нет ли вероятности, что в один из дней выяснится, что, казавшийся абсолютно прямым, он все же не идеален?

Даже сегодня нередки случаи, когда математики становятся жертвами ошибочных догадок. Именно поэтому, продолжая традиции своих древнегреческих предков, современные математики четко разграничивают суждения, которые могут быть однозначно доказаны, так называемые теоремы, и те из них, которые еще не доказаны, получившие название «гипотезы».

Одной из самых известных гипотез нашего времени является гипотеза Римана. Многие математики опираются на ее справедливость и основывают на ней свои исследования. Если когда-нибудь эта теорема будет доказана, их работа также окажется подтвержденной. Но если ее опровергнут, то и все их труды будут напрасны. Ученые XXI в. намного более благоразумны, чем их предшественники из Древней Греции, тем не менее можно предположить: если кому-то удастся опровергнуть гипотезу Римана, даже в текущих условиях на этого человека вполне предсказуемо обрушится гнев некоторых коллег.

Чтобы избежать этого постоянного страха ожидания опровержения, математикам требуется приводить доказательства. Нет, мы никогда не узнаем о том, что треугольник со сторонами 3–4–5 не является прямоугольным. Это точно. И эта уверенность проистекает из теоремы Пифагора, которая подтверждает это. Любой треугольник, сумма квадратов катетов которого равна квадрату гипотенузы, является прямоугольным. Это суждение было для математиков Месопотамии гипотезой, но благодаря древним грекам оно стало теоремой. Уф!

Так в чем же заключается доказательство? Теорема Пифагора – не только одна из самых известных теорем, она также имеет множество различных доказательств. Их насчитывается несколько десятков. Некоторые из них сделаны представителями цивилизаций, которые даже не слышали о Евклиде или Пифагоре – например, подтверждение встречается в китайском произведении «Математика в девяти книгах». Иные доказательства сформулированы уже после Пифагора – с той лишь целью, чтобы остаться в истории и поупражняться в рассуждениях. Так, среди тех, кто сформулировал собственные доказательства теоремы Пифагора, – знаменитый итальянский изобретатель Леонардо да Винчи, а также двадцатый президент США Джеймс Абрам Гарфилд.

Один из наиболее распространенных принципов доказывания – принцип мозаики: если две геометрические фигуры могут быть сложены из равных элементов, то их площади равны. Обратимся к примеру такого доказательства, которое привел в III в. н. э. ученый из Китая Лю Хуэй.

Два квадрата, стороны которых соответствуют катетам, состоят из двух и пяти частей соответственно. Из этих же самых семи частей состоит квадрат со стороной, равной гипотенузе. Площадь квадрата со стороной, равной гипотенузе, таким образом, равна сумме площадей двух других квадратов. И так как значение площади квадрата равно числовому значению квадрата стороны, теорема Пифагора верна.

Для того чтобы доказательство было убедительным, необходимо гарантировать, что все составляющие абсолютно равны по размерам и что это будет верно для любых прямоугольных треугольников.

Попробуем коротко изложить последовательность рассуждений. Почему треугольник со сторонами 3–4–5 прямоугольный? Потому что он подтверждает теорему Пифагора. А почему теорема Пифагора верна? Потому что доказательство Лю Хуэйя подтверждает, что квадрат со стороной, равной гипотенузе, может быть составлен из тех же элементов, что и два квадрата, стороны которых равны катетам. Это все очень напоминает детскую игру в «почему». Проблема этой игры в том, что вопросы никогда не заканчиваются. Каков бы ни был ответ, следом возникает еще один вопрос, начинающийся со слова «почему». Почему? Да, действительно, почему?

Вернемся к нашему примеру: мы утверждаем, что если из одних фигур можно составить другую, то их площади равны. Но как можно убедиться в том, что это действительно так? Что если в зависимости от того, как будут сложены элементы, площади станут отличаться? Такое предположение может показаться абсурдным, не так ли? Настолько абсурдным, что даже странно было бы пытаться это доказывать…

Ситуация непростая. Осложняется она еще и тем, что, даже если нам удастся объяснить, почему принцип мозаики правильный, после этого необходимо будет доказывать справедливость самих аргументов, используемых в целях доказывания!

Математики Древней Греции отдавали себе отчет в существовании этой проблемы. Для того чтобы доказать что-либо, необходимо было от чего-то отталкиваться. Так, первая фраза любого доказывания не может быть доказана как минимум потому, что она первая. Любая математическая конструкция должна начинаться с определенного количества предпосылок, на которых и будут основываться последующие рассуждения.

Такие истины в математике получили название «аксиомы». Как и теоремы и гипотезы, они являются плодами наблюдения математиков, но, в отличие от других двух типов, не требуют приведения доказательств и принимаются как истинные.

«Начала», написанные Евклидом в III в. до н. э., описывают в тринадцати книгах принципы геометрии и арифметики.

О жизни Евклида не сохранилось такого большого количества информации, как о Фалесе или Пифагоре. По одним данным, он жил где-то в районе Александрии. По другим – по аналогии с Пифагором, некоторые историки предполагают, что это вымышленное имя, под которым скрывается наследие нескольких ученых. Наверняка это нельзя определить.

В отсутствии информации о самом ученом человечество получило огромное наследие в виде «Начал», теоретической работы, которая единогласно признается одним из наиболее значительных произведений математики, т. к. именно в нем впервые появилось понятие аксиоматики. Форма написания «Начал» максимально приближена к тому формату, который используется современными математиками. В конце XV в. н. э. «Начала» были среди первых произведений, которые перепечатывались на только что появившемся прессе Гуттенберга. Сегодня произведение Евклида занимает второе по количеству отпечатанных копий место, уступая по этому показателю только Библии.

В первой книге «Начал» Евклида, посвященной, прежде всего, геометрии, была дана следующая система аксиом.

1. От всякой точки до всякой точки можно провести прямую.

2. Ограниченную прямую можно непрерывно продолжать по прямой.

3. Из всякого центра всяким радиусом может быть описан круг.

4. Все прямые углы равны между собой.

5. Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых углов, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых углов.[7]7
  Эта аксиома сложнее, чем четыре первые, что породило многочисленные дебаты между математиками. На фигуре ниже видно, что сумма выделенных углов менее двух прямых углов, что означает, что прямые 1 и 2 пересекаются со стороны этих углов


[Закрыть]

Далее приводятся безукоризненные доказательства многочисленных теорем, и для каждого Евклид использует только эти пять аксиом либо результаты, полученные с их применением. Последняя из описанных в первой книге теорем есть не что иное, как теорема Пифагора.

После Евклида многие математики задумывались над вопросом выбора аксиом. Многие из них особенно долго рассуждали над пятой аксиомой. Она куда менее очевидна, чем четыре другие. Часто ее заменяют другой аксиомой, которая позволяет прийти к аналогичным выводам: через точку можно провести единственную прямую, параллельную данной прямой. Дебаты по поводу выбора пятой аксиомы продолжались вплоть до XIX в., когда появились новые геометрические модели, для которых эта аксиома неверна.

Открытие аксиом приводит к еще одной проблеме: проблеме определений. Все эти используемые слова: точки, части, углы, различные круги, – что они обозначают? Так как для приведения доказательств вопрос формулирования определений бесконечен, самое первое определение будет дано с использованием определенных терминов впервые.

В «Началах» определения появляются раньше, чем аксиомы. Первая фраза первой книги – определение точки.

Точка есть то, что не имеет частей.

Как же с этим быть! Этим определением Евклид хотел сказать, что точка – это наименьшая из геометрических фигур. Невозможно разделить на части точку, т. к. она неделима и не имеет частей. В 1632 г. в первом французском издании «Начал» Дени Энрион (Denis Henrion) немного расширил определение, уточнив, что у точки нет ни длины, ни ширины, ни толщины.

Отрицательные определения оставляют возможности для скепсиса. Сказать, чем точка не является, это не то же самое, что сказать, чем она является! И это настолько хитро, что лучше и не придумаешь. В некоторых школьных учебниках начала XX в. можно найти следующее определение: точка – это оттиск, оставленный на листке бумаги абсолютно острым карандашом. Абсолютно острым! В этот раз определение конкретное. От такого определения у Евклида, Пифагора и Фалеса волосы на голове встали бы дыбом, ведь они приложили много сил для того, чтобы сделать из геометрических фигур абстрактные идеальные объекты. Ни один карандаш, как бы хорошо он ни был заточен, не сможет оставить такой оттиск, который не имеет ни длины, ни ширины, ни толщины.

Коротко говоря, никто наверняка не может сказать, что же такое точка, но все согласны с тем, что сама ее природа настолько очевидна, что применение определений может привести к еще большей двусмысленности. Мы в той или иной степени уверены, что говорим об одном и том же, когда используем термин «точка».

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

Определения, аксиомы, теоремы, доказательства – путь, проложенный Евклидом, определил принципы работы будущих математиков. Однако, несмотря на то что теории структурировались и становились проще, математики столкнулись с новыми явлениями, которые, подобно песчинкам в ботинке, стали мешать стройности рассуждений: они получили название «парадоксы».

Парадокс – это пример того, что должно работать, но по какой-то причине не работает. И это противоречие необъяснимо. Объяснение, которое кажется абсолютно верным, тем не менее приводит к совершенно невероятному и абсурдному заключению. Представьте себе перечень аксиом, кажущихся вам бесспорными. Однажды вы столкнетесь с теоремой, которая докажет их ошибочность. Кошмар!

Один из самых известных парадоксов связывают с именем Евбулида Милетского и словами поэта Эпименида. Последний заявил однажды, что «все жители Крита – лгуны». Проблема заключается в том, что Эпименид и сам был критянином. Таким образом, если то, что он сказал, верно, то это утверждение ложно… и, следовательно, его слова ложь. А если, напротив, утверждение ошибочно, то он солгал и утверждение верно! Впоследствии появились многочисленные варианты данного парадокса, среди которых один из наиболее простых может быть сформулирован как «я лгу».

Парадокс лжеца ставит под сомнение мысль о том, что любое утверждение не может быть одновременно и верным, и неверным. Третьего не дано. В математике этот принцип получил название «закон исключенного третьего». На первый взгляд, можно было бы принять этот принцип в качестве аксиомы. Однако парадокс лжеца дает нам понять, что ситуация может оказаться не такой очевидной. Если сформулированная закономерность подтверждает свою собственную неверность, с логической точки зрения нельзя признать ее ни верной, ни неверной.

Несмотря на это многие математики и по сей день придерживаются закона исключенного третьего и считают его верным. В конце концов, парадокс лжеца на самом деле не столько математическое наблюдение, сколько лингвистическое несоответствие. Более чем через две тысячи лет после Евбулида логики заметили, что парадоксы такого рода могут также возникать в контексте самых строгих теорий, что, безусловно, заставляло волноваться математиков.

Зенон Элейский, живший в Древней Греции в V в. до н. э., также прославился своими парадоксами. Ему приписывается авторство десятка парадоксов. Один из самых известных – это парадокс Ахиллеса и черепахи.

Представьте забег, в котором участвуют знаменитый своими физическими способностями Ахиллес и черепаха. Чтобы уравнять их шансы, предоставим черепахе фору, скажем, в 100 м. Несмотря на это кажется, что Ахиллес, скорость которого в разы превышает скорость черепахи, рано или поздно обгонит ее. Зенон, однако, убеждает нас в обратном.

Рассмотрим забег в несколько этапов – говорит нам Зенон. Для того чтобы обогнать черепаху, Ахиллес должен для начала преодолеть хотя бы расстояние, отделяющее его от черепахи. Когда Ахиллес пробежит эти сто метров, черепаха уже будет чуть дальше, и, таким образом, Ахиллесу нужно будет пробежать еще и этот интервал, чтобы ее догнать. Но когда он преодолеет этот участок, черепаха окажется еще чуть дальше. Так можно продолжать и продолжать, но черепаха все равно окажется чуть дальше, чем атлет.

Коротко говоря, каждый раз, когда Ахиллес достигает точки, в которой изначально была черепаха, она продвигается чуть дальше. И это остается верным, сколько бы раз ни повторялось! Так, расстояние между ними будет сокращаться, но Ахиллес никогда не догонит черепаху.

Абсурд, не так ли? Достаточно на практике убедиться в том, что бегун без труда обгонит черепаху. Однако с точки зрения теоретической логики ошибки в рассуждениях нет.

Математикам потребуется немало времени, прежде чем будет сделан вывод о том, что этот парадокс есть не что иное, как ловкая игра в бесконечность. Если бы бегуны преодолевали дистанцию, которую Евклид называл отрезком, т. е. ограниченную часть прямой, которая обладает длиной, в то время как он состоит из бесконечного количества точек, не обладающих длиной. Таким образом, мы можем говорить о сочетании бесконечного и конечного. Парадокс Зенона заключается в том, что временные интервалы, за которые Ахиллес преодолевает все новые и новые расстояния, могут быть бесконечно разделены на более мелкие. Если же заменить бесконечность на ограниченное количество времени, то Ахиллес без труда догонит черепаху, когда истечет время.

Понятие бесконечного в математике привело не только к появлению многочисленных парадоксов, но и к формированию самых невероятных теорий.

На протяжении всей истории у математиков было неоднозначное отношение к парадоксам. С одной стороны, они представляют большую опасность. Как только однажды в теории возникает парадокс, все умозаключения ее сторонников и построенные на ее принципах теоремы теряют свой смысл. Но, с другой стороны, какой вызов! Парадоксы – это неиссякаемый источник для новых вопросов и знаний. Наличие парадокса говорит о том, что есть еще что-то, до конца не изученное. Это значит, что мы не до конца поняли явление, плохо сформулировали определение, неверно выбрали аксиому. Это подтверждение того, что вещи устроены иначе, чем мы думали ранее. Парадокс – это приглашение в увлекательное путешествие, повод для обдумывания сущностных идей. Как много новых идей и теорий мы обошли бы стороной, если бы парадоксы не подтолкнули нас к их открытию?

Парадоксы Зенона способствовали тому, что ученые описали концепции бесконечного и измеримого. Парадокс лжеца дал толчок для дальнейших поисков логиками возможностей более наглядного подтверждения своих идей. Даже сегодня многие ученые изучают определенные направления математики, которые зарождались еще в парадоксах древнегреческих ученых.

В 1924 г. математики Стефан Банах и Альфред Тарски явили свету парадокс, впоследствии названный в их честь. Он ставит под сомнение сам принцип мозаики, каким бы очевидным тот ни казался. Банах и Тарски смогли описать разделение мозаики в трехмерном пространстве, в результате чего объем отличался в зависимости от того, каким образом складывались отдельные элементы! Так, выбранные элементы были настолько странными и несуразными, что не имели ничего общего с геометрическими фигурами, которые выбирали древние греки. Можно быть уверенными в том, что принцип мозаики работает в случае с фигурами в форме треугольников, квадратов и иных классических фигур. Доказательство теоремы Пифагора, данное Лю Хуэйем, остается верным.

Но пусть это будет уроком! Не стоит безрассудно брать за основу кажущееся очевидным. Сохраним же интерес к тайнам математического мира, который греческие ученые когда-то открыли для нас.

6
Число π

14 марта 2015 г., я иду во Дворец открытий. Сегодня день торжества! В начале 1930-х годов французский физик, лауреат Нобелевской премии Жан-Батист Перрен замыслил проект создания научного центра, деятельность которого была бы направлена на привлечение общественного интереса к последним исследованиям во всех областях науки. Дворец открыт в 1937 г. в двух шагах от Елисейских полей и занял все западное крыло Большого дворца площадью в 25 000 кв. м. Выставки длились не более полугода и имели большой успех. Двадцать пять лет спустя выставки во Дворце открытий до сих пор привлекают сотни тысяч посетителей ежегодно.

Выйдя из метро, я иду по авеню Франклина-Рузвельта ко входу во Дворец. Подходя к зданию, замечаю цифры: 4, 2, 0, 1, 9, 8, 9. Странная последовательность цифр, написанных на земле, переходит на ступени лестницы, а затем внутрь здания. Необычное решение! В предыдущий раз, когда я был здесь, цифр еще не было. Они продолжаются: 1, 3, 0, 0, 1, 9. Я захожу в здание дворца. Они повсюду: 1, 7, 1, 2, 2, 6. Они пересекают центральную ротонду, продолжаются вверх по лестнице, 7, 6, 6, 9, 1, 4. Я поднимаюсь по ступеням четыре на четыре, прохожу ко входу в планетарий и поворачиваю налево, 5, 0, 2, 4, 4, 5. Цифры ведут меня прямо к отделу математики. Я вижу, как они поднимаются по стене: 5, 1, 8, 7, 0, 7. И вот их источник. Я стою в центре огромной круглой комнаты, красные и черные цифры становятся все больше, они кружатся, поднимаясь все выше. Наконец я нахожу начало серии: 3, 1, 4, 1, 5… Я в сердце одного из самых символичных мест Дворца открытий: в зале π.

Число π, без сомнения, является самой известной и волнующей константой в математике. Круглая форма зала напоминает о том, что значение числа π неразрывно связано с геометрической формой окружности: умножив диаметр окружности на число π, можно узнать ее периметр. Буква π (читается как «пи») – шестнадцатая буква греческого алфавита, соответствует букве «П» и стоит первой в слове «периметр». Число π не такое большое – немного более 3, но его точное значение бесконечно: 3,14159265358979…

В самом зале π, на его округлых стенах написаны первые 704 цифры после запятой. Но сегодня этот ряд продолжен до 1000 значений. Стоит отметить, что сегодня особенный день. 14 марта 2015 г. – день числа π!

Впервые День π стали отмечать 14 марта 1988 г. в Эксплораториуме – американском аналоге Дворца открытий, расположенном в самом центре Сан-Франциско. Четырнадцатый день третьего месяца (что в американском написании обозначается как 3/14) – эта дата идеально подходила для того, чтобы отмечать День π, ведь обычно это число сокращают до 3,14. С тех пор эта инициатива была воспринята, и многие энтузиасты по всему миру собираются каждый год, чтобы отметить день постоянной и воздать почести самой математике. Празднование этого события набрало такой оборот, что в 2009 г. День π был признан официальным праздником Палатой представителей США.

В нынешнем, 2015 г. поклонники отмечают этот праздник особенно восторженно. Сегодняшняя дата 3/14/15 по совпадению соответствует более точному написанию числа π. Этот день должен особенно запомниться. По случаю празднования весь математический корпус Дворца открытий находится в центре событий. Я здесь по этой же причине. Как и другие математики, предвкушаю богатый на открытия день.

Число π появилось благодаря геометрии, а затем распространилось и на другие направления математики. Это многоликое число. В арифметике, алгебре, математическом анализе, теории вероятности встречаемое повсеместно число π вряд ли обойдет стороной кого-то из математиков. В самом центре Дворца открытий, на ротонде, изображено множество ипостасей константы. Посетители могут попытаться сосчитать точки, размеченные на полу, пропорции чисел в таблице умножения. На земле дети надевают на диск деревянные дощечки. Другая группа занята изучением траектории преломления точки на план. И каждый раз получается одинаковый результат: 3,1415…

Чуть далее посетителям предлагается найти дату их рождения в десятичной части числа π. Молодой человек, родившийся 25 сентября 1994 г. делает попытку отыскать эту дату. Сочетание 22091994 находится на 12 785 022-м разряде после запятой. Математики полагают, что любые комбинации цифр рано или поздно встречаются в десятичной части числа π. Компьютерное моделирование в какой-то мере подтверждает это: до сих пор все искомые последовательности в итоге были найдены. Тем не менее неопровержимые доказательства того, что таких комбинаций нет, отсутствуют.

Ко мне подошла девочка лет двенадцати. Она взволнована необычными инструментами, которые нас окружают, и бросает на меня взгляд.

– Ты знаешь, что такое число π? Ты уже слышала о нем?

– О да! – восклицает она. Это – 3,14. Ну не совсем… Примерно 3,14… Я видела его в школе. Это для того, чтобы определять длину окружности. Мы еще учили стишок.

– Стишок?

И она прочитала мне стихотворение для запоминания:

 
Чтобы нам не ошибаться,
Надо правильно прочесть:
Три, четырнадцать, пятнадцать,
Девяносто два и шесть.
Ну и дальше надо знать,
Если мы вас спросим, —
Это будет пять, три, пять,
Восемь, девять, восемь.
 

Я невольно улыбнулся и вспомнил, как мы в школе тоже запоминали знаки после запятой в числе π таким вот оригинальным способом. В разных языках есть свои аналоги такого стихотворения. Например, во французском языке есть стихотворения, количество букв в каждом из слов которого соответствует цифре в числе π. Есть даже одна из версий перевода стихотворения Эдгара По «Ворон», в котором, таким образом, зашифрованы 740 знаков после запятой![8]8
  Стихотворение «Ворон», написанное Эдгаром По в 1845 году, было переписано в 1995 году Майклом Китом под названием «По мотивам “Ворона”» (Near Raven), каждое слово которого соответствовало последовательно цифрам в математической константе.


[Закрыть]

– Браво! – восклицаю я. Мне кажется, что я не смог бы запомнить эту считалочку. А скажи-ка, девочка, тебе известно, кто такой Архимед?

Я вижу, что поставил ее в тупик своим вопросом. Девочка пожала плечами. Начнем путешествие в прошлое. Перенесемся на Сицилию на 2300 лет назад, в античный город Сиракузы. Именно здесь жил Архимед.

Цикады поют под палящим солнцем. Улицы наполнены ароматами со всего Средиземноморья. На рынке торгуют оливками, виноградом и рыбой. К северу от города на горизонте возвышается силуэт горы Этны. На западе плодородные равнины обеспечивают процветание колонии, в то время как на востоке порт открывает выход к морю. Сиракузы приобрели известность и влияние благодаря своему центральному положению на перекрестке морских путей. Основанные за пять веков до этого греческими завоевателями из Коринфа, Сиракузы являются одним из самых процветающих городов во всем Средиземноморье.

Именно здесь в 287 г. до н. э. родился поистине гениальный человек, считающийся основоположником нового направления в математике. Архимед известен как великий изобретатель, находивший новые и революционные решения математических задач. Современники обязаны ему открытием принципа рычага и винта. Именно он, по легенде, выкрикнул: «Эврика!» – когда принимал ванну и открыл новый физический принцип, который теперь носит его имя: на погруженное в жидкость тело действует выталкивающая сила, равная весу жидкости в объеме тела. Таким образом, предметы, масса которых меньше воды, всплывают, в то время как более тяжелые тонут. Также Архимед прославился тем, что, когда Сиракузы были осаждены римским флотом, применил систему зеркал, чтобы сконцентрировать солнечные лучи и сжечь приближающиеся вражеские корабли.

Архимед был первым из математиков, кто начал использовать в своих рассуждениях число π. Окружности изучались и до него, но без такой систематичности. Вспомните «Математику в девяти книгах» – в этой работе рассматривались поля, диаметр которых равнялся 10 бю, а длина окружности определялась как 30 бю. Исходя из этого, величина π равна примерно 3. В папирусе Ахмеса квадратура круга была определена в размере 3,16, что также приблизительно равняется величине π.

Архимед понимал, что это крайне сложно, а может, и невозможно – рассчитать точную величину π. Значит, он также будет довольствоваться приближенным значением этой константы, но его подход будет отличаться в двух моментах. Во-первых, в то время как его предшественники пытались найти точное значение, сицилийский ученый прекрасно понимал, что π имеет только приблизительное. И, во-вторых, он будет разрабатывать метод, позволяющий находить все более и более точное значение π.

Путем вычислений Архимед рассчитал, что приблизительное значение π находится между 3,1408 и 3,1428. Таким образом, Архимед определил значение числа π с точностью до 0,03 %.

Метод Архимеда

Чтобы рассчитать размер π, Архимед использовал наиболее приближенные по форме правильные многоугольники. Возьмем, например, окружность диаметром в 1 единицу, периметр которой равен π единиц, а затем впишем ее в квадрат.

Сторона такого квадрата равна 1 (как и диаметр круга), таким образом, его периметр равен 4. Так как периметр окружности очевидно меньше периметра квадрата, можно наверняка утверждать, что π меньше 4.

Впишем в окружность правильный шестиугольник так, как это показано ниже.

Правильный шестиугольник состоит из шести равных правильных треугольников со стороной 0,5 единицы (половина диаметра окружности). Периметр шестиугольника будет равен 6 × 0,5 = 3. Таким образом, делаем вывод, что π больше 3!

Теперь, зная, что 3 < π < 4, остается только увеличивать количество сторон. Если увеличить количество сторон шестиугольника в два раза, получится фигура с 12 сторонами, периметр которой будет ближе к периметру окружности. Следуя нескольким несложным логическим рассуждениям (основанным на теореме Пифагора), мы приходим к выводу, что периметр двенадцатиугольника равен приблизительно 3,11.

Чтобы получить результат с точностью до 0,001, Архимед повторил эту операцию еще три раза. Увеличив количество сторон сначала до 24, затем до 48, а далее до 96!

Вы не видите здесь многоугольника? Это нормально, поскольку он практически сливается с окружностью. Так, Архимед рассчитал, что π больше, чем 3,1408. И, повторив аналогичный процесс с описанными многоугольниками, он вычислил, что π меньше чем 3,1428.

Сильная сторона рассуждений Архимеда заключается не только в найденном результате, но и в потенциале для его дальнейшего уточнения. Теоретически, если задаться такой целью, можно бесконечно увеличивать количество сторон многоугольников для дальнейшего уточнения значения числа π.

В 212 г. до н. э. римские войска в конце концов прорвались в Сиракузы. Военачальник Марк Клавдий Марцелл, руководивший осадой города, приказал пощадить Архимеда, которому к тому моменту было уже 75 лет. После того как город был взят, древнегреческий ученый продолжал заниматься своими исследованиями. Когда древнеримский легионер приказал ему остановиться, Архимед не послушался и пытался спасти свои чертежи, сделанные на земле – он бросился на солдата со словами: «Не трогай мои окружности!» Воин растерялся и пронзил математика своим мечом.

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

Развитие математики приостановилось вплоть до конца эпохи Античности. Римская империя распространилась к этому моменту на все побережье Средиземного моря, и древнегреческая идентичность растворилась в этой новой культуре. Дух математиков Древней Греции, возможно, сохранился еще на несколько веков только в одном городе: Александрии.

Александр Македонский захватил Египет в конце 332 г. до н. э. Пройдет всего несколько месяцев, прежде чем он провозгласит себя фараоном в Мемфисе и решит заложить фундамент нового города на побережье Средиземного моря. Александру, однако, не суждено будет увидеть город, названный в его честь. Когда он умрет через восемь лет в Вавилоне, его царство разделят генералы, и Египет перейдет к Птолемею I, который сделает Александрию столицей. Во время его правления Александрия станет одним из самых процветающих городов Средиземноморья.