(2) Евдокс открыл метод исчерпывания для измерения криволинейных площадей и тел, которому, с учетом дополнений, внесенных Архимедом, греческая геометрия обязана своими величайшими триумфами. Антифон Софист в связи с попытками квадратуры круга утверждал, что если мы будем вписывать в круг последовательные правильные многоугольники, постоянно удваивая число сторон, то в какой-то момент придем к многоугольнику, стороны которого совпадут с окружностью круга. Предупрежденные неопровержимыми аргументами Зенона против бесконечно малых величин, математики заменили это утверждение на то, что, продолжая построение, мы можем вписать многоугольник, приближающийся к равенству с кругом настолько, насколько нам угодно. Метод исчерпывания использовал для доказательства методом reductio ad absurdum лемму, доказанную в X.1 «Начал» Евклида (о том, что если из любой величины вычитать не менее половины, а затем из остатка — не менее половины и так далее, то в какой-то момент останется величина, меньшая любой заданной величины того же рода, как бы мала она ни была): это, в свою очередь, опирается на допущение, которое практически содержится в определении 4 книги V «Начал» Евклида, но обычно известно как аксиома Архимеда, гласящая, что если у нас есть две неравные величины, то их разность (как бы мала она ни была), если ее постоянно прибавлять к самой себе, может превысить любую величину того же рода (как бы велика она ни была).
Метод исчерпывания можно увидеть в действии в XII.1–2, 3–7 (следствие), 10, 16–18 «Начал» Евклида. В предложениях 3–7 (следствие) и предложении 10 доказывается, что объемы пирамиды и конуса составляют одну треть объема призмы и цилиндра соответственно при том же основании и равной высоте; и Архимед прямо говорит, что эти факты были впервые доказаны Евдоксом.
В астрономии Евдокс знаменит прекрасной теорией концентрических сфер, которую он изобрел для объяснения видимых движений планет и, в частности, их видимых стояний и попятных движений. Теория применялась также к Солнцу и Луне, для каждой из которых Евдокс использовал три сферы. Он представил движение каждой планеты как результат вращения четырех сфер, концентрических с Землей, вложенных одна в другую и соединенных следующим образом. Каждая из внутренних сфер вращается вокруг диаметра, концы которого (полюса) закреплены на следующей, охватывающей ее сфере. Самая внешняя сфера представляет суточное вращение, вторая — движение вдоль круга зодиака; полюса третьей сферы закреплены на последнем круге; полюса четвертой сферы (несущей планету, закрепленную на ее экваторе) закреплены на третьей сфере таким образом, а скорости и направления вращения подобраны так, что планета описывает на второй сфере кривую, называемую гиппопедой («конскими путами»), или восьмеркой, лежащую вдоль круга зодиака и делящую его пополам в продольном направлении. Вся эта система — чудо геометрической изобретательности.
Гераклид Понтийский (ок. 388–315 гг. до н. э.), ученик Платона, сделал большой шаг вперед в астрономии, заявив, что Земля вращается вокруг своей оси один раз в 24 часа, и открыв, что Меркурий и Венера вращаются вокруг Солнца подобно спутникам.
Менехм, ученик Евдокса, был первооткрывателем конических сечений, два из которых — параболу и гиперболу — он использовал для решения задачи о двух средних пропорциональных. Если a:x = x:y = y:b, то x² = ay, y² = bx и xy = ab. Эти уравнения в декартовых координатах при прямоугольных осях представляют конические сечения, пересечением которых попарно Менехм решил эту задачу; в случае прямоугольной гиперболы он использовал свойство асимптот.
Перейдем к эпохе Евклида. Немного старше Евклида был Автолик из Питаны, написавший две книги: «О движущейся сфере» — труд по сферике для использования в астрономии, и «О восходах и заходах». Первая работа является древнейшим греческим учебником, дошедшим до нас в целости. Она существовала до того, как Евклид написал свои «Явления», и между этими двумя книгами много точек соприкосновения.
Евклид процветал около 300 г. до н. э. или немного ранее. Его великий труд, «Начала» в тринадцати книгах, слишком хорошо известен, чтобы нуждаться в описании. Вероятно, ни одна книга, кроме Библии, не имела такого господства; и будущие поколения будут возвращаться к ней снова и снова, устав от разнообразных суррогатов и путаницы, возникающей из-за их ошеломляющего множества. После того, что было сказано выше о росте «Начал», мы можем оценить замечание Прокла о Евклиде, «который составил «Начала», собрав многие теоремы Евдокса, усовершенствовав многие теоремы Теэтета, а также доведя до неопровержимого доказательства то, что было лишь довольно слабо доказано его предшественниками». Хотя значительная часть материала была исследована этими предшественниками, все указывает на то, что вся структура была собственной заслугой Евклида; несомненно, он внес большие изменения в порядок предложений и в доказательства, и его нововведения начинались с самого начала книги I.
Евклид написал и другие книги как по элементарной, так и по высшей геометрии, а также по другим математическим дисциплинам, известным в его время. К элементарным геометрическим работам относятся «Данные» и «О делении (фигур)», первая из которых сохранилась на греческом, а вторая — только на арабском; также «Псевдарии», ныне утраченные, которые были своего рода руководством по логическим ошибкам в геометрических рассуждениях. Трактаты по высшей геометрии все утрачены; они включают: (1) «Конические сечения» в четырех книгах, которые охватывали почти тот же материал, что и первые три книги «Конических сечений» Аполлония, хотя, несомненно, для Евклида конические сечения все еще оставались, как и у его предшественников, сечениями прямоугольного, тупоугольного и остроугольного конуса соответственно, сделанными плоскостью, перпендикулярной образующей в каждом случае; (2) «Поризмы» в трех книгах, важность и сложность которых можно оценить по описанию Паппа и леммам, которые он приводит для использования с ними; (3) «Поверхностные места», к которым Папп также дает леммы; одна из них подразумевает, что Евклид принимал как известное свойство фокуса и директрисы трех конических сечений, которое отсутствует в «Конических сечениях» Аполлония.
В прикладной математике Евклид написал (1) «Явления» — труд по сферической астрономии, в котором ὁ ὁριζων (без κυκλος или каких-либо уточняющих слов) впервые появляется в значении «горизонт»; (2) «Оптику» — своего рода элементарный трактат по перспективе: эти два трактата сохранились на греческом языке; (3) труд по основам музыки. «Деление канона», дошедшее до нас под именем Евклида, однако, вряд ли может принадлежать ему в нынешнем виде.
В период между Евклидом и Архимедом жил Аристарх Самосский (ок. 310–230 гг. до н. э.), знаменитый тем, что предвосхитил Коперника. Приняв взгляд Гераклида о том, что Земля вращается вокруг своей оси, Аристарх пошел дальше и выдвинул гипотезу, что само Солнце находится в покое, а Земля, как и Меркурий, Венера и другие планеты, вращаются по кругам вокруг Солнца. Мы знаем об этом из неоспоримого авторитета Архимеда, который жил всего на двадцать пять лет позже и, должно быть, видел книгу, содержащую эту гипотезу. Нам также говорят, что стоик Клеанф считал, что Аристарха следует привлечь к суду по обвинению в нечестии за то, что он привел в движение Очаг Вселенной.
Одна работа Аристарха, «О размерах и расстояниях Солнца и Луны», сохранившаяся на греческом языке, весьма интересна сама по себе, хотя в ней нет ни слова о гелиоцентрической гипотезе. Будучи полностью классической по форме и стилю, она устанавливает определенные гипотезы, а затем выводит из них с помощью строгой геометрии размеры и расстояния Солнца и Луны. Если бы гипотезы были точными, результаты были бы также верными; но Аристарх фактически принял некоторый угол за 87°, который на самом деле равен 89° 50', а угол, под которым виден диаметр Солнца или Луны из центра Земли, — за 2°, тогда как из трудов Архимеда мы знаем, что Аристарх сам обнаружил, что последний угол составляет всего ½°. Результатом геометрии Аристарха является нахождение арифметических пределов для значений того, что на самом деле является тригонометрическими отношениями определенных малых углов, а именно
1/18 > sin 3° > 1/20, 1/45 > sin 1° > 1/60, 1 > cos 1° > 89/90.
Основные полученные результаты: (1) диаметр Солнца составляет от 18 до 20 диаметров Луны, (2) диаметр Луны составляет от 2/45 до 1/30 расстояния от центра Луны до нашего глаза, и (3) диаметр Солнца составляет от 19/3 до 43/6 диаметра Земли. Книга содержит немало арифметических вычислений.
Архимед родился около 287 г. до н. э. и был убит при разграблении Сиракуз армией Марцелла в 212 г. до н. э. Истории о нем хорошо известны: как он сказал: «Дайте мне точку опоры, и я сдвину Землю» (πα βω και κινω ταν γαν); как, придумав решение задачи о короне в бане, он выбежал нагишом на улицу с криком «Эврика, эврика!»; и как, когда взятие Сиракуз застало его погруженным в изучение фигуры, начерченной на земле, он сказал римскому солдату, который подошел к нему: «Отойди, приятель, от моего чертежа». Из его работ немногие знают что-либо, кроме того, что он изобрел трубчатый винт, который до сих пор используется для перекачки воды, и что долгое время он отражал атаки римлян на Сиракузы с помощью механических устройств и машин, которые он использовал против них. Но сам он невысоко ценил эти вещи, и его подлинный интерес лежал в области чистых математических умозрений; он велел выгравировать на своей гробнице изображение цилиндра, описанного около сферы, с отношением 3/2, которое цилиндр имеет к сфере: из чего мы заключаем, что он считал это своим величайшим открытием.
Все работы Архимеда оригинальны и являются совершенными образцами математического изложения; их широкий диапазон виден из списка сохранившихся трудов: «О шаре и цилиндре» I, II, «Измерение круга», «О коноидах и сфероидах», «О спиралях», «О равновесии плоских фигур» I, II, «Псаммит» (Исчисление песчинок), «Квадратура параболы», «О плавающих телах» I, II и, наконец, «Метод» (открытый только в 1906 году). Трудная задача о быках также приписывается ему, как и «Книга лемм», дошедшая до нас через арабский язык, но она не может принадлежать ему в нынешнем виде, хотя некоторые из предложений в ней (особенно о «салиноне» — солонке, и другие о кругах, вписанных в арбелос — «сапожный нож») вполне могут иметь архимедово происхождение. Среди утраченных работ были «Катоптрика», «О построении сфер» и исследования многогранников, включая тринадцать полуправильных тел, открытие которых Папп приписывает Архимеду.
В целом геометрические работы направлены на измерение криволинейных площадей и объемов; Архимед использует метод, который является развитием метода исчерпывания Евдокса. Евдокс, по-видимому, подходил к измеряемой фигуре только снизу, т. е. с помощью последовательно вписанных в нее фигур. Архимед подходит к ней с обеих сторон, последовательно вписывая фигуры и описывая другие, тем самым как бы сжимая их, пока они не совпадут настолько, насколько нам угодно, с измеряемой фигурой. Во многих случаях его процедура, если записать ее аналитические эквиваленты, сводится к реальному интегрированию; так обстоит дело с его исследованием площадей параболического сегмента и спирали, поверхности и объема шара, а также объема любых сегментов коноидов и сфероидов.
Недавно открытый «Метод» особенно интересен тем, что показывает, как Архимед первоначально получал свои результаты; это делалось с помощью остроумного механического способа (теоретического) взвешивания бесконечно малых элементов измеряемой фигуры против элементов другой фигуры, площадь или объем которой (в зависимости от случая) известны; это равносильно избеганию интегрирования. Архимед, однако, признавал лишь то, что механический метод полезен для поиска результатов; он не считал их доказанными, пока они не были установлены геометрически.
В «Измерении круга», доказав методом исчерпывания, что площадь круга равна площади прямоугольного треугольника, катеты которого равны соответственно радиусу и окружности круга, Архимед путем чистого вычисления находит верхнюю и нижнюю границы отношения окружности круга к его диаметру (то, что мы называем π). Он делает это, вписывая и описывая правильные многоугольники с 96 сторонами и вычисляя приблизительно их соответствующие периметры. Он начинает с принятия в качестве известных определенных приближенных значений для √3, а именно 1351/780 > √3 > 265/153, и его вычисления включают приближенное извлечение квадратных корней из нескольких больших чисел (до семи знаков). Текст дает только результаты, но очевидно, что извлечение квадратных корней не представляло трудности, несмотря на сравнительное неудобство алфавитной системы счисления. Полученный результат хорошо известен, а именно 3-1/7 > π > 3-10/71.
«О равновесии плоских фигур» — это первый научный трактат по основам механики, которые установлены чистой геометрией. Самый важный результат, установленный в книге I, — это принцип рычага. Он был известен Платону и Аристотелю, но у них не было настоящего доказательства. Аристотелевская «Механика» лишь «отсылает» рычаг «к кругу», утверждая, что сила, действующая на большем расстоянии от точки опоры, перемещает систему легче, потому что она описывает больший круг. Архимед также находит центр тяжести параллелограмма, треугольника, трапеции и, наконец (в книге II), параболического сегмента и его части, отсеченной прямой, параллельной основанию.
«Псаммит» примечателен развитием в нем системы выражения очень больших чисел с помощью «порядков» и «периодов», основанных на степенях мириад-мириад (10 000²). Он также содержит важную ссылку на гелиоцентрическую теорию Вселенной, выдвинутую Аристархом Самосским в книге «гипотез», а также исторические подробности предыдущих попыток измерить размер Земли и определить размеры и расстояния Солнца и Луны.
Наконец, Архимед изобрел всю науку гидростатику. Начав трактат «О плавающих телах» с допущения о равномерном давлении в жидкости, он сначала доказывает, что поверхность покоящейся жидкости является сферой с центром в центре Земли. Другие предложения показывают, что если твердое тело плавает в жидкости, то вес тела равен весу вытесненной жидкости, и если тело, более тяжелое, чем жидкость, взвешивается в ней, оно будет легче своего истинного веса на вес вытесненной жидкости. Затем, после второго допущения, что тела, которые выталкиваются вверх в жидкости, выталкиваются вдоль перпендикуляров к поверхности, проходящих через их центры тяжести, Архимед рассматривает положение покоя и устойчивости сегмента шара, плавающего в жидкости, основанием полностью над или полностью под поверхностью. Книга II — это необычайный tour de force, полностью исследующий все положения покоя и устойчивости прямого сегмента параболоида, плавающего в жидкости, в зависимости (1) от отношения между осью тела и параметром образующей параболы, и (2) от удельного веса тела по отношению к жидкости; термин «удельный вес» не используется, но идея полностью выражена другими словами.
Почти современником Архимеда был Эратосфен Киренский, которому Архимед посвятил «Метод»; предисловие к этой работе показывает, что Архимед высоко ценил его математические способности. Современники действительно признавали его человеком выдающихся способностей во всех областях, хотя прозвища «Бета» и «Пентатл» указывали на то, что он лишь немного не дотягивал до первого ранга в каждой дисциплине. Птолемей Эвергет назначил его наставником своего сына (Филопатора), и он стал библиотекарем в Александрии; он выразил свою признательность Птолемею, воздвигнув колонну с изящной эпиграммой. В этой эпиграмме он сослался на более ранние решения задачи об удвоении куба или нахождении двух средних пропорциональных и отстаивал свое собственное решение, поскольку оно давало любое количество средних; на колонне было закреплено бронзовое изображение его прибора — рамы с прямоугольными треугольниками (или прямоугольниками), подвижными вдоль двух параллельных пазов и друг над другом, вместе с кратким доказательством. «Платоник» Эратосфена, очевидно, рассматривал фундаментальные понятия математики в связи с философией Платона и, по-видимому, начинался с истории происхождения задачи об удвоении.
Самым известным достижением Эратосфена было измерение Земли. Архимед цитирует более раннее измерение, согласно которому окружность Земли составляла 300 000 стадиев. Эратосфен улучшил этот результат. Он заметил, что в летнее солнцестояние в Сиене в полдень Солнце не отбрасывало тени, в то время как в тот же момент вертикальный гномон в Александрии отбрасывал тень, соответствующую углу между гномоном и солнечными лучами в 1/50 четырех прямых углов. Поскольку расстояние между Сиеной и Александрией было известно и составляло 5000 стадиев, это дало для окружности Земли 250 000 стадиев, что Эратосфен, по-видимому, позже по какой-то причине изменил на 252 000 стадиев. При наиболее вероятном допущении о длине использованного стадия 252 000 стадиев дают около 7850 миль, что всего на 50 миль меньше истинного полярного диаметра.
В работе «Об измерении Земли» Эратосфен, как говорят, обсуждал другие астрономические вопросы: расстояние до тропиков и полярных кругов, размеры и расстояния Солнца и Луны, полные и частные затмения и т. д. Помимо других работ по астрономии и хронологии, Эратосфен написал «Географию» в трех книгах, в которой он сначала дал историю географии до своего времени, а затем перешел к математической географии, сферической форме Земли и т. д.
Аполлония Пергского современники справедливо называли «Великим геометром» на основании его великого трактата «Конические сечения». Он упоминается как знаменитый астроном времен правления Птолемея Эвергета (247–222 гг. до н. э.); и он посвятил четвертую и последующие книги «Конических сечений» царю Атталу I Пергамскому (241–197 гг. до н. э.).
«Конические сечения», колоссальный труд, первоначально состоявший из восьми книг, сохранился в виде первых четырех книг на греческом языке и еще трех на арабском, восьмая книга утрачена. Из предисловий Аполлония мы можем судить о соотношении его работы с «Коническими сечениями» Евклида, содержание которых соответствовало первым трем книгам Аполлония. Хотя Евклид знал, что эллипс может быть получен иначе, например, как косое сечение прямого цилиндра, нет сомнений, что он получал все три конических сечения из прямых конусов, как и его предшественники. Аполлоний, однако, получает их наиболее общим способом, разрезая любой косой конус, и его исходные оси координат — диаметр и касательная в его конце — в общем случае являются косыми; фундаментальные свойства находятся по отношению к этим осям путем «приложения площадей», три разновидности которого — приложение (παραβολη), приложение с избытком (ὑπερβολη) и приложение с недостатком (ελλειψις) — дают свойства трех кривых соответственно и объясняют названия «парабола», «гипербола» и «эллипс», которыми Аполлоний назвал их впервые. Главные оси появляются лишь как частный случай после того, как было показано, что кривые обладают подобным свойством при отнесении к любому другому диаметру и касательной в его конце, вместо тех, что возникают из первоначального построения. Первые четыре книги составляют то, что Аполлоний называет элементарным введением; остальные книги — это специализированные исследования, наиболее важными из которых являются книга V (о нормалях) и книга VII (в основном о сопряженных диаметрах). Нормали рассматриваются не в связи с касательными, а как минимальные или максимальные прямые линии, проведенные к кривым из разных точек или классов точек. Аполлоний обсуждает такие вопросы, как количество нормалей, которые можно провести из одной точки (в зависимости от ее положения), и построение всех таких нормалей. Определенные предложения большой сложности позволяют нам довольно легко вывести декартовы уравнения эволют трех конических сечений.