Теорема лобачевского о параллельных прямых доказательство. Практические применения геометрии лобачевского

История создания геометрии Лобачевского одновременно является историей попыток доказать пятый постулат Евклида. Этот постулат представляет собой одну из аксиом, положенных Евклидом в основу изложения геометрии (см. Евклид и его «Начала»). Пятый постулат – последнее и самое сложное из предложений, включенных Евклидом в его аксиоматику геометрии. Напомним формулировку пятого постулата: если две прямые пересекаются третьей так, что по какую-либо сторону от нее сумма внутренних углов меньше двух прямых углов, то по эту же сторону исходные прямые пересекаются. Например, если на рис. 1 угол – прямой, а угол чуть меньше прямого, то прямые и непременно пересекаются, причем справа от прямой . Многие теоремы Евклида (например, «в равнобедренном треугольнике углы при основании равны») выражают гораздо более простые факты, чем пятый постулат. К тому же проверить на эксперименте пятый постулат довольно сложно. Достаточно сказать, что если на рис. 1 расстояние считать равным 1 м, а угол отличается от прямого на одну угловую секунду, то можно подсчитать, что прямые и пересекаются на расстоянии свыше 200 км от прямой .

Многие математики, жившие после Евклида, пытались доказать, что эта аксиома (пятый постулат) – лишняя, т.е. она может быть доказана как теорема на основании остальных аксиом. Так, в V в. математик Прокл (первый комментатор трудов Евклида) предпринял такую попытку. Однако в своем доказательстве Прокл незаметно для себя использовал следующее утверждение: два перпендикуляра к одной прямой на всем своем протяжении находятся на ограниченном расстоянии друг от друга (т.е. две прямые, перпендикулярные третьей, не могут неограниченно удаляться друг от друга, как линии на рис. 2). Но при всей кажущейся наглядной «очевидности» это утверждение при строгом аксиоматическом изложении геометрии требует обоснования. В действительности использованное Проклом утверждение является эквивалентом пятого постулата; иначе говоря, если его добавить к остальным аксиомам Евклида в качестве еще одной новой аксиомы, то пятый постулат можно доказать (что и сделал Прокл), а если принять пятый постулат, то можно доказать сформулированное Проклом утверждение.

Критический анализ дальнейших попыток доказать пятый постулат выявил большое число аналогичных «очевидных» утверждений, которыми можно заменить пятый постулат в аксиоматике Евклида. Вот несколько примеров таких эквивалентов пятого постулата.

1) Через точку внутри угла, меньшего, чем развернутый, всегда можно провести прямую, пересекающую его стороны, т.е. прямые линии на плоскости не могут располагаться так, как показано на рис. 3. 2) Существуют два подобных треугольника, не равных между собой. 3) Три точки, расположенные по одну сторону прямой на равном расстоянии от нее (рис. 4), лежат на одной прямой. 4) Для всякого треугольника существует описанная окружность.

Постепенно «доказательства» становятся все изощреннее, в них все глубже прячутся малозаметные эквиваленты пятого постулата. Допустив, что пятый постулат неверен, математики пытались прийти к логическому противоречию. Они приходили к утверждениям, чудовищно противоречащим нашей геометрической интуиции, но логического противоречия не получалось. А может быть, мы вообще никогда не придем на таком пути к противоречию? Не может ли быть так, что, заменив пятый постулат Евклида его отрицанием (при сохранении остальных аксиом Евклида), мы придем к новой, неевклидовой геометрии, которая во многом не согласуется с нашими привычными наглядными представлениями, но тем не менее не содержит никаких логических противоречий? Эту простую, но очень дерзкую мысль математики не могли выстрадать в течение двух тысячелетий после появления «Начал» Евклида.

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

XIX в. принес решение загадки пятого постулата. К этому открытию независимо от Гаусса пришел и наш соотечественник – профессор Казанского университета Н. И. Лобачевский. Как и его предшественники, Лобачевский вначале пытался выводить различные следствия из отрицания пятого постулата, надеясь, что рано или поздно он придет к противоречию. Однако он доказал много десятков теорем, не обнаруживая логических противоречий. И тогда Лобачевскому пришла в голову догадка о непротиворечивости геометрии, в которой пятый постулат заменен его отрицанием. Лобачевский назвал эту геометрию воображаемой. Свои исследования Лобачевский изложил в ряде сочинений, начиная с 1829 г. Но математический мир не принял идеи Лобачевского. Ученые не были подготовлены к мысли о том, что может существовать геометрия, отличная от евклидовой. И лишь Гаусс выразил свое отношение к научному подвигу русского ученого: он добился избрания в 1842 г. Н. И. Лобачевского членом-корреспондентом Геттингенского королевского научного общества. Это единственная научная почесть, выпавшая на долю Лобачевского при жизни. Он умер, так и не добившись признания своих идей.

Рассказывая о геометрии Лобачевского, нельзя не отметить еще одного ученою, который вместе с Гауссом и Лобачевским делит заслугу открытия неевклидовой геометрии. Им был венгерский математик Я. Бойяи (1802-1860). Его отец, известный математик Ф. Бойяи, всю жизнь работавший над теорией параллельных, считал, что решение этой проблемы выше сил человеческих, и хотел оградить сына от неудач и разочарований. В одном из писем он писал ему: «Я прошел весь беспросветный мрак этой ночи и всякий светоч, всякую радость жизни в ней похоронил... она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни...» Но Янош не внял предостережениям отца. Вскоре молодой ученый независимо от Гаусса и Лобачевского пришел к тем же идеям. В приложении к книге своего отца, вышедшей в 1832 г., Я. Бойяи дал самостоятельное изложение неевклидовой геометрии.

В геометрии Лобачевского (или геометрии Лобачевского Бойяи, как ее иногда называют) сохраняются все теоремы, которые в евклидовой геометрии можно доказать без использования пятого постулата (или аксиомы параллельности одного из эквивалентов пятого постулата, - включенной в наши дни в школьные учебники). Например: вертикальные углы равны; углы при основании равнобедренного треугольника равны; из данной точки можно опустить на данную прямую только один перпендикуляр; сохраняются также признаки равенства треугольников и др. Однако теоремы, при доказательстве которых применяется аксиома параллельности, видоизменяются. Теорема о сумме углов треугольника – первая теорема школьного курса, при доказательстве которой используется аксиома параллельности. Здесь нас ожидает первый «сюрприз»: в геометрии Лобачевского сумма углов любого треугольника меньше 180°.

