Одной из проблем, за которую, как мы видели, активно взялись более поздние пифагорейцы, было построение иррациональных чисел как ограничивающих значений последовательностей бесконечных делений. И тем не менее полностью арифметическая теория этой проблемы так и не была сформулирована. В результате этого объяснение пропорций не могло быть разработано в арифметических терминах, поскольку оставалось невозможным дать иррациональному, или неизмеряемому, числу числовое название. С длинами дело обстоит иначе. Действительно, трудность впервые была обнаружена при попытке вычислить гипотенузу равнобедренного прямоугольного треугольника с длиной стороны в одну единицу. Следовательно, полностью сформировавшаяся теория пропорций появилась в геометрии. Ее открытие принадлежит, кажется, Евдоху, современнику Платона. В форме, в которой эта теория дошла до нас, она изложена у Евклида, где весь вопрос освещен с замечательной ясностью и строгостью. Окончательный возврат к арифметике произошел с открытием примерно две тысячи лет спустя аналитической геометрии. Когда Декарт предположил, что геометрия может быть представлена средствами алгебры, он стремился фактически к научному идеалу Сократовой диалектики. Опровергая определение теории в геометрии, он нашел более общие принципы, на которых она должна быть основана. Точно такую же цель преследовали - насколько успешно, мы никогда не узнаем - математики Академии.
"Начала" Евклида - это чистая математика в современном смысле. Сообразовываясь в этом с традициями Академии, математики Александрии продолжали заниматься своими исследованиями, потому что их интересовали эти проблемы. Нигде это не видно более ясно, чем у Евклида. Здесь нет ни малейшего намека на предположение, что геометрия может быть полезной. Более того, чтобы овладеть таким предметом, требовалось длительное прилежание. Когда царь Египта попросил Евклида обучить его геометрии за несколько простых уроков, Евклид произнес свою знаменитую реплику, что царской дороги к математике не существует. И тем не менее было бы неправильно представлять себе, что математика никак не использовалась. Так же неверно думать, что математические проблемы нечасто возникают в практической жизни. Но одно дело - докапываться до происхождения некоторых конкретных теорий, и совершенно другое - оценивать их по их достоинствам. Эти два дела часто недостаточно различают. Бесполезно придираться к Евклиду за то, что он обращает мало внимания на социологию математического открытия. Его это просто не интересует. Придав определенную форму математическому знанию, однако так, чтобы оно имело возможность для роста, он продолжает работать с ним и придает ему строгий дедуктивный порядок. Научное занятие не зависит благодаря своей основательности от состояния нации или чего-либо подобного. Те же замечания применимы и к самой философии. Это, без сомнения, тот случай, когда условия времени привлекают внимание людей к определенным проблемам; теперь - более, чем когда бы то ни было, но это никак не меняет достоинств теорий, выдвинутых, чтобы решить эти проблемы.
Другим открытием, которое приписывают Евдоху, является так называемый метод разрежения. Эта процедура использовалась для вычисления площадей, ограниченных кривыми. Ее целью является разрежение пространства так, чтобы можно было заполнить его более простыми фигурами, чьи площади можно легко найти. В принципе, именно это происходит при интегральных исчислениях, для которых метод разрежения - настоящий предшественник. Самым известным математиком, применившим этот метод вычисления, был Архимед, который являлся не только великим математиком, но также и выдающимся физиком и инженером. Он жил в Сиракузах; согласно Плутарху, не однажды его техническое мастерство помогало сохранить город от завоевания вражескими армиями. В конце концов римляне завоевали всю Сицилию и вместе с ней Сиракузы. Город пал в 212 г. до нашей эры, и во время осады Архимед был убит. В легенде говорится, что римский центурион нанес ему смертельный удар, когда он был занят разрешением какой-то геометрической проблемы на горке песка в своем саду.
Архимед использовал метод разрежения, чтобы придать форму квадрата параболе и кругу. Что касается параболы, вписывание бесконечной последовательности все более маленьких треугольников приводит к точной числовой формуле. В случае с кругом ответ зависит от числа ?, соотношения длины окружности к диаметру. Поскольку это не рациональное число, метод разрежения может быть использован для получения приближения к нему. Вписывая и описывая правильные многоугольники с увеличивающимся числом сторон, мы приближаемся все более и более близко к окружности. Вписанные многоугольники всегда меньше в периметре, чем круг. Описанные окружности всегда больше, но разница становится все меньше и меньше с увеличением числа сторон.