Курсовая работа "Геометрия Лобачевского и ее модели"

Зверева Диана Александровна

Предварительный просмотр:

Министерство Образования и Науки Российской Федерации

Федеральное Агентство по Образованию

Елецкий Государственный Университет им. И.А. Бунина

Физико-математический факультет

Кафедра алгебры и геометрии

Курсовая работа

на тему:

«Геометрия Лобачевского и ее модели».

Выполнил: студент 4 курса

                                                                                       группы М-41: Зверева Д.А.

                                                                                 Научный руководитель:

                                                               Подаева Н.Г.

Елец 2009г.

Оглавление.

I. Введение……………………………………………………….…………………3

II. Н.И.Лобачевский и его геометрия……………………………………….…… 6

III. Пятый Постулат Евклида…………………………………………….………..9

IV. Система аксиом Гильберта………………………………………….……….12

        Группа 1. Аксиомы принадлежности…………………………………….12

        Группа 2. Аксиомы порядка………………………………………………13

        Группа 3. Аксиомы конгруэнтности……………………………………...14

        Группа 4. Аксиомы непрерывности………………………………………15

        Группа 5. Аксиома параллельности………………………………………16

V. Аксиома Лобачевского . параллельные прямые по Лобачевскому …….....17

VI. Теорема о существовании параллельных прямых……………………...….19

VII. Треугольники и четырехугольники на плоскости Лобачевского……...…24

VIII. Взаимное расположение двух прямых на плоскости Лобачевского…....26

IX. Три модели геометрии Лобачевского……………………………………….31

        1) Модель Пуанкре……………………………………………………...…31

        2) Модель Клейна………………………………………………………….32

        3) Интерпритация Бельтрами………………………………...……...……34

X. Практическое применение геометрии Лобачевского………………...……..35

  1. Теорема Пифагора…………………………………………………..……..35
  2. Замечание к теореме Пифагора……………………………………...……36
  3. Площадь треугольника…………………………………...…….…………37
  4. Длина окружности и площадь круга………………………....…………..38

XI. Вывод………………………………………………………………………….38

XII. Список литературы..................................................................................…...40

I. Введение.

Геометрия – это одна из древнейших наук. Исследовать различные пространственные формы издавна побуждало людей их практическая деятельность. Древнегреческий ученый Эдем Родосский в IV веке до нашей эры писал: «Геометрия была открыта египтянами, и возникла при измерении Земли. Это измерение было им необходимо вследствие разлития реки Нил, постоянно смывавшей границы. Нет ничего удивительного, что эта наука, как и другие, возникла из потребности человека».

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

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

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

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

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

Данная тема интересна мне по нескольким  причинам: теория геометрии Лобачевского помогает взглянуть по-другому на окружающий нас мир, это

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

Неевклидова геометрия появилась вследствие долгих попыток доказать V постулат Евклида, аксиому параллельности. Эта геометрия во многом удивительна, необычна и во многом не соответствует нашим привычным представлениям о реальном мире. Но в логическом отношении данная геометрия не уступает геометрии Евклида.

Попытки логически безупречно обосновать геометрию продолжались в течение многих сотен лет. Открытие в начале XIX века неевклидовой геометрии Н.И. Лобачевским, Я. Бойяи и К. Гауссом явились толчком к дальнейшему развитию аксиоматического метода, который привел к попыткам нового дедуктивного построения геометрии, отвечающего современным требованиям науки.

Так, немецкий математик М. Паш предложил аксиомы порядка, связанные с логически необоснованным до тех пор понятием «между». Итальянские математики Дж. Пеано, Дж. Веронезе, М. Пиери также внесли определенный вклад в дальнейшее обоснование геометрии в разработку аксиоматики обоснования арифметики. Г. Кантор и Р. Дедекинд исследовали аксиомы непрерывности.

        В связи с этими достижениями перед наукой встала историческая задача, связанная со строгим обоснованием геометрии на рубеже XIX и XX столетий, решение которой было предложено, независимо друг от друга, рядом ученых. В истории развития аксиоматического метода важную роль сыграли аксиомы Д. Гильберта, немецкого ученого (1862-1943), выделявшегося среди плеяды ученых того периода. Эти аксиомы в свое время соответствовали уровню строгости геометрии. В 1899 г. Д. Гильберт писал: «Геометрия, так же как и арифметика, требует для своего построения только немногих простых основных положений. Эти основные положения называются аксиомами геометрии. Установление аксиом геометрии и исследование их взаимоотношений - это задача, которая со времен Евклида явилась темой многочисленных прекрасных произведений математической литературы. Задача эта сводится к логическому анализу нашего пространственного представления.

Аксиоматический метод, впервые разработанный Д. Гильбертом в геометрии с новых позиций, проник и в другие ветви математики: в теорию множеств, алгебру, топологию, теорию вероятностей и др. Кроме этого, аксиоматический метод стал использоваться и при построении других наук, в особенности физики. Эти достижения связаны с переворотом в геометрии, совершенным Н.И. Лобачевским. Исторически сложилось, что именно к пятому постулату Евклида на протяжении многих веков было привлечено внимание математиков. Глубоко проанализировав попытки доказательства пятого постулата, как свои, так и принадлежащие другим математикам, Н.И. Лобачевский пришел к убеждению о независимости этого постулата от остальных аксиом, т.е. к непротиворечивости геометрии, в которой аксиоматизируется существование двух различных прямых, проходящих  через данную точку параллельно заданной прямой.

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

В 70-е годы прошлого столетия была доказана непротиворечивость геометрии, по праву получившей имя Лобачевского. Доказательство это было построено с помощью моделей Кэли-Клейна и Пуанкаре.

II.Н. И. Лобачевский и его геометрия.

 До начала XIX столетия ни одна из попыток доказательства V постулата не увенчалась успехом. Таким образом, проблема V постулата оставалась неразрешимой. И только в начале XIX в. были получены результаты, которые привели к решению этой проблемы. Основная заслуга в этом принадлежит знаменитому русскому ученому Н. И. Лобачевскому.