Если два угла одного треугольника соответственно равны двум углам другого треугольника, то в евклидовой геометрии равны и третьи углы (такие треугольники подобны). В геометрии Лобачевского не существует подобных треугольников. Более того, в геометрии Лобачевского имеет место четвертый признак равенства треугольников: если углы одного треугольника соответственно равны углам другого треугольника, то эти треугольники равны.

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

Пусть теперь – некоторый острый угол (рис. 5). В геометрии Лобачевского можно выбрать такую точку на стороне , что перпендикуляр к стороне не пересекается с другой стороной угла. Этот факт как раз подтверждает, что не выполняется пятый постулат: сумма углов и меньше развернутого угла, но прямые и не пересекаются. Если начать приближать точку к , то найдется такая «критическая» точка , что перпендикуляр к стороне все еще не пересекается со стороной , но для любой точки , лежащей между и , соответствующий перпендикуляр пересекается со стороной . Прямые и все более приближаются друг к другу, но общих точек не имеют. На рис. 6 эти прямые изображены отдельно; именно такие неограниченно приближающиеся друг к другу прямые Лобачевский называет в своей геометрии параллельными. А два перпендикуляра к одной прямой (которые неограниченно удаляются друг от друга, как на рис. 2) Лобачевский называет расходящимися прямыми. Оказывается, что этим и ограничиваются все возможности расположения двух прямых на плоскости Лобачевского: две несовпадающие прямые либо пересекаются в одной точке, либо параллельны (рис. 6), либо являются расходящимися (в этом случае они имеют единственный общий перпендикуляр, рис. 2).

На рис. 7 перпендикуляр к стороне угла не пересекается со стороной , а прямые симметричны прямым относительно . Далее, , так что – перпендикуляр к отрезку в его середине и аналогично – перпендикуляр к отрезку в его середине. Эти перпендикуляры не пересекаются, и потому не существует точки, одинаково удаленной от точек , т.е. треугольник не имеет описанной окружности.

На рис. 8 изображен интересный вариант расположения трех прямых на плоскости Лобачевского: каждые две из них параллельны (только в разных направлениях). А на рис. 9 все прямые параллельны друг другу в одном направлении (пучок параллельных прямых). Красная линия на рис. 9 «перпендикулярна» всем проведенным прямым (т.е. касательная к этой линии в любой ее точке перпендикулярна прямой, проходящей через ). Эта линия называется предельной окружностью, или орициклом. Прямые рассмотренного пучка являются как бы ее «радиусами», а «центр» предельной окружности лежит в бесконечности, поскольку «радиусы» параллельны. В то же время предельная окружность не является прямой линией, она «искривлена». И другие свойства, которыми в евклидовой геометрии обладает прямая, в геометрии Лобачевского оказываются присущими другим линиям. Например, множество точек, находящихся по одну сторону от данной прямой на данном расстоянии от нее, в геометрии Лобачевского представляет собой кривую линию (она называется эквидистантой).

НИКОЛАЙ ИВАНОВИЧ ЛОБАЧЕВСКИЙ (1792-1856) С 14 лет жизнь Н.И.Лобачевского была связана с Казанским университетом. Его студенческие годы приходились на благополучный период в истории университета. Было у кого учиться математике; среди профессоров выделялся М.Ф. Бартельс, сотоварищ первых шагов в математике К. Ф. Гаусса. С 1814 г. Лобачевский преподает в университете: читает лекции по математике, физике, астрономии, заведует обсерваторией, возглавляет библиотеку. В течение нескольких лет он избирался деканом физико-математического факультета. С 1827 г. начинается 19-летний период его непрерывного ректорства. Все надо было начинать заново: заниматься строительством, привлекать новых профессоров, менять студенческий режим. На это уходило почти все время. Еще в первых числах февраля 1826 г. он передал в университет рукопись «Сжатое изложение начал геометрии со строгим доказательством теоремы о параллельных», 11 февраля он выступил с докладом на заседании Совета университета. Собственно, речь шла не о доказательстве пятого постулата Евклида, а о построении геометрии, в которой имеет место его отрицание, т.е. о доказательстве его невыводимости из остальных аксиом. Вероятно, никто из присутствовавших не мог уследить за ходом мысли Лобачевского. Созданная комиссия из членов Совета несколько лет не давала заключения. В 1830 г. в «Казанском вестнике» выходит работа «О началах геометрии», представляющая собой извлечение из доклада на Совете. Чтобы разобраться в ситуации, решили воспользоваться помощью столицы: в 1832 г. статью послали в Петербург. И здесь никто ничего не понял, работа была квалифицирована как бессмысленная. Не следует слишком сурово судить русских ученых: нигде в мире математики еще не были готовы воспринять идеи неевклидовой геометрии. Ничто не могло поколебать уверенность Лобачевского в своей правоте. В течение 30 лет он продолжает развивать свою геометрию, пытается делать изложение более доступным, публикует работы по-французски и по-немецки. Немецкую версию изложения прочитал Гаусс и, разумеется, понял автора с полуслова. Он прочитал его работы на русском языке и оценил их в письмах к ученикам, но публичной поддержки новой геометрии Гаусс не оказал. Н. И. Лобачевский дослужился до высоких чинов, он был награжден большим числом орденов, пользовался уважением окружающих, но о его геометрии предпочитали не говорить, даже в те дни, когда Казань прощалась с ним. Прошло еще не менее двадцати лет, прежде чем геометрия Лобачевского завоевала права гражданства в математике.

Мы кратко коснулись только некоторых фактов геометрии Лобачевского, не упоминая многих других очень интересных и содержательных теорем (например, длина окружности и площадь круга радиуса здесь растут в зависимости от по показательному закону). Возникает убежденность, что эта теория, богатая очень интересными и содержательными фактами, в самом деле непротиворечива. Но эта убежденность (которая была у всех трех творцов неевклидовой геометрии) не заменяет доказательства непротиворечивости.

Чтобы получить такое доказательство, надо было построить модель. И Лобачевский это хорошо понимал и пытался ее найти.

Но сам Лобачевский этого уже не смог сделать. Построение такой модели (т.е. доказательство непротиворечивости геометрии Лобачевского) выпало на долю математиков следующего поколения.

В 1868 г. итальянский математик Э. Бельтрами исследовал вогнутую поверхность, называемую псевдосферой (рис. 10), и доказал, что на этой поверхности действует геометрия Лобачевского! Если на этой поверхности нарисовать кратчайшие линии («геодезические») и измерять по этим линиям расстояния, составлять из дуг этих линий треугольники и т.д., то оказывается, что в точности реализуются все формулы геометрии Лобачевского (в частности, сумма углов любого треугольника меньше 180°). Правда, на псевдосфере реализуется не вся плоскость Лобачевского, а лишь ее ограниченный кусок, но все же этим была пробита первая брешь в глухой стене непризнания Лобачевского. А через два года немецкий математик Ф. Клейн (1849-1925) предлагает другую модель плоскости Лобачевского.

