Обычно под геометрией понимают раздел математики, занимающийся изучением свойств различных фигур (точек, линий, углов, двумерных и трехмерных объектов), их размеров и взаимного расположения.
Геометрия в смысле набора правил для решения прикладных задач измерения длин и нахождения расположения различных фигур зародилась в Древнем Египте, примерно 1800-1700 годы до н.э. Значительно позднее, примерно 600 годы д.э., геометрические знания были привнесены в Древнюю Грецию, но именно здесь геометрия оформилась как научное логически строгое знание. Многих древнегреческих мыслителей мы знаем именно как выдающихся геометров, например, Фалес Милетский, Пифагор и другие.
Достижения древнегреческих мыслителей в области геометрии отражены в знаменитой книге Евклида "Начала" около 300 года до н.э. "Начала" состоят из 13 книг, семь из которых посвящены систематическому изложению геометрии. Евклид предложил систему аксиом (Евклид называет их постулатами) из которых было дедуктивным методом получены известные в то время теоремы. Изложение геометрической теории в "Началах" являет собой пример первой, известной нам, попытки дать строгое логическое обоснование теории на основе некоторого множества начальных утверждений. Книга Евклида являет собой замечательный образец систематического стройного изложения, поэтому нет ничего удивительного, что многие мыслители Древней Греции и даже Нового Времени строили свои работы по образцу "Начал".
В Средние века большинство работ древнегреческих математиков были рассеяны или утрачены. Некоторые из них, в том числе "Начала" Евклида, были переведены и изучались арабами и индийцами. И хотя эти народы породили нескольких великих математиков, среди которых наиболее известны индийские математики Ариабхата и Бхаскара II, все же их самой большой заслугой следует считать сохранение геометрии в период Средневековья.
За последние 300 лет доказательная геометрия была существенно расширена, а по своим методам и степени общности результатов она стала заметно отличаться от элементарной геометрии (т.е. геометрии, изложенной в "Началах" Евклида).
Французский математик Ж. Дезарг в связи с развитием учения о перспективе занялся исследованием свойств геометрических фигур в зависимости от их проекций. Тем самым он заложил основу проективной геометрии, которая изучает свойства фигур, остающиеся неизменными при различных проекциях.
Тесно связанная с проективной, начертательная геометрия была введена французским математиком Г. Монжем. Эта новая область геометрии была связана с представлением изображений геометрических фигур на плоскости и определением геометрическими средствами расстояний, углов и линий пересечения. Начертательная геометрия представляет собой основу технического черчения.
В 1637 Р.Декарт, французский философ и математик, опубликовал свою "Геометрию" - первый труд по аналитической геометрии, позволивший применить в геометрии мощные алгебраические методы. Геометрические задачи всех видов теперь могли решаться в рамках единого подхода; кроме того, благодаря новым методам стала возможной постановка и решение новых задач, о которых древние не могли даже помыслить, но которые ныне находятся в самом центре математики и математической физики. Позднее возникла дифференциальная геометрия и целая серия неевклидовых геометрий.
Создание неевклидовых геометрий связывают в первую очередь с именами Н. И. Лобачевского, Я. Больяй и Б. Римана . В построении неевклидовой геометрии главную роль сыграли попытки доказательства, так называемого, пятого постулата Евклида. Неевклидовые геометрии имеют широкое прикладное применение: в физике, в частности в теории относительности, при вычислении определенных интегралов, в теории функций комплексного переменного и т.д.
Целью данной работы является анализ выполнимости аксиом Евклида и теории параллельности Лобачевского на метрике Пуанкаре, анализ формул для нахождения площади треугольника в геометрии Лобачевского.
В данной работе решаются следующие задачи:
" анализ аксиом (постулатов) Евклида;
" излагается краткая история создания геометрии Лобачевского;
" раскрывается смысл основных отличий геометрии Лобачевского от евклидовой геометрии;
" строится интерпретация (метрика) Пуанкаре;
" рассматривается выполнимость первых четырех аксиом Евклида и аксиомы Лобачевского на метрике Пуанкаре.
" анализ понятия площади треугольника в геометрии Лобачевского;
" выявляется связь между углами неевклидового треугольника и длинами его сторон;
" анализ формулы Герона в геометрии Лобачевского.
|