Николай Иванович Лобачевский родился 2 декабря 1792 г. в Нижнем Новгороде (ныне г. Горький). Он окончил гимназию при Казанском университете, а затем и Казанский университет, после чего был оставлен там преподавателем. С 1816 г. Н. И. Лобачевский — профессор того же университета, с 1827 по 1846 г.— ректор университета. С 1846 по 1855 г.— помощник попечителя Казанского учебного округа. Н. И. Лобачевский скончался 24 февраля 1856 г.

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

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

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

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

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

Результаты Лобачевского оказались настолько необычными для математиков, воспитанных на идеях геометрии Евклида, что не были поняты большинством из его современников   (и даже академиком М.В.Остроградским — одним из крупнейших математиков XIX в.). Лишь после смерти Гаусса, когда была опубликована переписка Гаусса с некоторыми его друзьями-математиками, в которой содержались восторженные отзывы об исследованиях Лобачевского и Бояи, внимание математиков всего мира было привлечено к геометрии Лобачевского; появились многочисленные исследования, связанные с ней. Особое впечатление произвела работа Бельтрами «Опыт интерпретации неевклидовой геометрии», опубликованная в 1868 г.  В ней были указаны поверхности, на которых в малом осуществляется двумерная геометрия Лобачевского.

Наконец, в 1871 г. знаменитый немецкий математик Ф.Клейн (1849—1925) в работе «О так называемой неевклидовой геометрии» доказал непротиворечивость геометрии Лобачевского, чем устранил последние сомнения в ее правомерности.

Исследования Лобачевского получили широкое признание после его смерти. Оказалось, что работы Лобачевского по геометрии представляют собой новый этап в развитии естествознания (недаром английский математик XIXв. Клиффорд называл Лобачевского Коперником геометрии). До Лобачевского евклидову геометрию считали единственно возможным учением о пространстве. Работы Лобачевского опровергли такой взгляд, привели к широким обобщениям в геометрии и их важнейшим приложениям в различных разделах математики, механики, физики и астрономии.

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

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

В конце XIX и в начале XX в. появились многочисленные работы по обоснованию геометрии ряда таких крупнейших математиков, как Паш, Пеано, Пиери, Гильберт, Вейль и др. Наиболее исчерпывающими явились работы Гильберта и Вейля. Эти исследования оказали большое влияние на формирование аксиоматического метода, который применяется во всех разделах современной математики.

Книга Гильберта «Основания геометрии», вышедшая в 1899 г., сыграла существенную роль в этой серии исследований. Она в 1903 г. была удостоена Международной премии имени Н. И. Лобачевского. В ней впервые дан список аксиом, достаточный для логического построения евклидовой  геометрии. Можно сказать, что с «Оснований геометрии» Гильберта начинается современный аксиоматический метод в математике. Однако рассмотрим все по порядку.

III. Пятый постулат Евклида.

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

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

□ Пусть при пересечении прямых а и b секущей АВ накрест лежащие углы равны (например, 1 = 2 на рис. 206). Если допустить, что прямые а и b пересекаются в некоторой точке Р, то получим треугольник АВР, у которого один из углов при вершине А или В равен внешнему углу при другой вершине (см. рис.).

Но это противоречит теореме о внешнем угле треугольника. Второе утверждение теоремы непосредственно следует из доказанного. Чтд.

Возникает вопрос: сколько же через точку М, не лежащую на прямой а, проходит прямых, параллельных прямой а? Ответ на него дает следующая теорема.

Теорема 1. Если имеет место V постулат, то через каждую точку М, не лежащую на прямой а, проходит только одна прямая, параллельная прямой а.

□ Проведем прямую MN, перпендикулярную к прямой а, N  а, и прямую b, проходящую через точку М перпендикулярно к прямой MN (см. рис ниже). Тогда прямые а и b параллельны.

Проведем через точку М произвольную прямую b’ отличную от прямой b. Один из смежных углов 1 либо 2,  отмеченных на  этом же рисунке , острый;  пусть 1 острый. При пересечении прямых а и b' с прямой MN получаем внутренние односторонние углы:  1 и 3, сумма которых меньше двух прямых углов, значит, по V постулату прямые а и b' пересекаются.  ■

Существует и обратная теорема:

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

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

Лемма 2. Для произвольного треугольника ABC можно построить   треугольник   А1В1С1   так,   чтобы   АВС = А1В1С1    и   А1

Теорема 4. Сумма углов любого треугольника не больше 2d.

□ Теорему докажем методом от противного. Пусть существует треугольник ABC, такой, что  АВС = 2d + , где  > 0. Применяя предыдущую лемму к треугольнику ABC n раз, построим треугольник АпВпСп, удовлетворяющий условиям  АпВпСп = АВС и Аn   А.  Выберем п так, чтобы  1/2n   А<  .   Тогда Ап < . Так как Аn + Вn + Сп = 2d + , то Вп + Сп> 2d.

С другой стороны, легко доказать, что Вп + Сп < 2d. В самом деле, если  - мера внешнего угла треугольника АпВпСп, смежного с углом Вп, то > Сп, а по теореме о смежных углах   + Вп = 2d, поэтому Вп + Cn 2d. Мы пришли к противоречию, следовательно, не существует такого треугольника ABC, сумма углов которого больше   чем 2d. Чтд.

Итак, сумма углов любого треугольника не больше 2d. Но не может ли получиться так, что у одних треугольников эта сумма меньше 2d, а у других равна 2d? Отрицательный ответ на этот вопрос дает вторая теорема Саккери — Лежандра.

Теорема 5. Если в одном треугольнике сумма углов равна 2d, то сумма углов любого треугольника равна 2d.  \

Итак  получаем еще одно предположение, эквивалентное V постулату: существует хотя бы один треугольник, сумма углов которого равна 2d.

IV. Система аксиом  Гильберта.

