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



Министерство образования Московской области

Государственное образовательное учреждение

Высшего образования Московской области

Ногинский филиал

Московского государственного областного университета

 

Реферат по ТОНКМ на тему:

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

 

Студентки группы 4 «Е»

Выполнила: Куликова Елизавета Дмитриевна

Специальность: «Преподавание в начальных классах»

Преподаватель: Никифорова Г. В.

 

г. Ногинск

2021 г.

Геометрия с практической точки зрения - это потребность измерять формы. Считается, что геометрия впервые стала важной, когда Египетский фараон хотел обложить налогом фермеров, которые выращивали урожай вдоль реки Нил. Чтобы вычислить правильную сумму налога, люди фараона должны были измерить количество обрабатываемой земли.

 

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

 

Именно греки 600600 – 400400 лет до нашей эры разработали принципы современной геометрии. Фалес Милетский изучил подобные треугольники и написал доказательство того, что соответствующие стороны подобных треугольников пропорциональны.

Пифагор (569−475569−475 лет до н. э.)

 

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

 

Евклид Александрийский (325−265325−265 лет до н. э.)

 

Евклид Александрийский считается “отцом современной геометрии”. Евклид ввел математическую строгость и аксиоматический метод, все еще используемый сегодня. Его книга “Начало”, написанная около 300 лет до нашей эры, считается самым влиятельным учебником всех времен и народов. Книга "Начало" была известна всем образованным людям на западе до середины 20-го века. Евклид изобрел 2323 определения, 55 постулатов и 55 аксиом.

 

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

Рене Декарт (1596−16501596−1650)

 

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

Карл Фридрих Гаусс (1777−18551777−1855)

 

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

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

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

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

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

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

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

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

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

Стоит выделить еще одно важное отличие геометрии Евклида и геометрии Лобачевского: в геометрии Евклида существует всего 3 признака равенства треугольников, а геометрии Лобачевского имеет место четвертый признак равенства треугольников: если углы одного треугольника соответственно равны углам другого треугольника, то эти треугольники равны.

Л. г. изу­ча­ет свой­ст­ва плос­ко­сти Ло­ба­чев­ско­го в пла­ни­мет­рии и про­стран­ст­ва Ло­ба­чев­ско­го в сте­рео­мет­рии. Плос­кость Ло­ба­чев­ско­го – это плос­кость (мно­же­ст­во то­чек), в ко­то­рой оп­ре­де­ле­ны пря­мые ли­нии (а так­же дви­же­ния фи­гур, рас­стоя­ния, уг­лы и пр.), под­чи­няю­щие­ся всем ак­сио­мам евк­ли­до­вой гео­мет­рии, за ис­клю­че­ни­ем ак­сио­мы о па­рал­лель­ных, ко­то­рая за­ме­ня­ет­ся сфор­му­ли­ро­ван­ной вы­ше ак­сио­мой Ло­ба­чев­ско­го. Сход­ным об­ра­зом оп­ре­де­ля­ет­ся про­стран­ст­во Ло­ба­чев­ско­го. За­да­ча вы­яс­не­ния ре­аль­но­го смыс­ла Л. г. со­стоя­ла в на­хо­ж­де­нии мо­де­лей плос­кости и про­стран­ст­ва Ло­ба­чев­ско­го, т. е. в на­хо­ж­де­нии та­ких объ­ек­тов, в ко­то­рых реа­ли­зо­вы­ва­лись бы со­от­вет­ст­вую­щим об­ра­зом ис­тол­ко­ван­ные по­ло­же­ния пла­ни­мет­рии и сте­рео­мет­рии Л. г. В 1868 Э. Бельт­ра­ми за­ме­тил, что гео­мет­рия на кус­ке плос­ко­сти Ло­ба­чев­ско­го сов­па­да­ет с гео­мет­ри­ей на по­верх­но­стях по­сто­ян­ной от­ри­ца­тель­ной кри­виз­ны, про­стей­ший при­мер ко­то­рых пред­став­ля­ет псев­до­сфе­ра (рис. 2). Ес­ли точ­кам и пря­мым на ко­неч­ном кус­ке плос­ко­сти Ло­ба­чев­ско­го со­пос­та­вить точ­ки и крат­чай­шие ли­нии (гео­де­зи­че­ские) на псев­до­сфе­ре и дви­же­нию плос­ко­сти Ло­ба­чев­ско­го со­пос­та­вить пе­ре­ме­ще­ние фи­гу­ры по псев­до­сфе­ре с из­ги­ба­ни­ем, т. е. де­фор­ма­ци­ей, со­хра­няю­щей дли­ны, то вся­кой тео­ре­ме Л. г. бу­дет от­ве­чать факт, имею­щий ме­сто на псев­до­сфе­ре. Та­ким об­ра­зом, Л. г. по­лу­ча­ет про­стой ре­аль­ный смысл (ин­тер­пре­та­ция Бельт­ра­ми). При этом дли­ны, уг­лы, пло­ща­ди по­ни­ма­ют­ся в смыс­ле ес­те­ст­вен­но­го из­ме­ре­ния их на псев­до­сфе­ре, од­на­ко здесь да­ёт­ся ин­тер­пре­та­ция толь­ко гео­мет­рии на кус­ке плос­ко­сти Ло­ба­чев­ско­го, а не на всей плос­ко­сти и тем бо­лее не в про­стран­ст­ве. В 1901 Д. Гиль­берт до­ка­зал, что в евк­ли­до­вом про­стран­ст­ве не мо­жет су­ще­ст­во­вать ре­гу­ляр­ной по­верх­но­сти, гео­мет­рия на ко­то­рой сов­па­да­ет с гео­мет­ри­ей всей плос­ко­сти Ло­ба­чев­ско­го.