Клейн берет некоторый круг и рассматривает такие проективные преобразования плоскости (см. Проективная геометрия), которые отображают круг на себя. «Плоскостью» Клейн называет внутренность круга , а указанные проективные преобразования считает «движениями» этой «плоскости». Далее, каждую хорду круга (без концов, поскольку берутся только внутренние точки круга) Клейн считает «прямой». Поскольку «движения» представляют собой проективные преобразования, «прямые» переходят при этих «движениях» в «прямые». Теперь в этой «плоскости» можно рассматривать отрезки, треугольники и т.д. Две фигуры называются «равными», если одна из них может быть переведена в другую некоторым «движением». Тем самым введены все понятия, упоминаемые в аксиомах геометрии, и можно производить проверку выполнения аксиом в этой модели. Например, очевидно, что через любые две точки проходит единственная «прямая» (рис. 11). Можно проследить также, что через точку , не принадлежащую «прямой» , проходит бесконечно много «прямых», не пересекающих . Дальнейшая проверка показывает, что в модели Клейна выполняются и все остальные аксиомы геометрии Лобачевского. В частности, для любой «прямой» (т.е. хорды круга ) и любой точки этой «прямой» существует «движение», переводящее ее в другую заданную прямую с отмеченной на ней точкой . Это и позволяет проверить выполнение всех аксиом геометрии Лобачевского.

Еще одна модель геометрии Лобачевского была предложена французским математиком А. Пуанкаре (1854-1912). Он также рассматривает внутренность некоторого круга ; «прямыми» он считает дуги окружностей, которые в точках пересечения с границей круга касаются радиусов (рис. 12). Не говоря подробно о «движениях» в модели Пуанкаре (ими будут круговые преобразования, в частности инверсии относительно «прямых», переводящие круг в себя), ограничимся указанием рис. 13, показывающего, что в этой модели евклидова аксиома параллельности места не имеет. Интересно, что в этой модели окружность (евклидова), расположенная внутри круга , оказывается «окружностью» и в смысле геометрии Лобачевского; окружность, касающаяся границы. Тогда свет будет (в соответствии с принципом Ферма о минимальности времени движения по световой траектории) распространяться как раз по «прямым» рассмотренной модели. Свет не может за конечное время дойти до границы (поскольку там его скорость убывает до нуля), и потому этот мир будет восприниматься его «жителями» бесконечным, причем по своей метрике и свойствам совпадающим с плоскостью Лобачевского.

Впоследствии были предложены и другие модели геометрии Лобачевского. Этими моделями была окончательно установлена непротиворечивость геометрии Лобачевского. Тем самым было показано, что геометрия Евклида не является единственно возможной. Это оказало большое прогрессивное воздействие на все дальнейшее развитие геометрии и математики в целом.

А в XX в. было обнаружено, что геометрия Лобачевского не только имеет важное значение для абстрактной математики, как одна из возможных геометрий, но и непосредственно связана с приложениями математики к физике. Оказалось, что взаимосвязь пространства и времени, открытая в работах X. Лоренца, А. Пуанкаре, А. Эйнштейна, Г. Минковского и описываемая в рамках специальной теории относительности, имеет непосредственное отношение к геометрии Лобачевского. Например, в расчетах современных синхрофазотронов используются формулы геометрии Лобачевского.

Лобачевского геометрия - геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского. Евклидова аксиома о параллельных гласит: через точку, не лежащую на данной прямой, проходит только одна прямая, лежащая с данной прямой в одной плоскости и не пересекающая её. В Лобачевского геометрия вместо неё принимается следующая аксиома: через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её. Казалось бы, эта аксиома противоречит чрезвычайно привычным представлениям. Тем не менее как эта аксиома, так и вся Лобачевского геометрия имеет вполне реальный смысл. Лобачевского геометрия была создана и развита Н. И. Лобачевским, который впервые сообщил о ней в 1826. Лобачевского геометрия называется неевклидовой геометрией, хотя обычно термину «неевклидова геометрия» придают более широкий смысл, включая сюда и др. теории, возникшие вслед за Лобачевского геометрия и также основанные на изменении основных посылок евклидовой геометрии. Лобачевского геометрия называется специально гиперболической неевклидовой геометрией (в противоположность эллиптической геометрии Римана).

Лобачевского геометрия представляет теорию, богатую содержанием и имеющую применение как в математике, так и в физике. Историческое её значение состоит в том, что её построением Лобачевский показал возможность геометрии, отличной от евклидовой, что знаменовало новую эпоху в развитии геометрии и математики вообще (см. Геометрия). С современной точки зрения можно дать, например, следующее определение Лобачевского геометрия на плоскости: она есть не что иное, как геометрия внутри круга на обычной (евклидовой) плоскости, лишь выраженная особым образом. Именно, будем рассматривать круг на обычной плоскости (рис. 1) и внутренность его, т. е. круг, за исключением ограничивающей его окружности, назовем «плоскостью». Точкой «плоскости» будет точка внутри круга. «Прямой» будем называть любую хорду (например, а, b, b`, MN) (с исключенными концами, т. к. окружность круга исключена из «плоскости»). «Движением» назовем любое преобразование круга самого в себя, которое переводит хорды в хорды.

Соответственно, равными называются фигуры внутри круга, переводящиеся одна в другую такими преобразованиями. Тогда оказывается, что любой геометрический факт, описанный на таком языке, представляет теорему или аксиому Лобачевского геометрия Иными словами, всякое утверждение Лобачевского геометрия на плоскости есть не что иное, как утверждение евклидовой геометрии, относящееся к фигурам внутри круга, лишь пересказанное в указанных терминах. Евклидова аксиома о параллельных здесь явно не выполняется, т. к. через точку О, не лежащую на данной хорде а (т. е. «прямой»), проходит сколько угодно не пересекающих её хорд («прямых») (например, b, b`). Аналогично, Лобачевского геометрия в пространстве может быть определена как геометрия внутри шара, выраженная в соответствующих терминах («прямые» - хорды, «плоскости» - плоские сечения внутренности шара, «равные» фигуры - те, которые переводятся одна в другую преобразованиями, переводящими шар сам в себя и хорды в хорды). Таким образом, Лобачевского геометрия имеет совершенно реальный смысл и столь же непротиворечива, как геометрия Евклида. Описание одних и тех же фактов в разных терминах или, напротив, описание разных фактов в одних и тех же терминах представляет характерную черту математики. Она ясно выступает, например, когда одна и та же линия задаётся в разных координатах разными уравнениями или, напротив, одно и то же уравнение в разных координатах представляет различные линии.