По Гильберту, предполагается, что даны три различных множества. Элементы первого множества называются точками, элементы второго множества — прямыми, а элементы третьего множества — плоскостями (основные объекты). Точки, прямые и плоскости обозначаются соответственно буквами  А, В, С, ...; а, b, с, ...; , , , ... . Элементы этих множеств находятся в определенных отношениях, которые называются: «принадлежность», «лежать между» и «конгруэнтность» (основные отношения). Природа основных понятий, т. е. основных объектов и основных отношений, может быть какой угодно, но они должны удовлетворять определенным аксиомам, которые я перечислю ниже.

Список Гильберта содержит 20 аксиом, которые разделяются на пять групп.

 Группа 1. Аксиомы   принадлежности.

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

11  Каковы бы ни были две точки А, В, существует прямая а, проходящая через эти точки.

22. Каковы бы ни были две точки А и В, существует не более одной прямой, проходящей через эти точки.

13.         На каждой прямой лежат по крайней мере две точки. Существуют по крайней мере три точки, не лежащие на одной прямой.

14.         Каковы бы ни были три точки А, В, С, не лежащие на одной
прямой, существует плоскость а, проходящая через эти точки. На
каждой плоскости лежит хотя бы одна точка.

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

16. Если две точки А и Б прямой а лежат в плоскости а, то каждая точка прямой а лежит в плоскости а.

В этом случае говорят, что прямая а лежит в плоскости а или плоскость а проходит через прямую а.

17.  Если две плоскости а и b имеют общую точку А, то они имеют по крайней мере еще одну общую точку В.

18. Существуют по крайней мере четыре точки, не лежащие в одной плоскости.

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

1о. Две прямые имеют не более одной общей точки.

2°. Если две плоскости имеют общую точку, то они имеют общую прямую, на которой лежат все общие точки этих двух плоскостей.

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

4°. На каждой плоскости существуют три точки, не лежащие на одной прямой.

 Группа II.  Аксиомы порядка.

Предполагается, что точка на прямой может находиться в известном отношении к двум другим точкам той же прямой; это отношение выражается словами «лежать между». Если точка В лежит между точкой А и точкой С, то мы запишем так: А — В — С. При этом должны быть удовлетворены следующие четыре аксиомы.

II1.  Если А В — С, то А, В, С — различные точки одной прямой и С - В - А.

    II2. Каковы бы ни были две точки А и В, существует по крайней мере одна точка С на прямой АВ, такая, что А — В С.

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

По Гильберту, отрезком  АВ (или В А) называется пара точек А и В. Точки А и В называются концами отрезка, а любая точка, лежащая между ними,— внутренней точкой отрезка или просто точкой отрезка.

    II4. (аксиома Паша). Пусть А, В, С — три точки, не лежащие на одной прямой, а а — прямая в плоскости ABC, не проходящая ни через одну из точек А, В, С. Тогда если прямая а проходит через точку отрезка АВ, то она проходит также через точку отрезка АС или ВС.

С помощью аксиом групп I и II доказываются многие факты геометрии и вводится ряд основных определений. Прежде всего можно доказать, что между любыми точками существует по крайней мере одна точка, а отсюда легко прийти к выводу, что любой отрезок (а следовательно, и любая прямая) содержит бесконечное множество точек.

 Группа III.  Аксиомы   конгруэнтности.

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

III1 Если даны отрезок АВ и луч, исходящий из точки А', то существует точка В', принадлежащая данному лучу, такая, что АВ = А'В'.

Можно доказать,  что точка  В'  на данном  луче  единственная.

III2. Если А'В' = АВ и А"В" = АВ, то А'В' = А" В".

III3. Пусть А В — С, А’ - В' — С, АВ = А'В' и ВС = В'С’. Тогда АС = А'С’.

III4. Пусть даны hk и флаг (О', h', '). Тогда в полуплоскости ' существует один и только один луч к', исходящий из точки О',  такой, что hk = h'k'.

Каждый угол конгруэнтен самому себе.

III5. Пусть А, В, С — три точки, не лежащие на одной прямой, и А', В', С’ — тоже три точки, не лежащие на одной прямой. Если при этом АВ = А'В', АС = А'С’, BAC = В'А'С’, то АВС = А'В'С’.

Вот некоторые теоремы, которые следуют из аксиом конгруэнтности.

1°. Отношение конгруэнтности отрезков является отношением эквивалентности на множестве отрезков.

2°. В равнобедренном треугольнике углы при основании равны.

3°. Первый, второй и третий признаки равенства треугольников.

4о . Отношение конгруэнтности углов является отношением эквивалентности на множестве углов.

5°. Внешний угол треугольника больше каждого угла треугольника, несмежного с ним.

6°. В каждом треугольнике против большей стороны лежит больший угол и обратно: против большего угла лежит  большая сторона.

7°. Любой отрезок имеет одну и только одну середину.

8°. Любой угол имеет одну и только одну биссектрису.

Группа IV.  Аксиомы непрерывности.

IV1 (аксиома Архимеда). Пусть АВ и CD — какие-нибудь отрезки. Тогда на прямой АВ существует конечное множество точек А1, А2,  ..., Ап, таких, что выполняются условия:  

а)   А— А1 —- А2, А1 — А2 — А3,     ...,    Аn-2 — An-1— Ап

     б)    АА1= А1А2 = ...= = Ап-1Ап = CD;

в) А — В — Ап.

IV2 (аксиома Кантора). Пусть на произвольной прямой а дана бесконечная последовательность отрезков A1B1;. А2 В2, ..., из которых каждый последующий лежит внутри предыдущего и, кроме того, для любого отрезка CD найдется натуральное число n, такое, что АпВп < CD. Тогда на прямой а существует точка М, принадлежащая каждому из отрезков данной последовательности.

Ясно, что такая точка М единственная. В самом деле, если предположить, что точка N, отличная от точки М, также принадлежит каждому из отрезков данной последовательности, то получим АпВп  MN при любом п, что противоречит аксиоме.

К важнейшим следствиям из аксиом групп I—IV относится теория измерения отрезков и углов.

Для обоснования евклидовой теории параллельных Гильберт к аксиомам групп I—IV добавляет еще одну аксиому параллельных прямых.

Группа V.  Аксиома   параллельности.

