История математики. От счетных палочек до бессчетных вселенных

В пятой книге изложена общая теория пропорций, в том виде, в каком ее первоначально изложил Евдокс. Член Академии Платона, Евдокс Книдский (ок. 408 — ок. 355 до н. э.) был одним из известнейших математиков своего времени. Ему приписывают два фундаментальных открытия: теорию отношений и метод исчерпывания. Выход из очевидного кризиса несоизмеримостей был найден в значительной степени благодаря возможности манипулировать их произведениями и отношениями посредством отношений Евдокса. Евклид фактически цитирует множество различных правил для составления отношений и условий их использования. Предпочтение отношений по сравнению с дробями давало некоторые преимущества. Теперь можно было сформулировать правило вроде: «отношение площадей кругов пропорционально отношению квадратов их диаметров» и использовать его для доказательства самых разных теорем, не применяя иррациональное число .Кроме того, отношение величин одного и того же типа не имеет размерности и может быть сопоставлено с другими отношениями, как показано в примере, приведенном выше. Таким образом, отношение стало основополагающей связью между величинами, и теория Евдокса позволила сравнивать различные отношения. В шестой книге «Начал» описаны правила работы с подобными фигурами. Там содержится обобщение теоремы Пифагора, не ограниченной квадратами сторон треугольника. Теорема была расширена таким образом, что ее можно было использовать для любой построенной фигуры. Таким образом, если мы строим полукруги, диаметры которых равны катетам треугольника, тогда сумма площадей двух меньших полукругов равна площади большего.

Теория чисел рассматривается в седьмой, восьмой и девятой книгах. У Евклида словом «числа» обозначались только целые величины. Определения в седьмой книге показывают, что работа с числами воспринималась в основном в геометрическом контексте. Евклид говорит, что «кратное число — большее от меньшего, если оно измеряется меньшим», а произведение двух чисел — площадь прямоугольника. Есть также знаменитое правило, известное как «Евклидов алгоритм», позволяющее найти наибольший общий множитель двух величин, или, по словам Евклида, «наибольшую общую меру между двумя величинами». В девятой книге мы находим известное доказательство, которое, говоря современным языком, утверждает существование бесконечного числа простых чисел. Евклид отчетливо избегает упоминания бесконечности. Он заявляет, что «простых чисел больше любого наперед заданного количества» (иными словами, мы можем выбрать любое число, и простых чисел будет все равно больше, чем это число), и переходит к доказательству этого тезиса, взяв три конкретных простых числа, лишь подразумевая, что решение будет таким же для «любого наперед заданного количества». В этой книге также приведено правило построения совершенных чисел. Совершенное число — это число, сумма множителей которого равна самому этому числу. Первое совершенное число — 6, второе — 28 (его множители — 1, 2, 4, 7 и 14, сумма которых равна 28).

Десятая книга содержит подробный анализ различных иррациональных длин, и именно здесь мы находим идею несоизмеримости между основными величинами, сводящуюся к понятию иррациональности между длинами (и площадями). Если некий отрезок определен как рациональный, тогда любой другой отрезок, несоизмеримый с ним, считается иррациональным. Приводятся длинные доказательства для всех типов иррациональности, от простых квадратных корней до кратных корней вроде ( a + b). Дискуссия о способах выражения иррациональных чисел в цифровой форме проливает свет на некоторые интересные проблемы. Числовая нотация (представление) иррационального числа, основанная на алгоритме Евклида, действительно существовала, но, хотя она была полезной для представления одного иррационального числа, простой процедуры для отображения в этой нотации сумм или произведений иррациональных чисел так и не нашлось. Любопытна Лемма 1 (лемма — это вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем), изложенная в этой книге: она демонстрирует два квадрата чисел, сумма которых тоже представляет собой квадрат числа, — в сущности, это теорема Пифагора в числовом виде, однако никакой ссылки на доказательство теоремы, приводимое в конце первой книги, здесь нет. Именно в десятой книге содержится дерзкое предположение, что подобные численно-геометрические процедуры — лишь первый шаг к более сложным задачам, в частности к задачам вычисления площадей, проблеме квадратуры. Также следует отметить, что все иррациональные числа, о которых говорится в книге, могут быть построены с помощью линейки и циркуля, — а вот, например, кубических корней там нет. В последних разделах «Начал» громоздкая классификация иррациональных чисел становится более понятной — там они вновь появляются в связи с описанием тел правильной формы.