1. Если даны две точки, есть одна и только одна прямая, проходящая через эти точки.
А дальше включим новый постулат, переворачивающий роли прямых и точек:
1'. Если даны две прямые, есть одна и только одна точка, принадлежащая данным двум прямым
[192].
Должным образом выбранные «точки» и «прямые» могут удовлетворить тому и другому условию. Пусть у нас есть семь точек. Назовем их незамысловатым образом: 1, 2, 3, 4, 5, 6 и 7. Кроме того, у нас есть семь прямых: {1, 2, 3}, {1, 5, 6}, {1, 4, 7}, {2, 5, 7}, {2, 4, 6}, {3, 4, 5} и {3, 6, 7}.
Эти «прямые» не имеют ничего общего с «прямыми» Евклида
[193]. Каждая состоит всего из трех точек!
Мы легко удостоверимся, что в этой системе из семи точек и семи прямых верны оба постулата.
• Проверим постулат 1. Возьмем любые две точки, скажем 2 и 5. Они принадлежат прямой {2, 5, 7}, и нет другой прямой, содержащей эти две точки. Вы можете самостоятельно рассмотреть все пары среди семи точек и увидеть, что всегда есть прямая, и только одна, содержащая обе точки.
• Проверим постулат 1'. Выберем любые две прямые, например {1, 4, 7} и {3, 4, 5}. Обе содержат точку 4, и это единственная общая для них точка. Вы можете рассмотреть все пары среди семи прямых и увидеть, что они всегда имеют общую точку, причем всего одну.
Странно рассуждать о геометрии без чертежей. К счастью, можно изобразить данную систему с помощью диаграммы. Семь точек помечены кружочками, а прямые представляют собой отрезки (в большинстве случаев) и окружность (в случае прямой {2, 4, 6}).
Хитрость заключается в том, что мы подобрали некие объекты, назвали их «точками», а затем по определенному принципу сформировали множества этих объектов и назвали их «прямыми». Если все объекты удовлетворяют нашим постулатам, мы по праву можем называть их точками и прямыми, даже если они не имеют ничего общего с точками и прямыми в понимании Евклида.
Евклидовы точки и линии можно определить следующим образом. Точка – пара действительных чисел (x, y). Прямая – множество точек (x, y), удовлетворяющих уравнению ax + bx + c = 0, где числа a и b не равны нулю. С помощью этих определений (и соответствующих определений окружности и угла) можно доказать, что постулаты Евклида выполняются.
Если мы воспринимаем точки как пары чисел, а прямые как решения уравнений, то оказываемся на декартовой плоскости, названной в честь математика и философа Рене Декарта.
Вся плоскость внутри круга
Мы стали своевольничать с употреблением слов «точка» и «прямая». Мы можем назвать что угодно «точкой» и сгруппировать эти точки в множества под названием «прямые», если все они удовлетворяют надлежащим постулатам. Что значит надлежащим? Для Евклида несомненными утверждениями были те пять постулатов, которые мы привели в начале главы.
Я сейчас расскажу о новых определениях «точек» и «прямых», необходимых для создания гиперболической геометрии. В этой геометрии все точки лежат внутри одной окружности. Область внутри нее мы будем называть гиперболической плоскостью
[194].
Прямые на гиперболической плоскости представляют собой дуги окружностей. Это обескураживает: как дуга может быть прямой? Разве дуга не кривая? Давайте говорить «гиперболическая прямая», отличать ее от негибкой тезки.
Вот два способа построения гиперболических прямых:
• Начертите окружность, пересекающую гиперболическую плоскость под двумя прямыми углами. Часть окружности внутри гиперболической плоскости представляет собой гиперболическую прямую.
• Проведите прямую через центр гиперболической плоскости. Часть прямой внутри гиперболической плоскости тоже представляет собой гиперболическую прямую.
На чертеже вы можете видеть три прямые на гиперболической плоскости.
Гиперболическая плоскость – это область внутри обозначенной точками окружности. Две гиперболические прямые – дуги пунктирных окружностей, еще одна гиперболическая прямая – диаметр окружности, обозначенной точками. Замечу, что конечные точки дуг и диаметра не относятся к соответствующим гиперболическим прямым. (Обозначенные пунктиром окружности не входят в гиперболическую плоскость, они просто показывают, по какому принципу мы вычерчиваем гиперболические прямые – это части окружностей, пересекающих обозначенную точками окружность под прямыми углами.)
На следующем чертеже вы видите три гиперболические прямые. Две из них пересекаются, а третья параллельна и той и другой! Такое совершенно невозможно на евклидовой плоскости.
Выводы
Здесь все не так, как мы привыкли. Многие геометрические «факты» на евклидовой плоскости не работают в случае гиперболической плоскости.
Для начала: все не так с треугольниками. На евклидовой плоскости сумма углов треугольника равна 180° (мы доказали это обстоятельство в главе 13, однако опирались на постулат о параллельных прямых). На гиперболической плоскости сумма углов треугольника меньше 180°.
На евклидовой плоскости площадь треугольника может быть настолько большой, насколько мы того хотим. На гиперболической плоскости максимальная площадь треугольника не может превышать некоторой величины, и есть простая формула для подсчета площади. Если сумма углов треугольника равна s, площадь треугольника равна K × (180 – s), где K – определенное число
[195]. В соответствии с этой формулой два разных треугольника с равными углами имеют равную площадь. В евклидовой геометрии это не так: скажем, треугольники с углами 35°, 60° и 80° имеют одну и ту же форму (другими словами, подобны), но не обязательно совпадают по размеру. На гиперболической плоскости два треугольника с углами 35°, 60° и 80° не просто совпадают по площади – они конгруэнтны!