Пусть а — произвольная прямая, а А—точка, не лежащая на этой прямой. Тогда в плоскости, определяемой точкой А и прямой а, существует не более одной прямой, проходящей через А и не пересекающей а, эта аксиома эквивалентна V постулату Евклида.

На основе всех аксиом групп I—V можно построить теорию параллельных прямых по Евклиду, доказать теоремы о сумме углов треугольника и выпуклого многоугольника, изучить свойства параллелограммов и трапеций, построить теорию подобия и т. д. Заметим еще, что аксиомы групп I—V позволяют обосновать обычную тригонометрию, изучаемую в средней школе, а также декартову аналитическую геометрию. В частности, пользуясь теоремой Пифагора, для доказательства которой необходимо использовать аксиому V, выводится известная формула для вычисления расстояния между двумя точками по координатам этих точек. Кроме того, доказывается, что плоскость в пространстве определяется уравнением первой степени, а прямая — системой двух уравнений с тремя переменными. Таким образом, предоставляется  возможность приложить алгебру к доказательству теорем геометрии.

Отмечу, пользуясь аксиомами групп I—V, можно ввести понятия площади многоугольника и объема многогранника.

         Геометрию, построенную на аксиомах групп I—IV, называют абсолютной геометрией. Вышеуказанные теоремы и определения являются теоремами абсолютной геометрии.

V. Аксиома Лобачевского.        

Параллельные прямые по Лобачевскому.

1. Геометрия Лобачевского (или гиперболическая геометрия) основана на аксиомах групп I—IV абсолютной геометрии и на следующей аксиоме Лобачевского.

V*. Пусть а — произвольная прямая, а A — точка, не лежащая на этой прямой. Тогда в плоскости, определяемой точкой А и прямой а, существует не менее двух прямых, проходящих через точку А и не пересекающих прямую а.

 

рис 1                                              рис 2

Из аксиомы V* непосредственно следует, что если даны произвольная прямая а и точка А, не лежащая на ней, то существует бесконечное множество прямых, проходящих через точку А и не пересекающих прямую а.  В самом деле, по аксиоме V* существуют две прямые, которые обозначим через b и с, проходящие через точку А и не пересекающие прямую а (рис. 1). Прямые b и с  образуют две пары вертикальных углов, которые на рисунке 2 обозначены цифрами 1, 2 и 3, 4.  Прямая а не пересекает прямые b и с, поэтому все ее точки принадлежат внутренней области одного из четырех углов 1, 2, 3, 4, например внутренней области угла 1. Тогда, очевидно, любая прямая, проходящая через точку А и лежащая внутри вертикальных углов 3 и 4, не пересекает прямую а (например, прямые L и d на рис. 1).

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

2. Введем следующее определение. Прямая АВ называется параллельной прямой CD, если эти прямые не имеют общих точек и, каковы бы ни были точки Р и Q, лежащие соответственно на прямых АВ и CD, любой внутренний луч1 угла QPB пересекает луч QD (рис. 2). Если прямая АВ параллельна прямой CD, то пишут так: AB||CD.

Имеет место следующий признак параллельности прямых.

Теорема 1. Если прямые АВ и CD не имеют общих точек и существуют точки Р и Q, такие, что Р  АВ и Q  CD, и любой внутренний луч угла QPB пересекает луч QD, то AB||CD.

Для доказательства теоремы достаточно установить, что, каковы бы ни были точки Р' и Q', лежащие соответственно на прямых АВ и CD, любой внутренний луч h угла Q'P'B пересекает луч Q'D. Возможны три случая: точка Р' совпадает с точкой Р; б) точка Р' принадлежит лучу РА; в) точка Р' принадлежит лучу РВ.

 Рассмотрим первые два случая,

а)        Точка Р' совпадает с точкой Р. Если Q' — точка
луча
QC, то Q'P'B является объединением углов Q'PQ и QPB, по
этому луч
h либо лежит внутри угла Q'P'Q, либо совпадает с лучом PQ, либо лежит внутри угла QPB (рис. 3 а). В первом и во
втором случаях луч
h пересекает отрезок Q'Q, поэтому пересекает
и луч
Q'Q. В третьем случае луч h по условию теоремы пересекает
луч
QD и, следовательно, луч Q'D.

Если Q' — точка луча QD, то угол Q'P'B является частью угла QPB (рис. 3, б). Поэтому луч h является внутренним лучом угла QPB и по условию теоремы пересекает луч QD. Точка пересечения является точкой луча Q'D, так как h не проходит внутри угла QPQ' и поэтому не пересекает отрезок QQ'.

б)        Точка Р' принадлежит лучу РА. Луч h лежит
внутри угла
Q'P'P, поэтому h пересекает отрезок PQ' в некоторой
точке
М (рис. 4). Отложим от луча РВ в полуплоскость, содержащую прямую CD, угол ВРМ', равный углу РР'М. Так как BPQ'
внешний угол треугольника
PP'Q', то PP'Q' < LBPQ', поэтому
РР'М < BPQ'. Отсюда следует, что РМ' — внутренний луч
угла
BPQ'. Следовательно, по доказанному (см. случай а) ) этот
луч пересекает луч
Q'D в некоторой точке Mi (рис. 4). Прямая Р'М
пересекает сторону PQ' треугольника PQ'M\ и не пересекает сторо
ну
РМ\ (так как ВРМ1 = BP'M), поэтому по аксиоме Паша
прямая
Р'М пересекает отрезок Q'М1. Таким образом, луч h пересекает луч Q'D. Чтд.

Рис 3 а                                                              Рис.3 б

Рис. 4    

                                                               

VI. Теорема о существовании параллельных прямых.

Теорема 2. Пусть АВ произвольная направленная прямая, а М точка, не лежащая на ней. Тогда в плоскости МАВ существует одна и только одна прямая CD, проходящая через точку М и параллельная прямой АВ, т. е. CD||AB.                                                             

                      рис 5  .                                                   рис 6.

2. Рассмотрим перпендикуляр MN, проведенный из точки М к прямой АВ, и прямую MP, перпендикулярную к прямой MN (рис. 5). Мы предполагаем, что точки Р и В лежат по одну сторону от прямой MN. По лемме 1 прямые MP и NB не пересекаются.

Точки отрезка NP разобьем на два класса К1 и К2  по следующему закону. К первому классу отнесем те точки X этого отрезка, которые удовлетворяют условию: луч MX пересекает луч NB, а ко второму классу — все остальные точки отрезка NP. Докажем, что указанное разбиение удовлетворяет условиям а) и б) предложения Дедекинда.

