Министерство образования Российской Федерации.
Реферат.
Неевклидова геометрия.
Содержание:
1. Введение
2. Появление геометрии Лобачевского
3. Три модели геометрии Лобачевского
1) Модель Пуанкаре
2) Модель Клейна
3) Интерпретация Бельтрами
4. Свойства и понятия
5. Практическое применение геометрии Лобачевского
6. 1) Теорема Пифагора
2) Замечание к теореме Пифагора
3) Площадь треугольника
4) Длина окружности и площадь круга
7. Вывод
8. Список источников
1. Введение:
Геометрия – это одна из древнейших наук. Исследовать различные пространственные формы издавна побуждало людей их практическая деятельность. Древнегреческий ученый Эдем Родосский в IV веке до нашей эры писал: «Геометрия была открыта египтянами, и возникла при измерении Земли. Это измерение было им необходимо вследствие разлития реки Нил, постоянно смывавшей границы. Нет ничего удивительного, что эта наука, как и другие, возникла из потребности человека».
Многие первоначальные геометрические сведения получили также шумеро-вавилонские, китайские и другие ученые древнейших времен. Устанавливались они сначала только опытным путем, без логических доказательств.
Как наука, геометрия впервые сформировалась в Древней Греции, когда геометрические закономерности и зависимости, найденные ранее опытным путем, были приведены в надлежащую систему и доказаны.
В III веке до нашей эры греческий ученый Евклид привел в систему известные ему геометрические сведения в большом сочинении «Начала». Эта книга более двух тысяч лет служила учебником геометрии во всем мире.
В своём реферате я хочу показать, что кроме геометрии, которую изучают в школе (Геометрии Евклида или употребительной геометрии), существует еще одна геометрия, геометрия Лобачевского. Эта геометрия существенно отличается от евклидовой, например, в ней утверждается, что через данную точку можно провести бесконечно много прямых, параллельных данной прямой, что сумма углов треугольника меньше 180°. В геометрии Лобачевского не существует прямоугольников, подобных треугольников и так далее.
Я выбрал данную тему по нескольким причинам: теория геометрии Лобачевского помогает взглянуть по-другому на окружающий нас мир, это интересный, необычный и прогрессивный раздел современной геометрии, она дает материал для размышлений – в ней не все просто, не все ясно с первого взгляда, чтобы ее понять, нужно обладать фантазией и пространственным воображением. Ситуация с геометрией Лобачевского и геометрией Евклида во многом похожа на ситуацию с Теорией относительности Эйнштейна и классической физикой. Геометрия Лобачевского и ОТП Эйнштейна это прогрессивные взаимосвязанные теории, выполняющиеся на огромных величинах и расстояниях, и остающимися верными на приближениях к нулю. В пространственной модели ОТП используется не обычная евклидовая плоскость, а искривленное пространство, на котором верна теория Лобачевского.
Неевклидова геометрия появилась вследствие долгих попыток доказать V постулат Евклида, аксиому параллельности. Эта геометрия во многом удивительна, необычна и во многом не соответствует нашим привычным представлениям о реальном мире. Но в логическом отношении данная геометрия не уступает геометрии Евклида.
2.Происхождение Неевклидовой геометрии.
Среди аксиом Евклида была аксиома о параллельности прямых, а точнее, пятый постулат о параллельных линиях: если две прямые образуют с третьей по одну ее сторону внутренние углы, сумма которых меньше развернутого угла, то такие прямые пересекаются при достаточном продолжении с одной стороны.
В современной формулировке она говорит о существовании не более одной прямой, проходящей через данную точку вне данной прямой и параллельной этой данной прямой.
Сложность формулировки пятого постулата породила мысль о возможной зависимости его от других постулатов, и потому возникали попытки вывести его из остальных предпосылок геометрии. Все попытки заканчивались неудачей. Были попытки доказательства от противного: прийти к противоречию, предполагая верным отрицание постулата. Однако и этот путь был безуспешным.
Оказалось то, что пятый постулат не зависит от предыдущих, а значит, его можно заменить на ему эквивалентный. И в начале XIX века, почти одновременно сразу у нескольких математиков: у К. Гаусса в Германии, у Я. Больяи в Венгрии и у Н. Лобачевского в России, возникла мысль о существовании геометрии, в которой верна аксиома, заменяющая пятый постулат: на плоскости через точку, не лежащую на данной прямой, проходят, по крайней мере, две прямые, не пересекающие данную.
В силу приоритета Н. Лобачевского, который первым выступил с этой идеей в 1826, и его вклада в развитие новой, отличной от евклидовой геометрии последняя была названа в его честь «геометрией Лобачевского».
Аксиоматика планиметрии Лобачевского отличается от аксиоматики планиметрии Евклида лишь одной аксиомой: аксиома параллельности заменяется на ее отрицание – аксиому параллельности Лобачевского:
Найдутся такая прямая a и такая не лежащая на ней точка A, что через A проходят по крайней мере две прямые, не пересекающие a.
Непротиворечивость системы аксиом доказывается представлением модели, в которой реализуются данные аксиомы.
3. Три модели геометрии Лобачевского.
Выделяют три различные модели геометрии Лобачевского:
1) Модель Пуанкаре
2) Модель Клейна
3) Отображение геометрии Лобачевского на псевдосфере (интерпретация Бельтрами)
1) Модель Пуанкаре.
В модели Пуанкаре на евклидовой плоскости E фиксируется горизонтальная прямая x. Она носит название «абсолюта». Точками плоскости Лобачевского считаются точки плоскости E, лежащие выше абсолюта x. Таким образом, в модели Пуанкаре плоскость Лобачевского – это полуплоскость L, лежащая выше абсолюта.
Прямыми плоскости L считаются полуокружности с центрами на абсолюте или лучи с вершинами на абсолюте и перпендикулярные ему.
Фигура на плоскости Лобачевского – это фигура полуплоскости L. Принадлежность точки фигуре понимается так же, как и на евклидовой плоскости E. При этом отрезком плоскости L считается дуга окружности с центром на абсолюте или отрезок прямой, перпендикулярной абсолюту (рис. 1). Точка K лежит между точками C и D, значит, что K принадлежит дуге CD. В условиях нашей модели это эквивалентно тому, что K' лежит между C' и D', где C', K' и D' – проекции точек C, K и D соответственно на абсолют. Чтобы ввести понятие равенства неевклидовых отрезков в модели Пуанкаре, определяют неевклидовы движения в этой модели. Неевклидовым движением называется преобразование L, которое является композицией конечного числа инверсий с центрами на абсолюте и осевых симметрий плоскости E, оси которых перпендикулярны абсолюту. Инверсии с центром на абсолюте и осевые симметрии
Рисунок 1 плоскости E, оси которых перпендикулярны абсолюту, называют неевклидовыми симметриями. Два неевклидовых отрезка называют равными, если один из них неевклидовым движением можно перевести во второй.
2) Модель Клейна.
За плоскость принимается какой-либо круг (рис. 2.1), за точки - точки принадлежащие этому кругу, за прямые - хорды - конечно, с исключением концов, поскольку рассматривается только внутренность круга. За перемещения принимаются преобразования круга, переводящие его в себя и хорды - в хорды. Соответственно, "конгруэнтными" называются фигуры, переводимые друг в друга такими преобразованиями.
Рисунок 2
Очевидно, что в пределах определенной части плоскости (круга), как бы эта часть не была велика, можно провести через данную точку С множество прямых, не пересекающих данной прямой. Внутри круга любого конечного радиуса существует множество прямых (т.е. хорд), проходящих через т. С и не встречающих прямой АВ (рис.2.2). Всякая теорема планиметрии Лобачевского является в этой модели теоремой геометрии Евклида и, обратно, всякая теорема геометрии Евклида, говорящая о фигурах внутри данного круга, является теоремой геометрии Лобачевского. Это общее утверждение доказывается проверкой справедливости в модели аксиом геометрии Лобачевского. Поэтому, если в геометрии Лобачевского имеется противоречие, то это же противоречие имеется и в геометрии Евклида.
Далее, всякая теорема геометрии Лобачевского описывает в модели Клейна некоторые факты, имеющие место внутри круга. Именно факты, если мы берем не абстрактный круг, а реальный круг и реальные хорды и интерпритируем теоремы как утверждения об этих реальных вещах, взятые, конечно, с той точностью, которая доступна для наших построений. Таким образом, геометрия Лобачевского в модели Клейна имеет вполне реальный смысл с той точностью, с какой вообще имеет смысл геометрия в применении к реальным телам.
3) Отображение геометрии Лобачевского на псевдосфере (интерпретация Бельтрами)
Эудженио Бельтрами (1835-1900) нашел модель для неевклидовой геометрии, показав в своей работе «Опыт интерпретации неевклидовой геометрии» (1868г.), что наряду с плоскостями, на которых осуществляется евклидова геометрия, и сферическими поверхностями, на которые действуют формулы сферической геометрии, существуют и такие реальные поверхности, названные им псевдосферами (рис.4), на которых частично осуществляется планиметрия Лобачевского.
Известно, что сферу можно получить вращением полуокружности вокруг своего диаметра. Подобно тому, псевдосфера образуется вращением линии FCE, называемой трактрисой, вокруг ее оси АВ (рис.3). Итак, псевдосфера – это поверхность в обыкновенном реальном пространстве, на котором выполняются многие аксиомы и теоремы неевклидовой планиметрии Лобачевского. Например, если начертить на псевдосфере треугольник, то легко усмотреть, что сумма его внутренних углов меньше 2π. Сторона треугольника – это дуги псевдосферы, дающие кратчайшее расстояние между двумя ее точками и выполняющие ту же роль, которую выполняют прямые на плоскости. Эти линии, называемые геодезическими, можно получить, зажав туго натянутую и политую краской или мелом нить, в вершинах треугольника. Таким образом, для планиметрии Лобачевского была найдена реальная модель - псевдосфера. Формулы новой геометрии Лобачевского нашли конкретное истолкование. Ими можно было пользоваться, например, для решения псевдосферических треугольников. Псевдосферу, которую мы назвали «моделью», Бельтрами назвал интерпретацией (истолкованием) неевклидовой геометрии на плоскости.
Впоследствии, с развитием и введением в математику аксиоматического метода, под
Рисунок 4 интерпретацией (или моделью) некоторой системы аксиом стали понимать любое множество объектов, в которых данная система аксиом находит свое реальное воплощение, то есть, любая совокупность объектов, отношение между которыми полностью совпадают с теми, которые описываются в данной системе аксиом. При этом полагают, что если для некоторой системы аксиом существует или можно построить интерпретацию (модель), то эта система аксиом непротиворечива, то есть, не только сами аксиомы, но и любые теоремы, на них логически основывающиеся никогда не могут противоречить одна другой.
4. Свойства и понятия.
Рассмотрим некоторые свойства, понятия и факты выполняющиеся в геометрии Лобачевского. В данном случае я рассматривал свойства основываясь на модели Клейна. Большинство из них будут выполнятся и на других моделях неевклидовой геометрии.
$IMAGE6$1) Если прямые CN и CL не встречают прямой АВ, то любая прямая СМ, проходящая через т. C внутри вертикальных углов NCL и N’CL’ также не встретит прямой АВ (рис.5). Отсюда первое следствие аксиомы Лобачевского: через т. С вне прямой АВ плоскости АВС, проходит бесчисленное множество прямых, не пересекающихся с прямой АВ.
2) Если соединить (рис.5) какую-либо точку прямой DB с т. С, получим прямую, допустим, СК, проходящую через т. С и встречающую АВ. Итак, все прямые, проходящие через т. С внутри прямого угла NCD, разбиваются на две категории, на два класса: встречающие прямую АВ (названные Лобачевским «сходящимися» с АВ) и не встречающие прямую АВ (их Лобачевский называет «расходящимися» с АВ). Любая прямая первой категории образует с перпендикуляром CD угол, меньший угла, образованного перпендикуляром CD с любой прямой второй категории. Вращаясь непрерывно около т. С в направлении против часовой стрелки, прямая СК на известном этапе, допустим в положении CL, перестанет пересекать АВ и из сходящейся перейдет в категорию расходящихся с АВ прямых. Эта предельная прямая CL, служащая переходной прямой, граничной, отделяющей сходящиеся от расходящихся прямых, и названной Лобачевским параллельной к прямой АВ из т. С. Итак, параллельная CL – это не просто расходящаяся прямая, а первая, граничная расходящаяся, т.е. такая, что любая прямая, проходящая через т. С внутри угла, образованного параллельной CL и перпендикуляром CD, является сходящейся прямой, а всякая прямая, проходящая внутри угла LCN будет расходящаяся с прямой АВ. Угол DCL, образованный параллельной CL с перпендикуляром CD, называют углом параллельности.
В силу симметрии относительно перпендикуляра CD внутри прямого угла N’CD получим картину, аналогично той, которую мы имеем в угле NCD, т.е. построив угол DCF равный углу DCL, получим прямую CF, также параллельную прямой АВ слева от перпендикуляра CD. Итак, через т. С, лежащую вне прямой АВ, проходят в плоскости АВС две прямые, параллельные прямой АВ, в одну и другую сторону этой