Возникновение геометрии Лобачевского

Источником Лобачевского геометрия послужил вопрос об аксиоме о параллельных, которая известна также как V постулат Евклида (под этим номером утверждение, эквивалентное приведённой выше аксиоме о параллельных, фигурирует в списке постулатов в «Началах» Евклида). Этот постулат, ввиду его сложности в сравнении с другими, вызвал попытки дать его доказательство на основании остальных постулатов.

Вот неполный перечень учёных, занимавшихся доказательством V постулата до 19 в.: древнегреческий математики Птолемей (2 в.), Прокл (5 в.) (доказательство Прокла основано на предположении о конечности расстояния между двумя параллельными), Ибн аль-Хайсам из Ирака (конец 10 - начало 11 вв.) (Ибн аль-Хайсам пытался доказать V постулат, исходя из предположения, что конец движущегося перпендикуляра к прямой описывает прямую линию), таджикский математик Омар Хайям (2-я половина 11 - начало 12 вв.), азербайджанский математик Насирэддин Туей (13 в.) (Хайям и Насирэддин при доказательстве V постулата исходили из предположения, что две сходящиеся прямые не могут при продолжении стать расходящимися без пересечения), немецкий математик К. Клавий (Шлюссель, 1574), итальянские математики П. Катальди (впервые в 1603 напечатавший работу, целиком посвященную вопросу о параллельных), Дж. Борелли (1658), Дж. Витале (1680), английский математик Дж. Валлис (1663, опубликовано в 1693) (Валлис основывает доказательство V постулата на предположении, что для всякой фигуры существует ей подобная, но не равная фигура). Доказательства перечисленных выше геометров сводились к замене V постулата др. предположением, казавшимся более очевидным.

Итальянский математик Дж. Саккери (1733) сделал попытку доказать V постулат от противного. Приняв предложение, противоречащее постулату Евклида, Саккери развил из него довольно обширные следствия. Ошибочно признав некоторые из этих следствий приводящими к противоречиям, Саккери заключил, что постулат Евклида доказан. Немецкий математик И. Ламберт (около 1766, опубликовано в 1786) предпринял аналогичные исследования, однако он не повторил ошибки Саккери, а признал своё бессилие обнаружить в построенной им системе логическое противоречие. Попытки доказательства постулата предпринимались и в 19 в. Здесь следует отметить работы французского математика А. Лежандра; одно из его доказательств (1800) основано на допущении, что через каждую точку внутри острого угла можно провести прямую, пересекающую обе стороны угла, т. е., как и все его предшественники, он заменил постулат др. допущением. Довольно близко к построению Лобачевского геометрия подошли немецкие математики Ф. Швейкарт (1818) и Ф. Тауринус (1825), однако ясно выраженной мысли о том, что намечаемая ими теория будет логически столь же совершенна, как и геометрия Евклида, они не имели.

Вопрос о V постулате Евклида, занимавший геометров более двух тысячелетий, был решен Лобачевским. Это решение сводится к тому, что постулат не может быть доказан на основе др. посылок евклидовой геометрии и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную, как и евклидова, и свободную от противоречий. Лобачевский сделал об этом сообщение в 1826, а в 1829-30 напечатал работу «О началах геометрии» с изложением своей теории. В 1832 была опубликована работа венгерского математика Я. Больяй аналогичного содержания. Как выяснилось впоследствии, немецкий математик К. Ф. Гаусс также пришёл к мысли о возможности существования непротиворечивой неевклидовой геометрии, но скрывал её, опасаясь быть непонятым. Хотя Лобачевского геометрия развивалась как умозрительная теория и сам Лобачевский называл её «воображаемой геометрией», тем не менее именно Лобачевский рассматривал её не как игру ума, а как возможную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации и тем полностью решен вопрос о её реальном смысле, логической непротиворечивости.

Лобачевского геометрия изучает свойства «плоскости Лобачевского» (в планиметрии) и «пространства Лобачевского» (в стереометрии). Плоскость Лобачевского - это плоскость (множество точек), в которой определены прямые линии, а также движения фигур (вместе с тем - расстояния, углы и пр.), подчиняющиеся всем аксиомам евклидовой геометрии, за исключением аксиомы о параллельных, которая заменяется указанной выше аксиомой Лобачевского. Сходным образом определяется пространство Лобачевского. Задача выяснения реального смысла Лобачевского геометрия состояла в нахождении моделей плоскости и пространства Лобачевского, т. е. в нахождении таких объектов, в которых реализовались бы соответствующим образом истолкованные положения планиметрии и стереометрии Лобачевского геометрии.

Приведём несколько фактов геометрии Лобачевского, отличающих её от геометрии Евклида и установленных самим Лобачевским

1) В Лобачевского геометрия не существует подобных, но неравных треугольников; треугольники равны, если их углы равны. Поэтому существует абсолютная единица длины, т. е. отрезок, выделенный по своим свойствам, подобно тому как прямой угол выделен своими свойствами. Таким отрезком может служить, например, сторона правильного треугольника с данной суммой углов.

2) Сумма углов всякого треугольника меньше p и может быть сколь угодно близкой к нулю. Это непосредственно видно на модели Пуанкаре. Разность p - (a + b + g), где a, b, g - углы треугольника, пропорциональна его площади.