а)        Очевидно, N  К1 и Р  К2. Класс К1 содержит точки, отличные от N, например, точки X пересечения луча МХ1 с отрезком NP, где
Х1 — произвольная точка луча NB (рис. 5). Класс K2 содержит
точки, отличные от
Р. В самом деле, по аксиоме V* существует пря
мая MS
1, отличная от прямой MP и не пересекающая прямую АВ.
Прямая MS2, симметричная прямой MS1 относительно прямой MN,
также не пересекает прямую АВ (рис. 5). Одна из прямых MS1 или
MS2 проходит внутри угла NMP, поэтому пересекает отрезок NP в некоторой точке Y, принадлежащей классу К2

б)        Пусть X — произвольная точка класса К1, отличная от N, а
Y — точка второго класса. Тогда  N —
X — У, так как в противном
случае имеем
N — Y — X, что означает, что луч MY — внутренний
луч угла
NMX. Отсюда следует, что луч MY пересекает отрезок
1  т. е. У  К1.

Итак, на множестве точек отрезка NP имеем дедекиндово сечение. Пусть точка D производит это сечение. Докажем, что D  К2. Предположим противное: D К1 . Тогда луч MD пересекает луч NB в некоторой точке D1 (рис. 6). Возьмем на луче NB точку D’1  так, чтобы N D1— D’1. Луч MD’1 пересекает отрезок DP в некоторой точке D' (рис. 6), которая принадлежит классу K1. Полученный вывод противоречит предложению Дедекинда. Таким образом, D  К2. На прямой MD возьмем точку С так, чтобы С М — D. По теореме 1 CD||AB.

Остается доказать, что CD — единственная прямая, проходящая через точку М и параллельная прямой АВ.  Пусть, напротив, C’D' — другая прямая, проходящая через точку М и параллельная прямой АВ. По определению параллельных прямых внутренние лучи углов NMD и NMD' пересекают луч NB, поэтому лучи MD, MD' лежат в той же полуплоскости с границей MN, что и луч NB. Отсюда мы приходим к выводу, что либо MD — внутренний луч угла NMD', либо MD' — внутренний луч угла NMD.

Но тогда одна из  прямых CD или  C'Dr пересекает   прямую   АВ,   что противоречит определению параллельности прямых.

        

                                                                                                                                                                                                                                                   рис.          7

                                                                                             А           N                B

3. Пусть М — точка, не лежащая на прямой a, a MN — перпендикуляр, проведенный из точки М на прямую а. Выберем на прямой а две точки А и В так, чтобы АN В. Из теоремы 2 следует, что через точку М проходит единственная прямая CD, параллельная направленной прямой АВ, и единственная прямая EF, параллельная направленной прямой ВА  (рис. 7).

В ходе доказательства теоремы 2 мы установили, что углы DMN и FMN острые, поэтому CD и EF — различные прямые. Докажем, что DMN = FMN. Пусть, напротив, DMN   FMN, например DMN >  FMN. Рассмотрим луч MF', симметричный лучу MF относительно прямой MN (луч MF' не изображен на рис. 7). Этот луч является внутренним лучом угла DMN. Так как MF не пересекает прямую АВ, то и MF' не пересекает эту прямую. Но это противоречит определению параллельности прямых CD и АВ.

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

Докажем, что величина угла параллельности вполне определяется расстоянием от точки М до прямой а. Для этого обратимся к рисунку 219. На этом рисунке NMD — угол параллельности в точке М относительно прямой a, a NMD’ — угол параллельности' в точке М'

относительно прямой а’ ,  = NMD, x = MN, a/ = N'M'D',  x' =M/N/.
Докажем, что если х = х’, то  = '. Пусть, напротив, / ,
например а' > . Тогда существует внутренний луч h’ угла N'M'D',
такой, что угол между лучами M'N' и h равен . Луч h’ пересекает
прямую
а' в некоторой точке F’. На прямой а от точки N отложим
отрезок
NF = N'F так, чтобы точки F и D лежали в одной полуплоскости с границей MN. Получим треугольник MNF, равный треугольнику M'N'F' (треугольник MNF на рис. 8 не изображен). Так

           М м                        
                 

        рис.8

как NMF = , то лучи MD и MF совпадают. Приходим  к выводу, что прямые MD и  пересекаются. Это противоречит определению параллельных прямых. Таким образом,  = ’.

Итак,  — функция от х:  = П (х). Она называется функцией Лобачевского и играет существенную роль в гиперболической геометрии. Из предыдущего изложения ясно, что функция П (х) определена для каждого положительного х и что 0 < II (х) < П/2 .

Н. И. Лобачевский получил аналитическое выражение этой функции:

где k — некоторое положительное число.

Из этой формулы следует, что П(х)— монотонно убывающая непрерывная функция. Из этой формулы следует также, что П(х) принимает все значения, лежащие между 0 и П/2 . Другими словами, любой острый угол является углом параллельности в некоторой точке относительно данной прямой.

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

VII. Треугольники и четырехугольники на плоскости Лобачевского.

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

             

рис 9                                                          рис 10

медиан треугольника в одной точке и др. теоремы  которые имеют место как в евклидовой геометрии, так и  в геометрии Лобачевского.

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

Теорема   1. Сумма углов любого треугольника меньше 2d.

□        Пусть ABC— произвольный треугольник. По первой теореме
Саккери — Лежандра (Сумма углов треугольника не больше 2d)
АВС 2d. Если предположить, что  АВС = 2d, то окажется справедливым V постулат, что противоречит аксиоме V*. Следовательно,
АВС < 2d. Чтд.

