Навигация
Постулаты параллельности Евклида и Лобачевского
43457
знаков
0
таблиц
14
изображений
1.2 Постулаты параллельности Евклида и Лобачевского
Основным пунктом, откуда начинается разделение геометрии на обычную евклидову (употребительную) и неевклидову (воображаемую геометрию или «пангеометрию») является, как известно, постулат о параллельных линиях.
В основе обычной геометрии лежит предположение, что через точку, не лежащую на данной прямой, можно провести в плоскости, определяемой этой точкой и прямой, не более одной прямой, не пересекающей данную прямую. Тот факт, что через точку, не лежащую на данной прямой, проходит по крайней мере одна прямая, не пересекающая эту прямую, относится к «абсолютной геометрии», т.е. может быть доказан без помощи постулата о параллельных линиях.
Прямая ВВ, проходящая через Р под прямым углом к перпендикуляру РQ, опущенному на АА1, не пересекает прямой АА1; эта прямая в евклидовой геометрии называется параллельной к АА1.
В противоположность постулату Евклида, Лобачевский принимает в основу построения теории параллельных линий следующую аксиому:
Через точку, не лежащую на данной прямой, можно провести в плоскости, определяемой этой точкой и прямой, более одной прямой, не пересекающей данную прямую.
Отсюда непосредственно вытекает существование бесконечно множества прямых, проходящих через одну и ту же точку и не пересекающих данную прямую. Пусть прямая СС1 не пересекает АА1; тогда все прямые, проходящие внутри двух вертикальных углов ВРС и В1РС1, также не пересекаются с прямой АА1.
Глава 2. Геометрия Лобачевского.
2.1 Основные понятия
В мемуарах «О началах геометрии» (1829) Лобачевский прежде всего воспроизвел свой доклад 1826г.
Он определяет основные понятия геометрии, не зависящие от V постулата, и заметив, что сумма углов прямолинейного треугольника не может быть >, как это имеет место у сферических треугольников, Лобачевский заявляет: «Мы видели, что сумма углов прямолинейного треугольника не может быть >. Остается предполагать эту сумму = или <. То и другое может быть принято без всякого противоречия впоследствии, от чего и происходит две Геометрии: одна, употребительная доныне по своей простоте, соглашается со всеми измерениями на самом деле; другая, воображаемая, более общая и потому затруднительная в своих вычислениях, допускает возможность зависимости линий от углов».
Лобачевский указывает, что в «воображаемой геометрии» сумма углов треугольника всегда < и две прямые могут не пересекаться в случае, когда они образуют с секущей углы, в сумме меньше. Параллельные прямые определяются как такие, которые не пересекаются, но могут быть получены предельным переходом из пересекающихся. Через каждую точку плоскости
проходят две прямые, параллельные данной прямой, лежащей в этой плоскости; эти прямые делят пучок прямых, проходящих через данную точку, на четыре области, в двух из которых проходят прямые, пересекающие данную прямую, а в двух – прямые, которые не пересекают эту прямую не могут быть получены предельным переходом из пересекающихся – такие прямые называются расходящимися; параллельные прямые разграничивают пересекающие прямые от расходящихся ( на рис. Условно изображены прямые r и r1, проведенные через точку А параллельно прямой p, прямые q и q1, проведенные через точку А и пересекающие прямую p, и прямые s и s1, расходящиеся с прямой p ). Угол между прямой, проведенной через точку А параллельно прямой р, и перпендикуляром, опущенным из А на р, Лобачевский называет « углом параллельности» и показывает, что функция, выражающая зависимость этого угла от длины а перпендикуляра, может быть (в современных обозначениях) записана в виде
П(а)=2arctg e-a/q, (1)
где q – некоторая постоянная. При а=0 угол параллельности всегда острый, причем он стремится при а=0, постоянная же q может служить на плоскости Лобачевского абсолютной единицей длины, аналогичной абсолютной единицей длины, аналогичной единице угла в евклидовом пространстве. Лобачевский устанавливает также, что расходящиеся прямые обладают общим перпендикуляром и удаляются друг от друга по обе стороны от него, а две параллельные прямые приближаются друг к другу и расстояния точек одной из них от другой стремится к 0 при неограниченном удалении этих точек. Сумма углов треугольника в геометрии Лобачевского всегда меньше, и если - «угловой дефект» треугольника, то есть разность между и суммой его углов, то площадь треугольника S равна
S=q2, (2)
где q – та же постоянная, что и в формуле (1).
Круг при стремлении его радиуса к бесконечности переходит в системе Лобачевского не в прямую, а в особого рода кривую «предельного круга» - в настоящее время такие кривые называют орициклами. Сфера при тех же обстоятельствах переходит не в плоскость, а в кривую поверхность, которую Лобачевский назвал «предельной сферой», а в настоящее время именуют орисферой. Лобачевский отмечает, что на орисфере имеет место евклидова геометрия, причем роль прямых на ней играют орициклы. Это позволяет Лобачевскому, опираясь на евклидову тригонометрию на орисфере, вывести тригонометрию на плоскости в его геометрической системе. Название «воображаемая геометрия» подчеркивает, что эта геометрия относится к евклидовой, «употребительной», по терминологии Лобачевского, как мнимые числа, «воображаемые», по его терминологии, к действительным.
Лобачевский сразу же поставил вопрос об экспериментальной проверке того, какая геометрия имеет место в реальном мире – «употребительная» или «воображаемая», для чего он решил измерить сумму углов треугольника, образованного двумя диаметрально противоположными положениями Земли на ее орбите и Сириусом и считая один из углов этого треугольника прямым, а другой – равным углу параллельности, Лобачевский нашел, что эта сумма отличается от на разность, меньшую ошибки угломерных инструментов в его время. «После того, - пишет Лобачевский, - можно вообразить, сколько эта разность, на которой основана наша теория параллельных, оправдывает точность всех вычислений обыкновенной геометрии и дозволяет принятые начала рассматривать как бы строго доказанными».
Это объясняет, что под «строгим доказательством теоремы параллельных» в докладе 1826г. Лобачевский понимал невозможность установить экспериментальным путем, какая из двух геометрий имеет место в реальном мире, откуда вытекает, что на практике можно пользоваться «употребительной геометрией», не рискуя впасть в ошибку.
Наиболее полно изложена система Лобачевского в его «Новых началах с полной теорией параллельных» (1835-1838). Изложение геометрии у Лобачевского основывается на чисто топологических свойствах прикосновения и сечения, конгруэнтность тел и равенство отрезков определяются по существу с помощью движения.
В позднейших работах Лобачевский ввел координаты и вычислил из геометрических соображений целый ряд новых определенных интегралов, которым он специально посвятил работу «Применение воображаемой геометрии к некоторым интегралам», многие из которых были включены в дальнейшие справочники.
Похожие работы
... 3. Б.Л. Лаптев. Н.И. Лобачевский и его геометрия. Пособие для учащихся. М. «Просвещение», 1970г. 4. И.М. Яглам. Принцип относительности Галилея и неевклидова геометрия.Серия «Библиотека математического кружка» М: 1963г. Приложение 1 Николай Иванович Лобачевский, второй сын мелкого чиновника, родился 1 декабря(20 ...
... , т. е. такие пары точек считаются за одну точку. Из этого определения следует, что при возрастании n число типов неевклидовых пространств также растет. Неевклидовы геометрии являются геометриями простейших римановых пространств определенной и неопределенной метрики, составляющих так называемый класс пространств постоянной ненулевой кривизны. Каждое из таких n-мерных пространств допускает ...
... метод координат. V. Аксіома паралельності Сама остання аксіома грає в геометрії особливу роль, визначаючи поділ геометрії на дві логічно несуперечливі й взаємно виключають один одного системи: Евклідову й неевклідову геометрії. У геометрії Евкліда ця аксіома формулюється так. V. Нехай а – довільна пряма й А – крапка, що лежить поза прямій а, тоді в площині α, обумовленою крапкою А и ...
... представить другие геометрии Кант счел достаточным основанием, чтобы утверждать, что другие геометрии не могут существовать. Появление неевклидовой геометрии Но многовековые попытки доказательства пятого постулата Евклида привели в конце концов к появлению новой геометрии, отличающейся от евклидовой тем, что в ней V постулат не выполняется. Эта геометрия теперь называется неевклидовой, а в ...
0 комментариев