Рис. 3.

В 1871 Ф. Клейн ука­зал опи­сан­ную вы­ше мо­дель (ин­тер­пре­та­ция Клей­на) как всей плос­ко­сти, так и про­стран­ст­ва Ло­ба­чев­ско­го: плос­ко­стью слу­жит внут­рен­ность кру­га, а про­стран­ст­вом – внут­рен­ность ша­ра. В этой мо­де­ли рас­стояние ме­ж­ду точ­ка­ми AA и BB (рис. 1) опреде­ля­ет­ся как ln(ANAM⋅BMBN)ln(ANAM⋅BMBN). Позд­нее А. Пу­ан­ка­ре в свя­зи с за­да­ча­ми тео­рии функ­ций ком­плекс­но­го пе­ре­мен­но­го дал дру­гую мо­дель (ин­тер­пре­та­ция Пу­ан­ка­ре). В этой ин­тер­пре­та­ции за плос­кость Ло­ба­чев­ско­го при­ни­ма­ет­ся внут­рен­ность кру­га (рис. 3), пря­мы­ми счи­та­ют­ся ду­ги ок­руж­но­стей (напр., a,b,b'a,b,b′), пер­пен­дику­ляр­ных ок­руж­но­сти дан­но­го кру­га, и его диа­мет­ры, дви­же­ния­ми – пре­об­ра­зо­ва­ния, по­лу­чае­мые ком­би­на­ция­ми ин­вер­сий от­но­си­тель­но ок­руж­но­стей, ду­ги ко­то­рых слу­жат пря­мы­ми. В мо­де­ли Пу­ан­ка­ре уг­лы изо­бра­жа­ют­ся обыч­ны­ми уг­ла­ми. Мо­дель Л. г. в про­стран­ст­ве стро­ит­ся ана­ло­гич­но.

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

Воз­мож­но чис­то ана­ли­тич. оп­ре­де­ле­ние мо­де­ли Л. г. Напр., точ­ки плос­ко­сти мож­но оп­ре­де­лять как па­ры чи­сел (x,y)(x,y), пря­мые мож­но за­да­вать урав­не­ния­ми, дви­же­ния – фор­му­ла­ми, со­пос­тав­ляю­щи­ми точ­кам (x,y)(x,y) но­вые точ­ки (x',y')(x′,y′). Это аб­ст­ракт­но оп­ре­де­лён­ная ана­ли­тич. гео­мет­рия на плос­ко­сти Ло­ба­чев­ско­го, ана­ло­гич­ная ана­ли­тич. гео­мет­рии на евк­лидо­вой плос­ко­сти. Ло­ба­чев­ский дал ос­но­вы сво­ей ана­ли­тич. гео­мет­рии и тем са­мым фак­ти­че­ски на­ме­тил та­кую мо­дель, хо­тя пол­ное её по­строе­ние вы­яс­ни­лось уже по­сле то­го, как на ос­но­ве ра­бот Ф. Клей­на и др. вы­яви­лось са­мо по­ня­тие о мо­де­ли. Др. ана­ли­тич. оп­ре­де­ле­ние Л. г. со­сто­ит в том, что она оп­ре­де­ля­ет­ся как гео­мет­рия ри­ма­но­ва про­стран­ст­ва по­сто­ян­ной от­ри­ца­тель­ной кри­виз­ны. Это оп­ре­де­ле­ние бы­ло фак­ти­че­ски да­но Б. Ри­ма­ном (1854) и вклю­ча­ло мо­дель Л. г. как гео­мет­рии на по­верх­но­стях по­сто­ян­ной кри­виз­ны. Од­на­ко Ри­ман не свя­зал пря­мо сво­их по­строе­ний с Л. г., а его док­лад, в ко­то­ром он о них со­об­щил, не был по­нят и был опуб­ли­ко­ван лишь в 1868.

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

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

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

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

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

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

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

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

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

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

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


Дата добавления: 2021-12-10; просмотров: 35; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!