Чем больше сторон имеет многоугольник, тем больше он приближается к кругу. Можно доказать, что если многоугольник обладает достаточно большим количеством сторон, то разность между его площадью и площадью круга будет меньше любой наперед заданной величины, как бы мала она ни была. Для этой цели используется аксиома Архимеда. Она гласит (если ее несколько упростить), что если большую из двух величин разделить пополам, а затем половину снова разделить пополам и так далее, то после конечного числа шагов будет достигнута величина, которая окажется меньше, чем меньшая из двух первоначальных величин. Другими словами, если а больше, чем b, то имеется такое целое число n, что 2n * b будет больше, чем а.

Метод исчерпывания ведет иногда к точному результату, например при решении задачи о квадратуре параболы, которая была решена Архимедом; иногда же, как при попытке вычислить квадратуру круга, он может вести лишь к последовательным приближениям. Проблема квадратуры круга – это проблема определения отношения длины окружности к диаметру круга, называемого "р". Архимед в своих вычислениях использовал приближение 22/7; путем вписывания и списывания правильного многоугольника с 96 сторонами он доказал, что "р" меньше, чем 3 1/7, и больше, чем 3 10/71. Этим методом можно добиться любой требуемой степени приближения, и это все, что какой бы то ни было метод может сделать для решения данной проблемы. Использование вписанных и описанных многоугольников для приближения к "р" восходит еще к Антифону, современнику Сократа.

Евклид, труды которого в дни моей молодости все еще оставались единственным признанным учебником геометрии для школьников, жил в Александрии около 300 года до н.э., спустя некоторое время после смерти Александра Македонского и Аристотеля. Большая часть его "Начал" не являлась оригинальным произведением, но порядок в последовательности теорем и логическая структура были в основном его собственными. Чем больше изучаешь геометрию, тем восхитительнее они кажутся. Интерпретация параллельных посредством знаменитого постулата о параллельных имеет двойное достоинство: дедукция здесь строга и в то же время не скрыта сомнительность исходного предположения. Теория пропорции (тройное правило), которой следует Евдокс, обходит все трудности, связанные с иррациональными числами, при помощи методов, по существу схожих с теми, которые были введены в математический анализ Вейерштрассом в XIX столетии. Затем Евклид переходит к своего рода геометрической алгебре и трактует в книге Х иррациональные числа. После этого он переходит к рассмотрению пространственной геометрии, заканчивая построением правильных многогранников, которое было усовершенствовано Теэтетом и принято в "Тимее" Платона.

"Начала" Евклида являются, безусловно, одной из величайших книг, которые были когда-либо написаны, и одним из самых совершенных памятников древнегреческого интеллекта. Конечно, книга эта носит и черты типически греческой ограниченности: метод в ней чисто дедуктивный и не содержит в себе способа проверки исходных предположений. Эти предположения считались неоспоримыми, но в XIX веке неевклидова геометрия показала, что отчасти они могли быть ошибочными и что только наблюдение способно решить, являются ли они таковыми.

Евклид презирал практическую полезность, которую внедрял Платон. Говорят, что один ученик, прослушав доказательства, спросил, что выиграет он изучением геометрии; тогда Евклид позвал раба и сказал: "Дай молодому человеку грош, поскольку он непременно должен извлекать выгоду из того, что изучает". Однако презрение к практике было прагматически оправдано. Никто не предполагал во времена греков, что изучение конических сечений принесет какую-либо пользу: но, наконец, в XVII веке Галилей открыл, что снаряды двигаются по параболе, а Кеплер – что планеты двигаются по эллипсам. Неожиданно та работа, которую греки проделали из чистой любви к теории, стала ключом к ведению войны и к развитию астрономии.

Римляне были слишком практическими людьми, чтобы должным образом оценить Евклида; первым из них, кто упомянул о нем, был Цицерон, во времена которого, возможно, не было латинского перевода сочинений Евклида; и в самом деле, нет письменного свидетельства существования латинского перевода до Боэция (480 год н.э.). Арабы оценивали его лучше: экземпляр сочинений Евклида был подарен калифу византийским императором около 760 года н.э., а при Гарун-аль-Рашиде, около 800 года н.э., был сделан перевод на арабский язык. Первый сохранившийся до нашего времени латинский перевод с арабского был сделан Аделяром из Бата в 1120 году н.э. С этого времени изучение геометрии постепенно возрождалось на Западе; но лишь в эпоху позднего Возрождения были достигнуты важные успехи в этом деле.

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