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

«Начала» состоят из 13 книг. В них охвачены вопросы планиметрии и стереометрии, теория чисел и теория непропорциональности. Книга начинается со списка, состоящего из 23 определений, например «точка — это то, что не делится на части», «линия — это длина без ширины». Затем следует пять аксиом и пять «общих понятий». У печально известного пятого постулата своя история. Фактически, каждый раздел книги открывается дальнейшими определениями, необходимыми для новых тем, которые рассматриваются в той или иной главе. Для Евклида определения были более очевидны, чем постулаты, хотя мы рассматриваем их одинаково — как аксиомы. Постулаты обычно описывают некое действие, например «от всякой точки ко всякой точке можно провести прямую», тогда как четвертое определение утверждает: «прямая линия есть та, которая ровно лежит на всех своих точках». В целом геометрия здесь сводится до методов построений с применением линейки и циркуля. Эти два простых инструмента послужили логическими генераторами целой системы. Круг и прямая считались самыми совершенными фигурами. Греки использовали и другие, так называемые «механические» методы построений, но в «Началах» они не описываются.

В книгах с первой по четвертую речь идет о построении плоскостных геометрических фигур, включая четырехугольники, треугольники, круги и многоугольники, созданные при помощи кругов. Утверждалось, что в некоторых книгах, особенно во второй, содержится намек на своего рода алгебраическую геометрию, где геометрические построения служат той же цели, что и алгебраические манипуляции. Независимо от того, верно это или нет, кажется, по крайней мере в ранних теоремах Евклид интересуется исключительно геометрическими понятиями. Термин «величина» используется для обозначения любого геометрического объекта — отрезка или фигуры, а теоремы связаны с построениями и выяснением отношений между этими величинами. В этом труде нет отсылок к числовым понятиям вроде длины; таким образом, например, квадрат рассматривается как геометрическое пострπоение, проистекающее из отрезка. Евклид нигде не заявляет, что площадь такого квадрата есть произведение его сторон, — это определение возникнет намного позже. Таким образом, величины — самое элементарное понятие в «Началах», фундамент, на котором построена остальная часть работы. В этом контексте интересно заметить, что доказательство теоремы Пифагора выполняется путем построений, в то время как обращение к фактическим площадям, возможно, привело бы к совершенно иной форме доказательства.

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