Следствие. Сумма углов треугольника непостоянна, т. е. не одна и та же для всех треугольников.

Теорема 2. Сумма углов выпуклого четырехугольника меньше 4 d..

□        Пусть ABCD —данный выпуклый четырехугольник. Проведем
диагональ АС и разложим этот четырехугольник на два треугольника
ABC и ADC. Тогда А+В+С+D= АВС + ADC. Но  АВС < 2d и
ADC < 2d, поэтому А + В + С + D <4d. Чтд.

Теорема 3. Если три угла одного треугольника соответственно равны трем углам другого треугольника, то эти треугольники равны.

□        Пусть в треугольниках ABC и А'В'С' имеем A = A’
B
= B', C =  С’. Докажем сначала, что АВ = A’В’. Предположим, что АВА'В'; для определенности допустим, что
АВ> А'В'. На лучах АВ и АС возьмем точки В" и С" так, чтобы
АВ" = А'В' и АС" = А'С’ (рис. 10). По первому признаку равенства треугольников имеем /\АВ"С" = /\А'В'С, поэтому 1 = 2.
По условию 2 = 3, следовательно, 1 = 3. Аналогично устанавливаем, что 4 = 6.

По предположению АВ > АВ’ поэтому А В" — В, т. е. прямая В"С" пересекает сторону АВ треугольника ABC. В силу равенства

     1 = 3 прямые В" С" и ВС не пересекаются, следовательно, по аксиоме Паша прямая В"С" пересекает сторону АС треугольника ABC, и значит, А С" — С. Отсюда следует, что четырехугольник BBC”C выпуклый.

Из равенств 1 = 3 и  4 = 6 следует, что сумма углов этого четырехугольника равна 4d. Таким образом приходим в противоречие с теоремой 2. Значит, АВ = А’B’. По второму признаку равенства треугольников АВС =A'В'С'. ■

Рис 11,12

2. Выпуклый четырехугольник называется двупрямоугольником, если два угла, прилежащие к одной стороне, прямые. Если ABCD — двупрямоугольник с прямыми углами А и В, то сторона АВ называется основанием, а стороны AD и ВС боковыми сторонами. Двупрямоугольник с равными боковыми сторонами называется четырехугольником Саккери. Рассмотрим некоторые свойства двупрямоугольников.

1°. Если ABCD — четырехугольник Саккери с основанием АВ, то С=D и каждый из углов С и D острый.

2°. Если в двупрямоугольнике ABCD с основанием АВ  AD С

3°. Если в двупрямоугольнике ABCD с основанием АВ

 С < D, то AD <ВС.

VIII. Взаимное расположение двух прямых на плоскости Лобачевского.

1. Докажем следующую лемму.

Лемма  1. Если АВ || CD, то существует ось симметрии прямых

АВ и CD.

□ Пусть Р и Q— точки, лежащие соответственно на прямых АВ

       рис.13                                                        рис.14

    и CD, a h и k — биссектрисы углов QPB и PQD (рис. 13). Так как АВ || CD, то луч h пересекает луч QD в некоторой точке Е. Тогда луч k пересекает отрезок РЕ в некоторой точке S.

Докажем, что точка S равноудалена от прямых АВ и CD. Обозначим через SH1, SH2 и SH3 — перпендикуляры, проведенные из точки S к прямым АВ, CD и PQ (рис. 13). Так как SH1 = SH3 и SH2 = SH3, то SH1 = SH2. Теперь ясно, что прямая d, содержащая биссектрису угла H1SH2, является осью симметрии прямых АВ и CD. Чтд.

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

Теорема  1. Если АВ|| CD, то CD || АВ.

□ Пусть Р — произвольная точка прямой АВ, a d — ось симметричных прямых АВ и CD (см. лемму 1). Тогда точка Q, симметричная точке Р относительно прямой d, лежит на прямой CD (рис. 14). Для доказательства теоремы воспользуемся признаком параллельности прямых . Прямые АВ и CD не пересекаются, поэтому достаточно доказать, что любой внутренний луч угла PQD пересекает луч РВ.

Пусть h — произвольный внутренний луч угла PQD, a h’ — луч, симметричный лучу h относительно прямой d. Так как угол PQD симметричен углу QPB и h — внутренний луч угла PQD, то h' — внутренний луч угла QPB. Но АВ || CD, поэтому луч h’ пересекает луч QD. Отсюда следует, что и луч h пересекает луч РВ. Чтд.

Справедлива следующая теорема.

Теорема 2. Если АВ || EF, EF || CD и прямые АВ и CD не совпадают, то АВ || CD.

2. Условимся называть две (ненаправленные) прямые а и b параллельными, если на этих прямых можно выбрать направления так, чтобы они были параллельны.

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

     Рис. 15                                                                       рис.16

на прямой а, проходит бесконечное множество прямых, каждая из которых расходится с прямой а. В самом деле, пусть прямые CD и EF параллельны прямой а в разных направлениях (см. рис. 7). Тогда любая прямая, проходящая через точку М внутри вертикальных углов CMF и EMD, расходится с прямой а.

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

Теорема 3. Две прямые, имеющие общий перпендикуляр, расходятся.

□ Пусть АВ и CD — данные прямые, a PQ — их общий перпендикуляр (рис. 15). По лемме 1 (Если при пересечении двух прямых секущей накрест лежащие углы (или соответственные углы) равны, то прямые не пересекаются) прямые АВ и CD не пересекаются. Они не могут быть параллельными, так как если допустить, что они параллельны, то прямые углы APQ и BPQ должны быть углами параллельности в точке Р относительно прямой CD. Но угол параллельности всегда острый, поэтому наше допущение неверно; значит, АВ и CD — расходящиеся прямые. ■

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

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

Лемма 2. Пусть лучи PP и QQ' лежат в одной полуплоскости с границей PQ,  PQQ' прямой, a QPP' прямой или тупой

Q                   H                       Q’               Q              H1            H2            Q’           Q          H1           H2         H3         Q’

                       А)                                                       Б)                                                              В)

