Расстояние — фундаментальная концепция, без которой немыслимо современное прочтение евклидовой геометрии. Расстояние между двумя точками измеряется по прямой, их соединяющей. Евклид, разрабатывая свою геометрию, обходился без явно выраженной концепции расстояния, но он и без этого мог определить, когда два отрезка прямой имеют одинаковую длину. Это очень просто: достаточно поставить ножки циркуля на концы одного отрезка, перенести инструмент ко второму отрезку и посмотреть, встанут ли ножки на его концы. Если встанут, то длины этих отрезков одинаковы; если нет — нет. Эта процедура вовсе не требует измерения реальных длин.

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

Основное содержание «Начал» — теоремы, строительный материал геометрии. Кроме того, Евклид объясняет, как решать геометрические задачи при помощи «построений», сделанных с применением линейки и циркуля. Как, имея две точки, соединенные отрезком прямой, получить среднюю точку отрезка? Как разделить отрезок на три равные части? Как, имея угол, построить другой угол, равный в точности половине первого? Но некоторые простые построения неожиданно оказались неуловимыми. К примеру, трисекция угла: постройте угол, который ровно втрое меньше заданного. С отрезками такое проходит, но для углов никому так и не удалось отыскать соответствующий метод. С любой степенью приблизительности — да, пожалуйста. Построить точно при помощи циркуля и линейки — нет, увольте. Однако в реальной жизни никому обычно не надо делить угол ровно натрое, так что этот конкретный вопрос не вызвал особых проблем.

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

Греки не смогли решить задачу квадратуры круга при помощи линейки и циркуля, им пришлось удовлетвориться другими методами. Один из них воспользовался для этого кривой, получившей название квадратрисы. Судя по всему, позднейшие комментаторы сильно преувеличили значение, которое греческие геометры придавали тому, что всякое построение должно делаться только при помощи линейки и циркуля. По сути, мы даже не можем сказать наверняка, действительно ли греки считали квадратуру круга такой важной задачей. К XIX в., однако, эта проблема приобрела поистине вселенские масштабы. Математика, не способная ответить на такой простой и понятный вопрос, — все равно что повар, не способный сварить яйцо вкрутую.

Формулировка задачи — квадратура круга — звучит очень по-геометрически. Так и есть, это действительно геометрическая задача. А вот решение ее, как оказалось, лежит в области вовсе не геометрии, а алгебры.