|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Неевклидова геометрия Лобачевского является одним из рабочих инструментов современной математики. В статье приводится рецепт, следуя которому читатель может сам доказывать теоремы неевклидовой геометрии.Обсуждено разбиение неевклидовой плоскости на равные многоугольники, играющие центральную роль в приложениях неевклидовой геометрии.
О НЕЕВКЛИДОВОЙ ГЕОМЕТРИИЭ. Б. ВИНБЕРГ
Московский государственный университет
им. М.В. Ломоносова
Открытие того, что евклидова геометрия не является единственно возможной, сделанное в начале прошлого века Гауссом, Лобачевским и Больяи, оказало влияние на мировоззрение человечества, сравнимое с влиянием таких великих открытий естественных наук, как гелиоцентрическая система Коперника или эволюционная теория Дарвина. Однако мало кому из неспециалистов известно, что начиная с конца прошлого века неевклидова геометрия, наряду с евклидовой, является одним из рабочих инструментов математики, несмотря на то что "пространство, в котором мы живем", в доступных нашему пониманию пределах является скорее евклидовым, чем неевклидовым.
Характер математических теорий таков, что, различным образом интерпретируя их основные понятия (в геометрии это точки, прямые, движения и т.д.), мы можем применять их к объектам различного рода. В частности, и геометрия может применяться не только к пространству, в котором мы живем, но и к другим пространствам, возникающим в математических и физических теориях. Геометрии этих пространств оказываются различными; в частности, они могут не быть евклидовыми.
Если под неевклидовой геометрией понимать любую геометрию, отличную от евклидовой, то имеется необозримое множество таких геометрий. Было бы трудно сказать что-либо обо всех них сразу. В настоящей статье мы будем понимать термин "неевклидова геометрия" в узком смысле, подразумевая под этим геометрию Лобачевского или двойственную ей сферическую геометрию (о двойственности см. ниже). Среди геометрий, в которых имеется понятие расстояния между точками, эти две геометрии вместе с евклидовой геометрией занимают особое положение. Их можно охарактеризовать как геометрии максимальной подвижности или геометрии постоянной кривизны, они являются в известном смысле наиболее совершенными.
Первые приложения геометрия Лобачевского получила в трудах самого Лобачевского, которому удалось с ее помощью вычислить некоторые интегралы. Это были весьма частные результаты, не получившие дальнейшего развития. Тем не менее некоторые интегралы, найденные Лобачевским, до сих пор фигурируют в таблицах интегралов.
В конце прошлого века в работах Пуанкаре и Клейна была установлена прямая связь геометрии Лобачевского с теорией функций комплексной переменной и с теорией чисел (точнее, арифметикой неопределенных квадратичных форм). С тех пор аппарат геометрии Лобачевского стал неотъемлемым компонентом этих разделов математики.
В последние 15 лет значение геометрии Лобачевского еще более возросло благодаря работам американского математика Т╦рстона (лауреата Филдсовской медали 1983 г.), установившего ее связь с топологией трехмерных многообразий. Десятки работ ежегодно публикуются в этой области. В связи с этим можно говорить о конце романтического периода в истории геометрии Лобачевского, когда основное внимание исследователей было обращено на ее осмысление с точки зрения оснований геометрии вообще. Современные исследования все больше требуют делового владения геометрией Лобачевского.
В этой статье приводятся некоторые примеры теорем неевклидовой геометрии и формулируется принцип, позволяющий получать теоремы геометрии Лобачевского из теорем сферической геометрии. Затем обсуждаются некоторые задачи неевклидовой геометрии, играющие центральную роль в ее приложениях. Читателю, желающему более подробно ознакомиться с затронутыми вопросами, можно рекомендовать статьи [1, 2], где также имеется довольно обширная библиография по этому разделу математики.
СФЕРИЧЕСКИЙ АНАЛОГ ТЕОРЕМЫ ПИФАГОРА
Сферическая геометрия (по крайней мере, двумерная) хорошо представляется в рамках евклидовой геометрии. Это геометрия обычной сферы, в которой прямыми считаются большие круги, а расстояниями - длины дуг больших кругов или, что то же, соответствующие центральные углы, умноженные на радиус сферы. При изменении радиуса сферы все расстояния умножаются на одно и то же число. Поэтому нет принципиальной разницы между геометриями сфер разных радиусов. Удобно считать радиус равным 1. Всякий раз, когда не будет оговорено противное, мы будем иметь в виду именно это.
Выведем аналог теоремы Пифагора на сфере, т.е. выражение гипотенузы прямоугольного сферического треугольника через его катеты.
На рис. 1 изображен прямоугольный треугольник ABC (С - вершина прямого угла) на сфере с центром в точке О. Положим
| BC | = a, | CA | = b, | AB | = c
(здесь имеются в виду длины отрезков в смысле сферической геометрии, т.е. длины соответствующих дуг больших кругов сферы.)
Проведем теперь некоторые построения в евклидовом пространстве, в котором находится наша сфера. Опустим из точки A перпендикуляр AK на радиус OC. Поскольку плоскости AOC и BOC перпендикулярны, отрезок AK будет перпендикулярен плоскости BOC (изображенной на рис. 1 как "экваториальная" плоскость). Опустим из точки K перпендикуляр KL на радиус OB. По теореме о трех перпендикулярах отрезок AL будет также перпендикулярен радиусу OB. Имеем
a = - BOC, b = - COA, c = - AOB.
Из прямоугольных треугольников AOK, AOL и KOL находим:
OK = cos b, OL = cos c = OK cos a,
откуда
cos c = cos a cos b.
Это и есть теорема Пифагора в сферической геометрии.
Для сферы произвольного радиуса R мы получаем формулу
При R ? сфера становится все более и более плоской и ее геометрия стремится к евклидовой. Считая a и b постоянными и пользуясь приближенным равенством
верным при x 0, мы получаем из (5):
откуда
c2 = a2 + b2 + o(1).
В пределе при R ? получаем, как и следовало ожидать, обычную теорему Пифагора:
c2 = a2 + b2.
ПРИНЦИП ДВОЙСТВЕННОСТИ. ГИПЕРБОЛИЧЕСКИЙ АНАЛОГ ТЕОРЕМЫ ПИФАГОРА
Плоскость Лобачевского - это "сфера радиуса i " (где i - мнимая единица). Это высказывание имеет тот смысл, что из всякой формулы сферической геометрии получается формула геометрии Лобачевского (или, как еще говорят, гиперболической геометрии), если все линейные размеры разделить на i. При этом фигурирующие в формуле функции линейных размеров следует предполагать продолженными до аналитических функций в комплексной области.
Для продолжений тригонометрических функций в комплексную область справедливы равенства
cos ix = ch x, sin ix = i sh x,
где по определению
Переписывая эти равенства несколько по-другому, получаем
Таким образом, при переходе от формул сферической геометрии к формулам гиперболической геометрии следует тригонометрические функции всех линейных величин заменить соответствующими гиперболическими функциями. (Мнимые единицы, возникающие от синусов, должны автоматически сократиться.) Читатель, не знакомый с теорией функций комплексной переменной, может принять этот последний рецепт (с некоторыми дополнениями, которые будут сделаны ниже) за формулировку принципа двойственности.
В частности, из формулы (4) сферической геометрии таким образом получается следующий аналог теоремы Пифагора в гиперболической геометрии:
ch c = ch a ch b.
На "сфере радиуса iR" формула (13) превращается в формулу
откуда при R ? аналогично тому, как это было сделано выше для обычной сферы, получается обычная теорема Пифагора.
ДЛИНА ОКРУЖНОСТИ
Окружность радиуса r в неевклидовой плоскости, так же как и в евклидовой, определяется как геометрическое место точек, находящихся на расстоянии r от заданной точки, называемой центром окружности.
Как легко видеть, окружность радиуса r на сфере представляет собой евклидову окружность радиуса sin r. Поэтому ее длина L дается формулой
L = 2p sin r.
Применяя сформулированный выше принцип двойственности, получаем отсюда формулу для длины окружности радиуса r на плоскости Лобачевского:
L = 2p sh r.
Мы видим, что длина окружности в геометрии Лобачевского не прямо пропорциональна ее радиусу, как в евклидовой геометрии, а растет гораздо быстрее. Соответственно этому в круге на плоскости Лобачевского гораздо больше места, чем в круге такого же радиуса на евклидовой плоскости. То же самое можно сказать и о шаре в пространстве.
ПЛОЩАДЬ ТРЕУГОЛЬНИКА
В рассмотренных выше двух примерах формулы неевклидовой геометрии просто имели иной вид, нежели соответствующие формулы евклидовой геометрии. Однако имеются такие формулы неевклидовой геометрии, для которых нет никакого евклидова аналога. К их числу относится формула, выражающая площадь треугольника через его углы.
Выведем формулу для площади сферического треугольника ABC (рис. 2). Треугольник ABC является пересечением трех полусфер Р, Q, R, граничные окружности которых содержат стороны BC, CA, AB соответственно. (На рис. 3 Р - "верхняя" полусфера, Q - "передняя" полусфера, R - "правая" полусфера.)
Площадь любой полусферы равна, как известно, 2p. Площадь пересечения двух полусфер - "поверхность арбузной дольки" - прямо пропорциональна углу между ограничивающими их окружностями. Если этот угол равен p, то пересечение само есть полусфера и его площадь - "поверхность половины арбуза" - равна 2p. Следовательно, коэффициент пропорциональности равен 2. Значит, пересечения Q c R, R c Р, Р c Q имеют площади 2a, 2b, 2g соответственно (где a, b, g - углы нашего треугольника, как изображено на рис. 2).
Объединение полусфер Р, Q, R есть вся сфера минус треугольник A 'B 'C ' - антипод треугольника ABC. Обозначим площадь треугольника ABC через S. Тогда площадь треугольника A 'B 'C ' также равна S и, следовательно, площадь объединения полусфер Р, Q, R равна 4p - S.
С другой стороны, площадь объединения может быть подсчитана как сумма площадей полусфер Р, Q, R минус сумма площадей их попарных пересечений, которые были учтены дважды, плюс площадь треугольника ABC, которая в результате не была учтена вовсе (мы ее учли трижды, когда суммировали площади полусфер Р, Q, R, но затем трижды вычли, когда вычитали площади попарных пересечений этих полусфер). В результате получаем:
4p - S = 2p + 2p + 2p - 2a - 2b - 2g + S,
откуда
S = a + b + g - p.
Мы видим, таким образом, что сумма углов сферического треугольника всегда больше p, причем избыток равен площади треугольника. Для очень маленького сферического треугольника сумма его углов почти равна p. Это соответствует тому, что такой треугольник почти евклидов.
Согласно принципу двойственности, чтобы получить формулу для площади треугольника на плоскости Лобачевского, надо в формуле (18) все линейные размеры разделить на i. При этом правая часть, не содержащая линейных размеров, не изменится, а площадь разделится на i " i = - 1. После умножения обеих частей на - 1 мы получим формулу
S = p - (a + b + g).
Таким образом, сумма углов гиперболического треугольника, наоборот, всегда меньше p, причем недостаток равен площади треугольника. Сумма углов очень маленького гиперболического треугольника почти равна p.
Вообще в малой части пространства неевклидова геометрия близка к евклидовой, причем чем меньше эта часть, тем ближе к евклидовой ее геометрия. Поэтому если "пространство, в котором мы живем", является евклидовым, мы никогда не сможем это установить. В самом деле, мы всегда имеем дело с ограниченной частью пространства (пусть и очень большой по нашим масштабам) и точность наших измерений всегда ограничена. Если в пределах этой части пространства мы не обнаруживаем отклонений от евклидовой геометрии, то всегда можно предположить, что на самом деле пространство неевклидово, но обследованная нами его часть слишком мала в масштабах Вселенной, чтобы эта неевклидовость проявилась при нашей точности измерений.
(В действительности все обстоит еще сложнее. Согласно теории относительности, пространство нельзя рассматривать отдельно от времени. Поэтому сама постановка вопроса о евклидовости пространства нуждается в уточнении.)
ПАРАЛЛЕЛЬНЫЕ ПРЯМЫЕ В ГЕОМЕТРИИ ЛОБАЧЕВСКОГО
Чтобы понять ситуацию с параллельными прямыми на плоскости Лобачевского, рассмотрим вначале подробно, как с этим обстоит дело на евклидовой плоскости, хотя читателю это и может показаться тривиальным.
Две прямые евклидовой плоскости называются параллельными, если они не пересекаются. Как известно, через любую точку A евклидовой плоскости, не принадлежащую прямой l, проходит ровно одна прямая m, параллельная l. Это так называемый Пятый постулат Евклида.
Прямая m может быть получена как предельное положение прямой AB, соединяющей точку A с точкой B прямой l, уходящей в бесконечность в каком-либо фиксированном направлении. В самом деле, опустим перпендикуляр AC из точки A на прямую l и проследим за изменением углов ABC и BAC. Пусть точка B, удаляясь от C, занимает новое положение B ' (рис. 3). Угол ABC, являясь внешним углом треугольника ABB ', равен сумме углов BAB ' и AB 'B (это равносильно утверждению о том, что сумма углов треугольника ABB ' равна p). Следовательно,
- AB 'C < - ABC.
Более того, если | BB ' | = | AB |, т.е. треугольник ABB ' равнобедренный, то - BAB ' = - AB 'B и, следовательно,
Все это показывает, что когда точка B удаляется в бесконечность, угол ABC монотонно стремится к нулю.
Далее, так как сумма углов треугольника ABC равна p, то
и, следовательно, угол BAC стремится к p /2. Это означает, что предельное положение прямой AB есть прямая m, перпендикулярная AC. Ту же прямую мы получим, если точка B будет удаляться в бесконечность в противоположном направлении. Прямая m и есть та единственная прямая, параллельная l, которая проходит через точку A.
Проделаем теперь аналогичные построения на плоскости Лобачевского, где, как мы уже знаем, сумма углов треугольника меньше p. Неравенство (20) лишь усилится, а равенство (21) превратится в неравенство
Поэтому окончательный вывод относительно характера изменения угла ABC останется в силе: он монотонно стремится к нулю.
Равенство (22) превратится в неравенство
причем разность между его правой и левой частями, равная площади треугольника ABC, будет лишь возрастать. Следовательно, угол BAC стремится к некоторому острому углу d. Предельная прямая m, образующая угол d с перпендикуляром AC, не пересекает прямую l. В терминологии, принятой в геометрии Лобачевского, именно эта прямая (а не просто всякая прямая, не пересекающая l ) называется параллельной l.
Если точка B двигается в противоположном направлении, то прямая AB стремится к другой прямой m', также образующей угол d с перпендикуляром AC, но отложенный в другую сторону от этого перпендикуляра. Прямая m' также считается параллельной l (но "в другом направлении"). Эта ситуация условно изображена на рис. 4 (условно, потому что невозможно точное изображение неевклидовой фигуры на евклидовой плоскости, каковой является плоскость рисунка).
Таким образом, на плоскости Лобачевского через точку A, не лежащую на прямой l, проходит ровно две прямые, параллельные l. Все проходящие через точку A прямые, лежащие между ними, также не пересекают l (но не называются параллельными).
Угол d называется углом параллельности. Он зависит лишь от расстояния | AC | = d. Более точно,
d = 2 arctg e- d.
Читатель может попытаться вывести эту формулу самостоятельно. Для этого надо сначала, подобно тому как был доказан сферический аналог теоремы Пифагора, вывести необходимые соотношения между сторонами и углами сферического прямоугольного треугольника, затем с помощью принципа двойственности получить соответствующие соотношения между сторонами и углами гиперболического треугольника ABC (в обозначениях рис. 3) и совершить предельный переход. Если вы сумеете это сделать, то вы хорошо усвоили материал настоящей статьи.
РАЗБИЕНИЯ ПЛОСКОСТИ НА РАВНЫЕ ПРАВИЛЬНЫЕ МНОГОУГОЛЬНИКИ
Клетчатая бумага и соты представляют собой разбиения евклидовой плоскости на равные правильные многоугольники (в первом случае на квадраты, во втором - на шестиугольники).
Так как сумма углов евклидова р-угольника равна (р - 2)p, то каждый угол правильного р-угольника равен (1 - 2/ р)p. Если в разбиении плоскости на равные правильные р-угольники в каждой вершине сходится q многоугольников, то должно быть
откуда
Это уравнение имеет три решения:
(p, q) = (3, 6); (4, 4); (6, 3).
Последним двум решениям соответствуют уже упомянутые разбиения на квадраты и на правильные шестиугольники. Первому решению соответствует разбиение на правильные треугольники.
Формула для суммы углов р-угольника в евклидовой геометрии выводится из формулы для суммы углов треугольника путем разбиения р-угольника на р - 2 треугольника диагоналями, проведенными из какой-либо его вершины. Таким же способом доказывается, что сумма углов сферического (соответственно гиперболического) р-угольника равна (р - 2)p плюс (соответственно минус) площадь этого р-угольника.
Отсюда следует, что угол правильного сферического р-угольника больше, чем (1 - 2/ р)p, причем в отличие от евклидова случая он зависит от радиуса многоугольника. Если радиус мал, то многоугольник близок к евклидову и его угол лишь ненамного больше (1 - 2/ р)p. Когда радиус приближается к максимально возможному значению p /2, то сам многоугольник приближается к полусфере, а его угол приближается к p. Таким образом, угол правильного сферического р-угольника может быть любым числом, лежащим между (1 - 2/ р)p и p.
Поэтому разбиение сферы на равные правильные р-угольники, сходящиеся по q в каждой вершине, возможно тогда и только тогда, когда
Это неравенство имеет следующие решения:
(р, q)=(3, 3); (3, 4); (3, 5); (4, 3); (5, 3).
Таким образом, имеется ровно пять разбиений сферы на равные правильные многоугольники.
Эти разбиения взаимно однозначно соответствуют правильным многогранникам в евклидовом пространстве. А именно, проектируя границу правильного многогранника из его центра на описанную сферу, мы получаем разбиение сферы на равные правильные многоугольники (проекции граней многогранника). Обратно, для всякого разбиения сферы на равные правильные многоугольники выпуклый многогранник, вершинами которого служат вершины разбиения, является правильным.
Полученный выше результат означает, что имеется ровно пять правильных многогранников. Это известные с древних времен тетраэдр, октаэдр, икосаэдр, куб, додекаэдр.
Аналогично, угол правильного гиперболического р-угольника меньше, чем (1 - 2/ р)p, причем если радиус многоугольника мал, то его угол лишь ненамного меньше этой величины, а когда радиус стремится к бесконечности, то угол стремится к нулю. Таким образом, угол правильного гиперболического р-угольника может быть любым (положительным) числом, меньшим (1 - 2/ р)p.
Поэтому для разбиений плоскости Лобачевского на равные правильные многоугольники мы получаем неравенство
решениями которого являются все пары чисел (р, q), кроме тех, которые являются решениями уравнения (27) или неравенства (29), то есть все пары, кроме перечисленных выше восьми. Разбиение, отвечающее решению (3, 7), условно изображено на рис. 5.
Мы видим, что, по крайней мере в отношении разбиений на правильные многоугольники, плоскость Лобачевского представляет куда больше возможностей, чем евклидова плоскость и сфера.
Еще больше возможностей представляется, если отказаться от (на самом деле искусственного) требования правильности многоугольников разбиения (сохранив, однако, требование их равенства). Именно с такими разбиениями связаны упоминавшиеся в начале этой статьи приложения геометрии Лобачевского к теории чисел и теории функций комплексной переменной.
Аналогичным образом можно рассматривать разбиения пространства на равные многогранники. В случае евклидова пространства изучение таких разбиений имеет тесную связь с кристаллографией, а в случае пространства Лобачевского - с топологией трехмерных многообразий. В последнем случае теория таких разбиений еще далека от завершения, хотя разбиения пространства Лобачевского на равные правильные многогранники были описаны Коксетером еще в 1954 году.
ЛИТЕРАТУРА
1. Алексеевский Д.В., Винберг Э.Б., Солодовников А.С. Геометрия пространств постоянной кривизны. В кн.: Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. М.: ВИНИТИ, 1988. Т. 29. С. 1 - 146.
2. Винберг Э.Б., Шварцман О.В. Дискретные группы движений пространств постоянной кривизны. Там же, C. 147 - 259.
* * *
Эрнест Борисович Винберг, доктор физико-математических наук, профессор МГУ, член правления Московского математического общества. Автор 6 монографий и 70 научных работ.