Рис. 17

(рис. 17, а). Тогда если М — переменная точка луча РР', а Н — проекция этой точки на прямую QQ', то функция МН f (MP) является монотонной, неограниченно возрастающей функцией.

□ Докажем сначала, что f — монотонно возрастающая функция. Для этого возьмем на луче РР' две точки М1 и М2 так, чтобы РМ1 < РМ2, и докажем, что М1Н1 < М2H2, где Н1 и Н2— проекции точек M1 и М2 на прямую QQ'. Рассмотрим три двупрямоугольника с основаниями QH1 QH2, H1H2 изображенные на рисунке 17, б. Так как РМ1 < РМ2, то Р М1 М2. Применив теорему 2 (сумма углов выпуклого четырехугольника меньше 4d) к двупрямоугольникам с основаниями QH1  и QH2 и учитывая, что Р прямой или тупой, приходим к выводу, что углы 1 и 3 острые. Так как  1 и 2 — смежные углы, то 2 тупой. Тогда по свойству 3° в двупрямоугольнике с основанием Н1Н2 имеем Н1М1 < H2M2. Таким образом, f — монотонно возрастающая функция.

Докажем теперь, что f — неограниченно возрастающая функция. Для этого возьмем на луче РР' точки М1, М2, ..., Мп, следующие друг за другом так, чтобы РМ1 = М1 М2 = ... = Мn-1 Мп, где n > 2, и рассмотрим проекции H1 H2, ..., Нп этих точек на прямую QQ' (рис. 17, в).

 По доказанному PQ < М1 H1 < М2Н2. Отложим на луче H1 М1 отрезки Н1М1 и Н1 М'2, равные соответственно отрезкам PQ и М2Н2. Тогда, очевидно, М’1— М1 — М'2.

В треугольниках РМ1 М’1 и М2М1 М'2 имеем РМ1 = М2М1 и РМ1 М’1 = M2M1M’2, но PM'1M1  первого треугольника тупой (как угол, смежный с углом М’1 четырехугольника Саккери с основанием QH1), a M2M’2M1 второго треугольника острый (как угол четырехугольника Саккери с основанием Н1Н2). Отсюда следует, что М1 М’1 < М'2М1.

 Если обозначить М1М’1 через , то М1 Н1 = PQ + , М2Н2 = М1Н1 +M'2M1 > PQ + 2. Рассуждая аналогично, приходим к выводу, что М3Hз > PQ + 3, ..., МпНп> PQ + п. Отсюда следует, что f — неограниченно возрастающая функция. ■

Пусть АВ и CD — расходящиеся прямые, a PQ — общий перпендикуляр этих прямых (рис. 18). Фигуры BPQD и APQC удовлетворяют условиям леммы 2, поэтому согласно этой лемме расстояние от переменной точки М прямой АВ до прямой CD неограниченно возрастает, когда точка М удаляется от точки Р как в одном, так и в другом направлении. Образно говоря, расходящиеся прямые неограниченно «расходятся» друг от друга по мере удаления от общего перпендикуляра.

Пусть теперь АВ || CD, a PQ — перпендикуляр, проведенный из точки Р прямой АВ на прямую CD (рис. 19). Так как  QPB острый, то смежный с ним QPA тупой. Фигура APQC удовлетворяет 

Рис.18

   

                                           

                                                                                       Рис.19    

условиям леммы 2, поэтому согласно этой лемме расстояние от переменной точки М прямой АВ до прямой CD неограниченно возрастает, когда точка М удаляется от точки Р в сторону, противоположную направлению параллельности. Можно доказать, что если точка М удаляется от точки Р в сторону параллельности, то это расстояние стремится к нулю. Образно говоря, параллельные прямые, неограниченно удаляясь друг от друга в одном направлении, асимптотически приближаются в другом.

IX. Три модели геометрии Лобачевского.

Выделяют три различные модели геометрии Лобачевского:

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

2) Модель Клейна

3) Отображение геометрии Лобачевского на псевдосфере (интерпретация Бельтрами)                                  

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

В модели Пуанкаре на евклидовой плоскости E фиксируется горизонтальная прямая x. Она носит название «абсолюта». Точками плоскости Лобачевского считаются точки плоскости E, лежащие выше абсолюта x. Таким образом, в модели Пуанкаре плоскость Лобачевского – это полуплоскость L, лежащая выше абсолюта.

Прямыми плоскости L считаются полуокружности с центрами на абсолюте или лучи с вершинами на абсолюте и перпендикулярные ему.

Фигура на плоскости Лобачевского – это фигура полуплоскости L. Принадлежность точки фигуре понимается так же, как и на евклидовой плоскости E. При этом отрезком плоскости L считается дуга окружности с центром на абсолюте или отрезок прямой, перпендикулярной абсолюту (рис. 20). Точка K лежит между точками C и D, значит, что K принадлежит дуге CD. В условиях нашей модели это эквивалентно тому, что K' лежит между C' и D', где C', K' и D' – проекции точек C, K и D соответственно на абсолют. Чтобы ввести понятие равенства неевклидовых отрезков в модели Пуанкаре, определяют неевклидовы движения в этой модели. Неевклидовым движением называется преобразование L, которое является композицией конечного числа инверсий с центрами на абсолюте и осевых симметрий плоскости E, оси которых перпендикулярны абсолюту. Инверсии с центром на абсолюте и осевые симметрии  плоскости E, оси которых перпендикулярны абсолюту, называют неевклидовыми симметриями. Два неевклидовых отрезка называют равными, если один из них неевклидовым движением можно перевести во второй.

2) Модель Клейна.

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

                                                                                   Рисунок 21

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

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