3) Через точку О, не лежащую на данной прямой а, проходит бесконечно много прямых, не пересекающих а и находящихся с ней в одной плоскости; среди них есть две крайние b, b`, которые и называются параллельными прямой а в смысле Лобачевского. В моделях Клейна (Пуанкаре) они изображаются хордами (дугами окружностей), имеющими с хордой (дугой) а общий конец (который по определению модели исключается, так что эти прямые не имеют общих точек) (рис. 1,3). Угол ее между прямой b (или b`) и перпендикуляром из О на а - т. н. угол параллельности - по мере удаления точки О от прямой убывает от 90° до 0° (в модели Пуанкаре углы в обычном смысле совпадают с углами в смысле Лобачевского, и потому на ней этот факт можно видеть непосредственно). Параллель b с одной стороны (а b` с противоположной) асимптотически приближается к а, а с другой - бесконечно от неё удаляется (в моделях расстояния определяются сложно, и потому этот факт непосредственно не виден).

4) Если прямые имеют общий перпендикуляр, то они бесконечно расходятся в обе стороны от него. К любой из них можно восстановить перпендикуляры, которые не достигают другой прямой.

5) Линия равных расстояний от прямой не есть прямая, а особая кривая, называемая эквидистантой, или гиперциклом.

6) Предел окружностей бесконечно увеличивающегося радиуса не есть прямая, а особая кривая, называемая предельной окружностью, или орициклом.

7) Предел сфер бесконечно увеличивающегося радиуса не есть плоскость, а особая поверхность - предельная сфера, или орисфера; замечательно, что на ней имеет место евклидова геометрия. Это служило Лобачевскому основой для вывода формул тригонометрии.

8) Длина окружности не пропорциональна радиусу, а растет быстрее.

9) Чем меньше область в пространстве или на плоскости Лобачевского, тем меньше геометрические соотношения в этой области отличаются от соотношений евклидовой геометрии. Можно сказать, что в бесконечно малой области имеет место евклидова геометрия. Например, чем меньше треугольник, тем меньше сумма его углов отличается от p; чем меньше окружность, тем меньше отношение её длины к радиусу отличается от 2p, и т. п. Уменьшение области формально равносильно увеличению единицы длины, поэтому при безграничном увеличении единицы длины формулы Лобачевского геометрия переходят в формулы евклидовой геометрии. Евклидова геометрия есть в этом смысле «предельный» случай Лобачевского геометрии.

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

Евклидова аксиома о параллельных (точнее, одно из эквивалентных ей утверждений, при наличии других аксиом) может быть сформулирована следующим образом:

Аксиома Лобачевского является точным отрицанием аксиомы Евклида (при выполнении всех остальных аксиом), так как случай, когда через точку, не лежащую на данной прямой, не проходят ни одной прямой, лежащей с данной прямой в одной плоскости и не пересекающей её, исключается в силу остальных аксиом (аксиомы абсолютной геометрии). Так, например, сферическая геометрия и геометрия Римана , в которых любые две прямые пересекаются, и следовательно, не выполнена ни аксиома о параллельных Евклида, ни аксиома Лобачевского, не совместимы с абсолютной геометрией.

Геометрия Лобачевского имеет обширные применения как в математике, так и в физике. Историческое и философское её значение состоит в том, что её построением Лобачевский показал возможность геометрии, отличной от евклидовой , что знаменовало новую эпоху в развитии геометрии , математики и науки вообще.

Энциклопедичный YouTube

1 / 5

✪ #177. ГЕОМЕТРИЯ ЛОБАЧЕВСКОГО (советский диафильм)

✪ Неевклидова геометрия. Часть 1. История математики

✪ Неевклидовы геометрии. Чуть-Чуть о Науке #Наука

✪ Общая теория относительности | гиперболическая геометрия | 1 | она же геометрия Лобачевского

✪ Неевклидова геометрия. Часть 2. История математики

Субтитры

История

Попытки доказательства пятого постулата

Отправным пунктом геометрии Лобачевского послужил V постулат Евклида - аксиома, эквивалентная аксиоме о параллельных . Он входил в список постулатов в «Началах» Евклида . Относительная сложность и неинтуитивность его формулировки вызывала ощущение его вторичности и порождала попытки вывести его как теорему из остальных постулатов Евклида.

Среди многих пытавшихся доказать пятый постулат были, в частности, следующие крупные учёные.

• Древнегреческие математики Птолемей (II в.) и Прокл (V в.) (основывался на предположении о конечности расстояния между двумя параллельными).
• Ибн аль-Хайсам из Ирака (конец - начало вв.) (основывался на предположении, что конец движущегося перпендикуляра к прямой описывает прямую линию).
• Иранские математики Омар Хайям (2-я половина - начало XII вв.) и Насир ад-Дин ат-Туси (XIII в.) (основывались на предположении, что две сходящиеся прямые не могут при продолжении стать расходящимися без пересечения).
• Первую в Европе известную нам попытку доказательства аксиомы параллельности Евклида предложил живший в Провансе (Франция) Герсонид (он же Леви бен Гершом, XIV век). Его доказательство опиралось на утверждение о существовании прямоугольника .
• Немецкий математик Клавиус ().
• Итальянские математики
  • Катальди (впервые в 1603 году напечатал работу, целиком посвященную вопросу о параллельных).
  • Борелли (), Дж. Витале ().
• Английский математик Валлис ( , опубликовано в ) (основывался на предположении, что для всякой фигуры существует ей подобная, но не равная фигура).
• Французский математик Лежандр () (основывался на допущении, что через каждую точку внутри острого угла можно провести прямую, пересекающую обе стороны угла; у него также были другие попытки доказательства).

При этих попытках доказательства пятого постулата математики вводили (явно или неявно) некоторое новое утверждение, казавшееся им более очевидным.

Были предприняты попытки использовать доказательство от противного:

• итальянский математик Саккери () (сформулировав противоречащее постулату утверждение, он вывел ряд следствий и, ошибочно признав часть из них противоречивыми, он счёл постулат доказанным),
• немецкий математик Ламберт (около , опубликовано в ) (проведя исследования , он признал, что не смог обнаружить в построенной им системе противоречия).

Наконец, стало возникать понимание того, что возможно построение теории, основанной на противоположном постулате:

• немецкие математики Швейкарт () и Тауринус () (однако они не осознали, что такая теория будет логически столь же стройной).

Создание неевклидовой геометрии

Лобачевский в работе «О началах геометрии» (), первой его печатной работе по неевклидовой геометрии, ясно заявил, что пятый постулат не может быть доказан на основе других посылок евклидовой геометрии, и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную и свободную от противоречий, как и евклидова.

Одновременно и независимо к аналогичным выводам пришёл Янош Бойяи , а Карл Фридрих Гаусс пришёл к таким выводам ещё раньше. Однако труды Бойяи не привлекли внимания, и он вскоре оставил эту тему, а Гаусс вообще воздерживался от публикаций, и о его взглядах можно судить лишь по нескольким письмам и дневниковым записям . Например, в письме 1846 года астроному Г. Х. Шумахеру Гаусс так отозвался о работе Лобачевского:

Это сочинение содержит в себе основания той геометрии, которая должна была бы иметь место и притом составляла бы строго последовательное целое, если бы евклидова геометрия не была бы истинной… Лобачевский называет её «воображаемой геометрией»; Вы знаете, что уже 54 года (с г.) я разделяю те же взгляды с некоторым развитием их, о котором не хочу здесь упоминать; таким образом, я не нашёл для себя в сочинении Лобачевского ничего фактически нового. Но в развитии предмета автор следовал не по тому пути, по которому шёл я сам; оно выполнено Лобачевским мастерски в истинно геометрическом духе. Я считаю себя обязанным обратить Ваше внимание на это сочинение, которое, наверное, доставит Вам совершенно исключительное наслаждение.

В итоге Лобачевский выступил как первый наиболее яркий и последовательный пропагандист новой геометрии. Хотя геометрия Лобачевского развивалась как умозрительная теория, и сам Лобачевский называл её «воображаемой геометрией», тем не менее именно он впервые открыто предложил её не как игру ума, а как возможную и полезную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации (модели).

Утверждение геометрии Лобачевского

В этих работах Бельтрами дал прозрачное геометрическое доказательство непротиворечивости новой геометрии, точнее того что геометрия Лобачевского противоречива тогда и только тогда когда противоречива геометрия Евклида. Лобачевский также располагал таким доказательством, но оно было сложнее, в одну сторону модель Евклидовой плоскости в геометрии Лобачевского, оно строилось с помощью модели как и у Бельтрами, в другую сторону шло аналитически.

ln ⁡ (A N A M B M B N) {\displaystyle \ln \left({\frac {AN}{AM}}{\frac {BM}{BN}}\right)}

Во внешней абсолюта, реализуется геометрия пространства анти-де Ситтера .

Конформно-евклидова модель

Другая модель плоскости Лобачевского, предложенная Бельтрами.

За плоскость Лобачевского принимается внутренность круга, прямыми считаются дуги окружностей, перпендикулярных окружности данного круга, и его диаметры, движениями - преобразования, получаемые комбинациями инверсий относительно окружностей, дуги которых служат прямыми.

Модель Пуанкаре замечательна тем, что в ней углы изображаются обычными углами.

Поверхность постоянной отрицательной кривизны

Другое аналитическое определение геометрии Лобачевского состоит в том, что геометрия Лобачевского определяется как геометрия риманова пространства постоянной отрицательной кривизны. Это определение было фактически дано ещё в 1854 году Риманом и включало модель геометрии Лобачевского как геометрии на поверхностях постоянной кривизны. Однако Риман не связал прямо своих построений с геометрией Лобачевского, а его доклад, в котором он о них сообщил, не был понят и был опубликован лишь после его смерти (в 1868 году).

Содержание геометрии Лобачевского

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

Приведём (в современных обозначениях) несколько фактов геометрии Лобачевского, отличающих её от геометрии Евклида и установленных самим Лобачевским.

Через точку P , не лежащую на данной прямой R (см. рисунок), проходит бесконечно много прямых, не пересекающих R и находящихся с ней в одной плоскости; среди них есть две крайние x , y , которые и называются асимптотически параллельными (иногда просто параллельными) прямой R а остальные - ультрапараллельными .

Угол θ {\displaystyle \theta } между перпендикуляром PB из P на R и каждой из асимптотически параллельных (называемый углом параллельности ) по мере удаления точки P от прямой убывает от 90° до 0° (в модели Пуанкаре углы в обычном смысле совпадают с углами в смысле Лобачевского, и потому на ней этот факт можно видеть непосредственно). Параллель x с одной стороны (а y с противоположной) асимптотически приближается к а , а с другой - бесконечно от неё удаляется (в моделях расстояния определяются сложно, и потому этот факт непосредственно не виден).

Для точки, находящейся от заданной прямой на расстоянии PB = a (см. рисунок), Лобачевский дал формулу для угла параллельности П(a) :

θ = Π (a) = 2 arctg ⁡ e − a q {\displaystyle \theta =\Pi (a)=2\operatorname {arctg} ~e^{-{\frac {a}{q}}}}

Здесь q - некоторая постоянная, связанная с кривизной пространства Лобачевского. Она может служить абсолютной единицей длины аналогично тому, как в сферической геометрии особое положение занимает радиус сферы.

Если прямые имеют общий перпендикуляр, то они ультрапараллельны, то есть бесконечно расходятся в обе стороны от него. К любой из них можно восстановить перпендикуляры, которые не достигают другой прямой.

В геометрии Лобачевского не существует подобных, но неравных треугольников; треугольники равны, если их углы равны.

Сумма углов всякого треугольника меньше π {\displaystyle \pi } и может быть сколь угодно близкой к нулю (разница между 180° и суммой углов треугольника ABC в геометрии Лобачевского положительна - её называют дефектом этого треугольника). Это непосредственно видно на модели Пуанкаре. Разность δ = π − (α + β + γ) {\displaystyle \delta =\pi -(\alpha +\beta +\gamma)} , где α {\displaystyle \alpha } , β {\displaystyle \beta } , γ {\displaystyle \gamma } - углы треугольника, пропорциональна его площади:

S = q 2 ⋅ δ {\displaystyle S=q^{2}\cdot \delta }

Из формулы видно, что существует максимальная площадь треугольника, и это конечное число: π q 2 {\displaystyle \pi q^{2}} .

Линия равных расстояний от прямой не есть прямая, а особая кривая, называемая эквидистантой , или гиперциклом .

Предел окружностей бесконечно увеличивающегося радиуса не есть прямая, а особая кривая, называемая предельной окружностью , или орициклом .

Предел сфер бесконечно увеличивающегося радиуса не есть плоскость, а особая поверхность - предельная сфера, или орисфера ; замечательно, что на ней имеет место евклидова геометрия. Это служило Лобачевскому основой для вывода формул тригонометрии.

Длина окружности не пропорциональна радиусу, а растёт быстрее. В частности, в геометрии Лобачевского число π {\displaystyle \pi } не может быть определено как отношение длины окружности к её диаметру.

Чем меньше область в пространстве или на плоскости Лобачевского, тем меньше геометрические соотношения в этой области отличаются от соотношений евклидовой геометрии. Можно сказать, что в бесконечно малой области имеет место евклидова геометрия. Например, чем меньше треугольник, тем меньше сумма его углов отличается от π {\displaystyle \pi } ; чем меньше окружность, тем меньше отношение её длины к радиусу отличается от 2 π {\displaystyle 2\pi } , и т. п. Уменьшение области формально равносильно увеличению единицы длины, поэтому при безграничном увеличении единицы длины формулы геометрии Лобачевского переходят в формулы евклидовой геометрии. Евклидова геометрия есть в этом смысле «предельный» случай геометрии Лобачевского.

Заполнение плоскости и пространства правильными политопами

Плоскость Лобачевского может быть замощена не только правильными треугольниками , квадратами и шестиугольниками , но и любыми другими правильными многоугольниками . При этом в одной вершине паркета должно сходиться не менее 7 треугольников, 5 квадратов, 4 пяти- или шестиугольников, или 3 многоугольников с числом сторон более 6. То есть число различных замощений бесконечно и с помощью символа Шлефли (в одной вершине сходится M штук N -угольников) все замощения плоскости Лобачевского можно записать так:

• {3, 7}, {3, 8}, …, то есть {3, M }, где M ≥7;
• {4, 5}, {4, 6}, …, то есть {4, M }, где M ≥5;
• {5, 4}, {5, 5}, …, то есть {5, M }, где M ≥4;
• {6, 4}, {6, 5}, …, то есть {6, M }, где M ≥4;
• {N, M}, где N ≥7, M ≥3.

Каждое замощение { N , M } {\displaystyle \left\{N,M\right\}} требует строго определённого размера единичного N -угольника, в частности, его площадь должна равняться:

S { N ; M } = q 2 π (N − 2 − 2 N M) {\displaystyle S_{\left\{N;M\right\}}=q^{2}\pi \left(N-2-2{\frac {N}{M}}\right)}

В отличие от обычного пространства (трёхмерного евклидова пространства), которое можно заполнить правильными многогранниками только одним способом (по 8 кубов в вершине, или по четыре в ребре {4,3,4}), трёхмерное пространство Лобачевского можно замостить правильными многогранниками , как и на плоскости, бесконечным количеством способов. С помощью символа Шлефли { N , M , P } {\displaystyle \left\{N,M,P\right\}} (в одной вершине сходится M штук N -угольников, а в каждом ребре сходится по P многогранников) все замощения можно записать так: [ ]

• {3,3,6}, {3,3,7}, …, то есть {3,3,P }, где P ≥6;
• {4,3,5}, {4,3,6}, …, то есть {4,3,P }, где P ≥5;
• {3,4,4}, {3,4,5}, …, то есть {3,4,P }, где P ≥4;
• {5,3,4}, {5,3,5}, …. То есть {5,3,P }, где P ≥4;
• {3,5,3}, {3,5,4}, …, то есть {3,5,P }, где P ≥3.

Многогранники таких разбиений могут иметь бесконечный объём, за исключением конечного числа разбиений пространства на правильные многогранники с конечным объёмом:

• {3,5,3} (по три икосаэдра в ребре)
• {4,3,5} (по пять кубов в ребре)
• {5,3,4} (по четыре додекаэдра в ребре)
• {5,3,5} (по пять додекаэдров в ребре)

Кроме этого, существует 11 способов заполнить пространство Лобачевского правильными мозаичными орисферами ({3,4,4}, {3,3,6}, {4,3,6}, {5,3,6}, {4,4,3}, {6,3,3}, {6,3,4}, {6,3,5}, {6,3,6}, {4,4,4}, {3,6,3}). [ ]

Приложения

x 2 + y 2 + z 2 = c 2 t 2 {\displaystyle x^{2}+y^{2}+z^{2}=c^{2}t^{2}} при делении на t 2 {\displaystyle t^{2}} , то есть для скорости света, даёт v x 2 + v y 2 + v z 2 = c 2 {\displaystyle v_{x}^{2}+v_{y}^{2}+v_{z}^{2}=c^{2}} - уравнение сферы в пространстве с координатами v x {\displaystyle v_{x}} , v y {\displaystyle v_{y}} , v z {\displaystyle v_{z}} - составляющими скорости по осям х , у , z (в «пространстве скоростей»).

Плоскость Лобачевского

Геометрия Лобачевского (гиперболическая геометрия ) - одна из неевклидовых геометрий , геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия , за исключением аксиомы о параллельных , которая заменяется на аксиому о параллельных Лобачевского .

Евклидова аксиома о параллельных гласит:

через точку, не лежащую на данной прямой, проходит только одна прямая, лежащая с данной прямой в одной плоскости и не пересекающая её.

В геометрии Лобачевского, вместо неё принимается следующая аксиома:

через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её.

Геометрия Лобачевского имеет обширные применения как в математике, так и в физике. Историческое её значение состоит в том, что её построением Лобачевский показал возможность геометрии, отличной от евклидовой, что знаменовало новую эпоху в развитии геометрии и математики вообще.

История

Попытки доказательства пятого постулата

Отправным пунктом геометрии Лобачевского послужил V постулат Евклида - аксиома, эквивалентная аксиоме о параллельных . Он входил в список постулатов в «Началах» Евклида). Относительная сложность и неинтуитивность его формулировки вызывала ощущение его вторичности и порождала попытки вывести его из остальных постулатов Евклида.

Среди пытавшихся доказать были следующие учёные:

• древнегреческие математики Птолемей (II в.), Прокл (V в.) (основывался на предположении о конечности расстояния между двумя параллельными),
• Ибн аль-Хайсам из Ирака (конец - начало вв.) (основывался на предположении, что конец движущегося перпендикуляра к прямой описывает прямую линию),
• иранский математики Омар Хайям (2-я половина - начало XII вв.) и Насир ад-Дин ат-Туси (XIII в.) (основывались на предположении, что две сходящиеся прямые не могут при продолжении стать расходящимися без пересечения),
• немецкий математик Клавиус (),
• итальянские математики
  • Катальди (впервые в 1603 году напечатал работу, целиком посвященную вопросу о параллельных),
• английский математик Валлис ( , опубликовано в ) (основывался на предположении, что для всякой фигуры существует ей подобная, но не равная фигура),
• французский математик Лежандр () (основывался на допущении, что через каждую точку внутри острого угла можно провести прямую, пересекающую обе стороны угла; у него также были другие попытки доказательства).

При этих попытках доказательства пятого постулата математики вводили некоторое новое утверждение, казавшееся им более очевидным.

Были предприняты попытки использовать доказательство от противного:

• итальянский математик Саккери () (сформулировав противоречащее постулату утверждение, он вывел ряд следствий и, ошибочно признав часть из них противоречивыми, он счёл постулат доказанным),
• немецкий математик Ламберт (около , опубликовано в ) (проведя исследования , он признал, что не смог обнаружить в построенной им системе противоречия).

Наконец, стало возникать понимание о том, что возможно построение теории, основанной на противоположном постулате:

• немецкие математики Ф. Швейкарт () и Тауринус () (однако они не осознали, что такая теория будет логически столь же стройной).

Создание неевклидовой геометрии

Лобачевский в работе «О началах геометрии» (), первой его печатной работе по неевклидовой геометрии, ясно заявил, что V постулат не может быть доказан на основе других посылок евклидовой геометрии, и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную, как и евклидова, и свободную от противоречий.

Одновременно и независимо к аналогичным выводам пришёл Янош Бойяи , а Карл Фридрих Гаусс пришёл к таким выводам ещё раньше. Однако труды Бойяи не привлекли внимания, и он вскоре оставил эту тему, а Гаусс вообще воздерживался от публикаций, и о его взглядах можно судить лишь по нескольким письмам и дневниковым записям. Например, в письме 1846 года астроному Г. Х. Шумахеру Гаусс так отзывается о работе Лобачевского:

Это сочинение содержит в себе основания той геометрии, которая должна была бы иметь место и притом составляла бы строго последовательное целое, если бы евклидова геометрия не была бы истинной… Лобачевский называет ее «воображаемой геометрией»; Вы знаете, что уже 54 года (с 1792 г.) я разделяю те же взгляды с некоторым развитием их, о котором не хочу здесь упоминать; таким образом, я не нашёл для себя в сочинении Лобачевского ничего фактически нового. Но в развитии предмета автор следовал не по тому пути, по которому шёл я сам; оно выполнено Лобачевским мастерски в истинно геометрическом духе. Я считаю себя обязанным обратить Ваше внимание на это сочинение, которое, наверное, доставит Вам совершенно исключительное наслаждение.

В итоге Лобачевский выступил как первый наиболее яркий и последовательный пропагандист этой теории.

Хотя геометрия Лобачевского развивалась как умозрительная теория и сам Лобачевский называл её «воображаемой геометрией», тем не менее именно Лобачевский рассматривал её не как игру ума, а как возможную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации и тем полностью решён вопрос о её реальном смысле, логической непротиворечивости.

Утверждение геометрии Лобачевского

угол - ещё сложнее.

Модель Пуанкаре

Содержание геометрии Лобачевского

Пучок параллельных прямых в геометрии Лобачевскоого

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

Приведём (в современных обозначениях) несколько фактов геометрии Лобачевского, отличающих её от геометрии Евклида и установленных самим Лобачевским.

Через точку P , не лежащую на данной прямой R (см. рисунок), проходит бесконечно много прямых, не пересекающих R и находящихся с ней в одной плоскости; среди них есть две крайние x , y , которые и называются параллельными прямой R в смысле Лобачевского. В моделях Клейна (Пуанкаре) они изображаются хордами (дугами окружностей), имеющими с хордой (дугой) R общий конец (который по определению модели исключается, так что эти прямые не имеют общих точек).

Угол между перпендикуляром PB из P на R и каждой из параллельных (называемый углом параллельности ) по мере удаления точки P от прямой убывает от 90° до 0° (в модели Пуанкаре углы в обычном смысле совпадают с углами в смысле Лобачевского, и потому на ней этот факт можно видеть непосредственно). Параллель x с одной стороны (а y с противоположной) асимптотически приближается к а , а с другой - бесконечно от неё удаляется (в моделях расстояния определяются сложно, и потому этот факт непосредственно не виден).

Для точки, находящейся от заданной прямой на расстоянии PB = a (см. рисунок), Лобачевский дал формулу для угла параллельности П(a) :

Здесь q - некоторая постоянная, связанная с кривизной пространства Лобачевского. Она может служить абсолютной единицей длины аналогично тому, как в сферической геометрии особое положение занимает радиус сферы.

Если прямые имеют общий перпендикуляр, то они бесконечно расходятся в обе стороны от него. К любой из них можно восстановить перпендикуляры, которые не достигают другой прямой.

В геометрии Лобачевского не существует подобных, но неравных треугольников; треугольники равны, если их углы равны.

Сумма углов всякого треугольника меньше π и может быть сколь угодно близкой к нулю. Это непосредственно видно на модели Пуанкаре. Разность δ = π − (α + β + γ) , где α , β , γ - углы треугольника, пропорциональна его площади:

Из формулы видно, что существует максимальная площадь треугольника, и это конечное число: πq 2 .

Линия равных расстояний от прямой не есть прямая, а особая кривая, называемая эквидистантой , или гиперциклом .

Предел окружностей бесконечно увеличивающегося радиуса не есть прямая, а особая кривая, называемая предельной окружностью , или орициклом .

Предел сфер бесконечно увеличивающегося радиуса не есть плоскость, а особая поверхность - предельная сфера, или орисфера ; замечательно, что на ней имеет место евклидова геометрия. Это служило Лобачевскому основой для вывода формул тригонометрии.

Длина окружности не пропорциональна радиусу, а растёт быстрее. В частности, в геометрии Лобачевского число π не может быть определено как отношение длины окружности к её диаметру.

Чем меньше область в пространстве или на плоскости Лобачевского, тем меньше геометрические соотношения в этой области отличаются от соотношений евклидовой геометрии. Можно сказать, что в бесконечно малой области имеет место евклидова геометрия. Например, чем меньше треугольник, тем меньше сумма его углов отличается от π ; чем меньше окружность, тем меньше отношение её длины к радиусу отличается от 2π , и т. п. Уменьшение области формально равносильно увеличению единицы длины, поэтому при безграничном увеличении единицы длины формулы геометрии Лобачевского переходят в формулы евклидовой геометрии. Евклидова геометрия есть в этом смысле «предельный» случай геометрии Лобачевского.

Приложения

• Сам Лобачевский применил свою геометрию к вычислению определённых интегралов .
• В теории функций комплексного переменного геометрия Лобачевского помогла построить теорию автоморфных функций . Связь с геометрией Лобачевского была здесь отправным пунктом исследований Пуанкаре , который писал, что «неевклидова геометрия есть ключ к решению всей задачи».
• Геометрия Лобачевского находит применение также в теории чисел , в её геометрических методах, объединённых под названием «геометрия чисел ».
• Была установлена тесная связь геометрии Лобачевского с кинематикой специальной (частной) теории относительности . Эта связь основана на том, что равенство, выражающее закон распространения света

при делении на t 2 , то есть для скорости света, даёт - уравнение сферы в пространстве с координатами v x , v y , v z - составляющими скорости по осям х , у , z (в «пространстве скоростей»). Преобразования Лоренца сохраняют эту сферу и, так как они линейны, переводят прямые пространства скоростей в прямые. Следовательно, согласно модели Клейна, в пространстве скоростей внутри сферы радиуса с , то есть для скоростей, меньших скорости света, имеет место геометрия Лобачевского.

• Замечательное приложение геометрия Лобачевского нашла в общей теории относительности . Если считать распределение масс материи во Вселенной равномерным (это приближение в космических масштабах допустимо), то оказывается возможным, что при определённых условиях пространство имеет геометрию Лобачевского. Таким образом, предположение Лобачевского о его геометрии как возможной теории реального пространства оправдалось.
• При помощи модели Клейна, даётся очень простое и короткое доказательство