Неевклидовы геометрии

     Неевклидовы геометрии.

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

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

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

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

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

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

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

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

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

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

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

     В силу приоритета Н. Лобачевского, который первым выступил с этой идеей в 1826, и его вклада в развитие новой, отличной от евклидовой геометрии последняя была названа в его честь «геометрией Лобачевского».

     Аксиоматика планиметрии Лобачевского отличается от аксиоматики планиметрии Евклида лишь одной аксиомой: аксиома параллельности заменяется на ее отрицание – аксиому параллельности Лобачевского:

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

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