3) Отображение геометрии Лобачевского на псевдосфере (интерпретация Бельтрами)

      Эудженио Бельтрами (1835-1900) нашел модель для неевклидовой геометрии, показав в своей работе «Опыт интерпретации неевклидовой геометрии» (1868г.), что наряду с плоскостями, на которых осуществляется евклидова геометрия, и сферическими поверхностями, на которые действуют формулы сферической геометрии, существуют и такие реальные поверхности, названные им псевдосферами (рис.23), на которых частично осуществляется планиметрия Лобачевского.

            Известно, что сферу можно получить вращением полуокружности вокруг своего диаметра. Подобно тому, псевдосфера образуется вращением линии FCE, называемой трактрисой, вокруг ее оси АВ (рис.22). Итак, псевдосфера – это поверхность в обыкновенном реальном пространстве, на котором выполняются многие  аксиомы и теоремы

Рис. 23

неевклидовой планиметрии Лобачевского. Например, если начертить на псевдосфере треугольник, то легко усмотреть, что сумма его внутренних углов меньше 2π. Сторона треугольника – это дуги псевдосферы, дающие кратчайшее расстояние между двумя ее точками и выполняющие ту же роль, которую выполняют прямые на плоскости. Эти линии, называемые геодезическими, можно получить, зажав туго натянутую и политую краской или мелом нить,  в вершинах треугольника. Таким образом, для планиметрии Лобачевского была найдена реальная модель - псевдосфера. Формулы новой геометрии Лобачевского нашли конкретное истолкование. Ими можно было пользоваться, например, для решения псевдосферических треугольников. Псевдосферу, которую мы назвали «моделью», Бельтрами назвал интерпретацией (истолкованием) неевклидовой геометрии на плоскости.

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

X. Практическое применение геометрии Лобачевского.

1) Теорема Пифагора.

Теорема. Для всякого прямоугольного треугольника плоскости Лобачевского выполняется равенство ch c = ch a ·ch b, где a, b - длины катетов, c - длина гипотенузы этого треугольника, а  ch x=(гиперболический косинус).

Доказательство. Воспользуемся моделью Пуанкаре плоскости Лобачевского на евклидовой полуплоскости. Будем считать (см. рисунок ниже), что вершинам A, B, C данного прямоугольного треугольника соответствуют комплексные числа
 где
так как этого всегда можно добиться с помощью некоторого неевклидова движения.

Используя формулу

Рис. 24

для вычисления неевклидова расстояния между точками z и w в H2, получаем, что

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

2) Замечание к теореме Пифагора

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

получим для теоремы Пифагора соотношение

Исключая теперь члены низшего порядка, приходим к теореме Пифагора евклидовой геометрии:

3) Площадь треугольника

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

                                                                                                                                                                                                                                                                                             

Рис. 25

Если АВС – треугольник в модели Пуанкре, меры углов А,В и С - α, β и γ соответственно,   - мера угла B в треугольнике ABD, а   и  мера углов B и C в треугольнике BCD. Тогда вследствие этого можно сформулировать теорему

Теорема.Для площади треугольника ABC с угламисправедлива формула  

Следствие1.Площадь треугольника плоскости Лобачевского ограничена.

Следствие 2.Если дан выпуклый многоугольник    с внутренними углами      то     

4) Длина окружности и площадь круга.

Теорема. Площадь круга с радиусом r  равна         

а длина окружности, ограничивающей этот круг, равна  , где . Длина неевклидовой окружности не пропорциональна радиусу, как в случае евклидовой геометрии, а растет быстрее. Также площадь неевклидова круга больше площади круга евклидовой плоскости, имеющего тот же радиус.

XI.  Вывод.

Открытие неевклидовой геометрии, начало которому положил Лобачевский, не только сыграло огромную роль в развитии новых идей и методов в математике естествознании, но имеет и философское значение. Господствовавшее до Лобачевского мнение о незыблемости  геометрии Евклида в значительной мере основывалось на учении известного немецкого философа  И. Канта (1724-1804), родоначальника немецкого классического идеализма. Кант утверждал, что человек упорядочивает явления реального мира согласно априорным представлениям, а геометрические представления и идеи якобы априорны (латинское слово aprior  означает – изначально, заранее), то есть, не отражают явлений действительного мира, не зависят от практики, от опыта, а являются врожденными человеческому миру, раз и навсегда зафиксированными, свойственными человеческому разуму, его духу. Поэтому, Кант считал, что Евклидова геометрия непоколебима, неизменна, и является вечной истиной. Еще до Канта геометрия Евклида считалась незыблемой, как единственно возможное учение о реальном пространстве.

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

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

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

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

XII. Литература.

  1. Математика XIX века, «Наука», М., 1981
  2. “Квант” №11,№12 Академик АН СССР А.Д. Александров, Интернет-издания.
  3. Юшкевич А.П., История математики в России, «Наука», М., 1968г.
  4. Ефимов Н.В., Высшая геометрия, «Наука», М.,1971г.
  5. Неевклидовы пространства и новые проблемы физики, «Белка», М., 1993г.
  6. Клайн М., Математика. Утрата определенности, «Мир», М., 1984г.
  7. Г.И. Глейзер. История математики в школе IX – X классы. Пособие для учителей. Москва, «Просвещение» 1983г.
  8. Б.Л. Лаптев.  Н.И. Лобачевский  и его геометрия. Пособие для учащихся. М. «Просвещение», 1970г.
  9. Розенфельд Б.А. Геометрия Лобачевского и теория относительности П Математиков в школе.- М., 1965г.
  10. И.М. Яглам.  Принцип относительности Галилея и неевклидова геометрия. Серия  «Библиотека математического кружка» М: 1963г.
  11. Н.Г.Подаева , Д.А. Жук. Лекции по основам геометрии. Елец: 2008г.
  12. В.Т.Базылев, К.Л.Дуничев. Геометрия ч. II. М: 1975г.
  13. Д.Гильберт. Основания геометрии.- М: ГИТТЛ 1948г.
  14. Л.С.Атанасян, В.Т.Базылев. геометрия ч. II . Москва «Просвещение» 1987г.
  15. Н.В.Ефимов. Высшая геометрия. М: 1978г.
  16. http://www.bankreferatov.ru
  17. http://www.refportal.ru
  18. http://www.egu.ru

A                D             N            B

                                   Рисунок 22        

F

E

C