», посвященного отношениям российской и британской науки, математик Валентина Кириченко рассказывает ПостНауке о революционности идей Лобачевского для геометрии XIX века.
Параллельные прямые не пересекаются даже в геометрии Лобачевского. Где-то в фильмах часто можно встретить фразу: «А у нашего Лобачевского параллельные прямые пересеклись». Звучит красиво, но не соответствует действительности. Николай Иванович Лобачевский действительно придумал необыкновенную геометрию, в которой параллельные прямые ведут себя совсем не так, как мы привыкли. Но все же не пересекаются.
Мы привыкли думать, что две параллельные прямые не сближаются и не удаляются. То есть, какую бы точку на первой прямой мы ни взяли, расстояние от нее до второй прямой одно и то же, от точки не зависит. Но действительно ли это так? И почему это так? И как это вообще можно проверить?
Если речь идет о физических прямых, то для наблюдения нам доступен только небольшой участок каждой прямой. А учитывая погрешности измерения, мы не сможем сделать никаких определенных выводов о том, как прямые ведут себя очень-очень далеко от нас. Подобные вопросы возникали уже у древних греков. В III веке до нашей эры древнегреческий геометр Евклид очень точно изложил основное свойство параллельных линий, которое он не мог ни доказать, ни опровергнуть. Поэтому он назвал его постулатом - утверждением, которое следует принять на веру. Это знаменитый пятый постулат Евклида: если две прямые на плоскости пересечь с секущей, так что сумма внутренних односторонних углов меньше двух прямых, то есть меньше 180 градусов, то при достаточном продолжении эти две прямые пересекутся, причем именно по ту сторону от секущей, по которую сумма меньше двух прямых углов.
Ключевые слова в этом постулате - «при достаточном продолжении». Именно из-за этих слов постулат невозможно проверить опытным путем. Может быть, прямые пересекутся в зоне видимости. Может быть, через 10 километров или за орбитой Плутона, а может быть, вообще в другой галактике.
Свои постулаты и результаты, которые из них логически следуют, Евклид изложил в знаменитой книге «Начала». От древнегреческого названия этой книги происходит русское слово «стихии», а от латинского названия - слово «элементы». «Начала» Евклида - это самый популярный учебник всех времен и народов. По числу изданий он уступает только Библии.
Особенно хочется отметить замечательное британское издание 1847 года с очень наглядной и красивой инфографикой. Вместо унылых обозначений на чертежах там используются цветные рисунки - не то, что в современных школьных учебниках геометрии.
Вплоть до прошлого века «Начала» Евклида были обязательны для изучения на всех образовательных программах, где подразумевалось интеллектуальное творчество, то есть не просто обучение ремеслу, а что-то более интеллектуальное. Неочевидность пятого постулата Евклида вызвала естественный вопрос: нельзя ли его доказать, то есть вывести логически из остальных допущений Евклида? Это пытались сделать очень многие математики от современников Евклида до современников Лобачевского. Как правило, они сводили пятый постулат к какому-то более наглядному утверждению, в которое проще поверить.
Например, в XVII веке английский математик Джон Валлис свел пятый постулат к такому утверждению: существует два подобных, но неравных треугольника, то есть два треугольника, у которых углы равны, а размеры разные. Казалось бы, что может быть проще? Просто изменим масштаб. Но, оказывается, возможность менять масштаб с сохранением всех углов и пропорций - это эксклюзивное свойство евклидовой геометрии, то есть геометрии, в которой выполнены все постулаты Евклида, включая пятый.
В XVIII веке шотландский ученый Джон Плейфэр переформулировал пятый постулат в том виде, в котором он обычно фигурирует в современных школьных учебниках: две прямые, пересекающие друг друга, не могут быть одновременно параллельны третьей прямой. Именно в таком виде пятый постулат фигурирует в современных школьных учебниках.
К началу XIX века у многих сложилось впечатление, что доказывать пятый постулат - это все равно что изобретать вечный двигатель - совершенно бесполезное занятие. Но и предположить, что геометрия Евклида не единственно возможная, ни у кого не хватило духу: слишком велик был авторитет Евклида. В такой ситуации открытия Лобачевского были, с одной стороны, закономерны, а с другой - абсолютно революционны.
Лобачевский заменил пятый постулат на прямо противоположное утверждение. Аксиома Лобачевского звучала так: если из точки, не лежащей на прямой, выпустить все лучи, пересекающие эту прямую, то слева и справа эти лучи будут ограничены двумя предельными лучами, которые прямую уже не пересекут, но будут становиться к ней все ближе и ближе. Причем угол между этими предельными лучами будет строго меньше 180 градусов.
Из аксиомы Лобачевского сразу следует, что через точку, не лежащую на данной прямой, можно провести не одну прямую, параллельную данной, как у Евклида, а сколько угодно. Но вести себя эти прямые будут иначе, чем у Евклида. Например, если у нас есть две параллельные прямые, то они могут сначала сближаться, а потом удаляться. То есть расстояние от точки на первой прямой до второй прямой будет зависеть от точки. Будет разным для разных точек.
Геометрия Лобачевского противоречит нашей интуиции отчасти потому, что на небольших расстояниях, с которыми мы обычно имеем дело, она очень мало отличается от евклидовой. Похожим образом мы воспринимаем кривизну поверхности Земли. Когда мы идем от дома к магазину, нам кажется, что мы идем по прямой, а Земля плоская. Но если мы летим, скажем, из Москвы в Монреаль, то мы уже замечаем, что самолет летит по дуге окружности, потому что именно это кратчайший путь между двумя точками на поверхности Земли. То есть мы замечаем, что Земля больше похожа на футбольный мяч, чем на блин.
Геометрию Лобачевского тоже можно проиллюстрировать с помощью футбольного мяча, только не обычного, а гиперболического. Гиперболический футбольный мяч склеен примерно как обычный. Только в обычном мяче к черным пятиугольникам приклеиваются белые шестиугольники, а в гиперболическом мяче вместо пятиугольников нужно делать семиугольники и тоже обклеивать их шестиугольниками. При этом получится уже, конечно, не мяч, а скорее седло. И на этом седле реализуется геометрия Лобачевского.
О своих открытиях Лобачевский пытался рассказать в 1826 году в Казанском университете. Но текста доклада не сохранилось. В 1829 году он опубликовал статью о своей геометрии в университетском журнале. Результаты Лобачевского многим казались бессмысленными - не только потому, что они разрушали привычную картину мира, но потому, что изложены были не самым понятным образом.
Однако были у Лобачевского публикации и в высокорейтинговых журналах, как мы их сегодня называем. Например, в 1836 году он опубликовал статью под названием «Воображаемая геометрия» на французском в знаменитом журнале Крелля, в одном номере со статьями известнейших математиков того времени - Дирихле, Штейнера и Якоби. А в 1840 году Лобачевский издал небольшую и очень понятно написанную книгу под названием «Геометрические исследования по теории параллельных линий». Книга была на немецком и издана была в Германии. Тут же появилась разгромная рецензия. Рецензент особенно издевался над фразой Лобачевского: «Чем далее продолжаем прямые в сторону их параллелизма, тем больше они приближаются друг к другу». «Одно это высказывание, - писал рецензент, - уже достаточно характеризует сочинение господина Лобачевского и освобождает рецензента от необходимости дальнейшей его оценки».
Но нашелся у книги и один непредвзятый читатель. Это был Карл Фридрих Гаусс, также известный под прозвищем Король Математиков, один из величайших математиков в истории. Он высоко оценил книгу Лобачевского в одном из своих писем. Но его отзыв опубликовали только после его смерти вместе с остальной перепиской. И вот тогда начался настоящий бум геометрии Лобачевского.
В 1866 году его книгу перевели на французский язык, затем на английский. Причем английское издание было переиздано еще три раза из-за необычайной популярности. К сожалению, Лобачевский до этого времени не дожил. Он умер в 1856 году. А в 1868-м появилось русское издание книги Лобачевского. Оно вышло не книгой, а статьей в старейшем российском журнале «Математический сборник». Но тогда этот журнал был совсем молодым, ему не исполнилось еще и двух лет. Но более известен русский перевод 1945 года, выполненный замечательным российским и советским геометром Вениамином Федоровичем Каганом.
К концу XIX века математики разделились на два лагеря. Одни сразу приняли результаты Лобачевского и стали дальше развивать его идеи. А другие так и не смогли отказаться от веры, что геометрия Лобачевского описывает что-то несуществующее, то есть геометрия Евклида единственно верная и ничего другого быть не может. К сожалению, к числу последних относился и математик, больше известный как автор «Алисы в стране чудес», - Льюис Кэрролл. Его настоящее имя Чарльз Доджсон. В 1890 году он опубликовал статью под названием «Новая теория параллельных», где защищал исключительно наглядную версию пятого постулата. Аксиома Льюиса Кэрролла звучит так: если в круг вписать правильный четырехугольник, то площадь этого четырехугольника будет строго больше, чем площадь любого из сегментов круга, лежащих вне четырехугольника. В геометрии Лобачевского эта аксиома неверна. Если мы возьмем достаточно большой круг, то, какой бы четырехугольник мы в него ни вписали, какие бы длинные стороны у этого четырехугольника ни были, площадь четырехугольника будет ограничена универсальной физической постоянной. Вообще наличие физических констант и универсальных мер длины - это выгодное отличие геометрии Лобачевского от геометрии Евклида.
Зато Артур Кэли, другой известный английский математик, в 1859 году, то есть всего через три года после смерти Лобачевского, издал статью, которая впоследствии помогла легализовать постулат Лобачевского. Интересно, что Кэли в это время подрабатывал юристом в Лондоне и лишь потом получил профессорскую позицию в Кембридже. Фактически Кэли построил первую модель геометрии Лобачевского, хотя и решал, на первый взгляд, совсем другую задачу.
А другой замечательный английский математик, которого звали Уильям Кингдон Клиффорд, глубоко проникся идеями Лобачевского. И в частности, он первый высказал идею задолго до создания общей теории относительности, что гравитация вызвана искривлением пространства. Клиффорд так оценил вклад Лобачевского в науку в одной из своих лекций о философии науки: «Лобачевский для Евклида стал тем же, кем Коперник стал для Птолемея». Если до Коперника человечество полагало, что мы знаем о Вселенной все, то теперь нам ясно, что мы наблюдаем лишь небольшую часть Вселенной. Так же и до Лобачевского человечество считало, что есть только одна геометрия - евклидова, о ней все давно известно. Теперь мы знаем, что геометрий много, а знаем мы о них далеко не все.
Геометрия Лобачевского
(1) евклидова геометрия; (2) геометрия Римана; (3) геометрия Лобачевского
Геометрия Лобачевского (гиперболическая геометрия ) - одна из неевклидовых геометрий , геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия , за исключением аксиомы о параллельных , которая заменяется на аксиому о параллельных Лобачевского .
Евклидова аксиома о параллельных (точнее, одно из эквивалентных ей утверждений) гласит:
Через точку, не лежащую на данной прямой, проходит не более одной прямой, лежащей с данной прямой в одной плоскости и не пересекающей её.
В геометрии Лобачевского, вместо неё принимается следующая аксиома:
Через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её.
Широко распространено заблуждение, что в геометрии Лобачевского параллельные прямые пересекаются . Геометрия Лобачевского имеет обширные применения как в математике, так и в физике. Историческое и философское её значение состоит в том, что её построением Лобачевский показал возможность геометрии, отличной от евклидовой , что знаменовало новую эпоху в развитии геометрии , математики и науки вообще.
История
Попытки доказательства пятого постулата
Отправным пунктом геометрии Лобачевского послужил V постулат Евклида - аксиома, эквивалентная аксиоме о параллельных . Он входил в список постулатов в «Началах» Евклида . Относительная сложность и неинтуитивность его формулировки вызывала ощущение его вторичности и порождала попытки вывести его как теорему из остальных постулатов Евклида.
Среди многих пытавшихся доказать пятый постулат были, в частности, следующие крупные учёные.
При этих попытках доказательства пятого постулата математики вводили (явно или неявно) некоторое новое утверждение, казавшееся им более очевидным.
Были предприняты попытки использовать доказательство от противного:
- итальянский математик Саккери () (сформулировав противоречащее постулату утверждение, он вывел ряд следствий и, ошибочно признав часть из них противоречивыми, он счёл постулат доказанным),
- немецкий математик Ламберт (около , опубликовано в ) (проведя исследования , он признал, что не смог обнаружить в построенной им системе противоречия).
Наконец, стало возникать понимание о том, что возможно построение теории, основанной на противоположном постулате:
- немецкие математики Швейкарт () и Тауринус () (однако они не осознали, что такая теория будет логически столь же стройной).
Создание неевклидовой геометрии
Лобачевский в работе «О началах геометрии» (), первой его печатной работе по неевклидовой геометрии, ясно заявил, что V постулат не может быть доказан на основе других посылок евклидовой геометрии, и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную, как и евклидова, и свободную от противоречий.
Одновременно и независимо к аналогичным выводам пришёл Янош Бойяи , а Карл Фридрих Гаусс пришёл к таким выводам ещё раньше. Однако труды Бойяи не привлекли внимания, и он вскоре оставил эту тему, а Гаусс вообще воздерживался от публикаций, и о его взглядах можно судить лишь по нескольким письмам и дневниковым записям. Например, в письме 1846 года астроному Г. Х. Шумахеру Гаусс так отозвался о работе Лобачевского:
Это сочинение содержит в себе основания той геометрии, которая должна была бы иметь место и притом составляла бы строго последовательное целое, если бы евклидова геометрия не была бы истинной… Лобачевский называет ее «воображаемой геометрией»; Вы знаете, что уже 54 года (с 1792 г.) я разделяю те же взгляды с некоторым развитием их, о котором не хочу здесь упоминать; таким образом, я не нашёл для себя в сочинении Лобачевского ничего фактически нового. Но в развитии предмета автор следовал не по тому пути, по которому шёл я сам; оно выполнено Лобачевским мастерски в истинно геометрическом духе. Я считаю себя обязанным обратить Ваше внимание на это сочинение, которое, наверное, доставит Вам совершенно исключительное наслаждение.
В итоге Лобачевский выступил как первый наиболее яркий и последовательный пропагандист новой геометрии. Хотя геометрия Лобачевского развивалась как умозрительная теория, и сам Лобачевский называл её «воображаемой геометрией», тем не менее именно он впервые открыто предложил её не как игру ума, а как возможную и полезную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации (модели).
Утверждение геометрии Лобачевского
Модель Пуанкаре
Содержание геометрии Лобачевского
Лобачевский строил свою геометрию, отправляясь от основных геометрических понятий и своей аксиомы, и доказывал теоремы геометрическим методом, подобно тому, как это делается в геометрии Евклида. Основой служила теория параллельных линий, так как именно здесь начинается отличие геометрии Лобачевского от геометрии Евклида. Все теоремы, не зависящие от аксиомы о параллельных, являются общими для обеих геометрий; они образуют так называемую абсолютную геометрию , к которой относятся, например, теоремы о равенстве треугольников. Вслед за теорией параллельных строились другие разделы, включая тригонометрию и начала аналитической и дифференциальной геометрии.
Приведём (в современных обозначениях) несколько фактов геометрии Лобачевского, отличающих её от геометрии Евклида и установленных самим Лобачевским.
Через точку P , не лежащую на данной прямой R (см. рисунок), проходит бесконечно много прямых, не пересекающих R и находящихся с ней в одной плоскости; среди них есть две крайние x , y , которые и называются параллельными прямой R в смысле Лобачевского. В моделях Клейна (Пуанкаре) они изображаются хордами (дугами окружностей), имеющими с хордой (дугой) R общий конец (который по определению модели исключается, так что эти прямые не имеют общих точек).
Угол между перпендикуляром PB из P на R и каждой из параллельных (называемый углом параллельности ) по мере удаления точки P от прямой убывает от 90° до 0° (в модели Пуанкаре углы в обычном смысле совпадают с углами в смысле Лобачевского, и потому на ней этот факт можно видеть непосредственно). Параллель x с одной стороны (а y с противоположной) асимптотически приближается к а , а с другой - бесконечно от неё удаляется (в моделях расстояния определяются сложно, и потому этот факт непосредственно не виден).
Для точки, находящейся от заданной прямой на расстоянии PB = a (см. рисунок), Лобачевский дал формулу для угла параллельности П(a) :
Здесь q - некоторая постоянная, связанная с кривизной пространства Лобачевского. Она может служить абсолютной единицей длины аналогично тому, как в сферической геометрии особое положение занимает радиус сферы.
Если прямые имеют общий перпендикуляр, то они бесконечно расходятся в обе стороны от него. К любой из них можно восстановить перпендикуляры, которые не достигают другой прямой.
В геометрии Лобачевского не существует подобных, но неравных треугольников; треугольники равны, если их углы равны.
Сумма углов всякого треугольника меньше и может быть сколь угодно близкой к нулю. Это непосредственно видно на модели Пуанкаре. Разность , где , , - углы треугольника, пропорциональна его площади:
Из формулы видно, что существует максимальная площадь треугольника, и это конечное число: .
Линия равных расстояний от прямой не есть прямая, а особая кривая, называемая эквидистантой , или гиперциклом .
Предел окружностей бесконечно увеличивающегося радиуса не есть прямая, а особая кривая, называемая предельной окружностью , или орициклом .
Предел сфер бесконечно увеличивающегося радиуса не есть плоскость, а особая поверхность - предельная сфера, или орисфера ; замечательно, что на ней имеет место евклидова геометрия. Это служило Лобачевскому основой для вывода формул тригонометрии.
Длина окружности не пропорциональна радиусу, а растёт быстрее. В частности, в геометрии Лобачевского число не может быть определено как отношение длины окружности к её диаметру.
Чем меньше область в пространстве или на плоскости Лобачевского, тем меньше геометрические соотношения в этой области отличаются от соотношений евклидовой геометрии. Можно сказать, что в бесконечно малой области имеет место евклидова геометрия. Например, чем меньше треугольник, тем меньше сумма его углов отличается от ; чем меньше окружность, тем меньше отношение её длины к радиусу отличается от , и т. п. Уменьшение области формально равносильно увеличению единицы длины, поэтому при безграничном увеличении единицы длины формулы геометрии Лобачевского переходят в формулы евклидовой геометрии. Евклидова геометрия есть в этом смысле «предельный» случай геометрии Лобачевского.
Заполнение плоскости и пространства правильными политопами
Замощение плоскости Лобачевского правильными треугольниками ({3;7})
Плоскость Лобачевского может быть замощена не только правильными треугольниками , квадратами и шестиугольниками , но и любыми другими правильными многоугольниками . При этом в одной вершине паркета должно сходиться не менее 7 треугольников, 5 квадратов, 4 пяти- и шестиугольников и 3 многоугольников с числом сторон более 6. Каждое замощение (в одной вершине сходится M N-угольников) требует строго определённого размера единичного N-угольника, в частности, его площадь должна равняться:
Заполнение пространства Лобачевского правильными додекаэдрами ({5,3,4})
В отличие от обычного пространства, которое можно заполнить правильными многогранниками только одним способом (по 8 кубов в вершине), трёхмерное пространство Лобачевского можно заполнить правильными многогранниками четырьмя способами:
- {3,5,3} (по 12 икосаэдров в вершине)
- {4,3,5} (по 20 кубов в вершине)
- {5,3,4} (по 8 додекаэдров в вершине)
- {3,5,3} (по 20 додекаэдров в вершине)
Кроме этого, существует 11 способов заполнить пространство Лобачевского правильными мозаичными орисферами.
Приложения
- Сам Лобачевский применил свою геометрию к вычислению определённых интегралов .
- В теории функций комплексного переменного геометрия Лобачевского помогла построить теорию автоморфных функций . Связь с геометрией Лобачевского была здесь отправным пунктом исследований Пуанкаре , который писал, что «неевклидова геометрия есть ключ к решению всей задачи».
- Геометрия Лобачевского находит применение также в теории чисел , в её геометрических методах, объединённых под названием «геометрия чисел ».
- Была установлена тесная связь геометрии Лобачевского с кинематикой специальной (частной) теории относительности . Эта связь основана на том, что равенство, выражающее закон распространения света
- Замечательное приложение геометрия Лобачевского нашла в общей теории относительности . Если считать распределение масс материи во Вселенной равномерным (это приближение в космических масштабах допустимо), то оказывается возможным, что при определённых условиях пространство имеет геометрию Лобачевского. Таким образом, предположение Лобачевского о его геометрии как возможной теории реального пространства оправдалось.
- При помощи модели Клейна, даётся очень простое и короткое доказательство теоремы о бабочке в евклидовой геометрии.
См. также
Примечания
Труды основоположников
- Н. И. Лобачевский «Геометрические исследования по теории параллельных линий» . - 1941.
- Об основаниях геометрии. Сборник классических работ по геометрии Лобачевского и развитию ее идей. М.: Гостехиздат, 1956.
Литература
- Александров А. Д., Нецветаев Н. Ю. Геометрия, - Наука, Москва, 1990.
- Александров П. С. Что такое неэвклидова геометрия, - УРСС, Москва, 2007.
- Делоне Б. Н. Элементарное доказательство непротиворечивости планиметрии Лобачевского, - Гостехиздат, Москва, 1956.
- Иовлев Н. Н. «Введение в элементарную геометрию и тригонометрию Лобачевского» . - М.-Л.: Гиз., 1930. - С. 67.
- Клейн Ф. «Неевклидова геометрия» . - М.-Л.: ОНТИ, 1936. - С. 356.
- Попов А. Г.
Геометрия Лобачевского
Введение
Глава I. История возникновения неевклидовой геометрии
Глава II. Геометрия Лобачевского
2.1 Основные понятия
2.2 Непротиворечивость геометрии Лобачевского
2.3 Модели геометрии Лобачевского
2.4 Дефект треугольника и многоугольника
2.5 Абсолютная единица длины в геометрии Лобачевского
2.6 Определение параллельной прямой. Функция П(х)
2.7 Модель Пуанкаре
Практическая часть
1. Сумма углов треугольника
2. Вопрос о существовании подобных фигур
3. Основное свойство параллелизма
4. Свойства функции П(х)
Заключение. Выводы
Приложения
Список использованной литературы
Введение
Данная работа показывает сходство и различия двух геометрий на примере доказательства одного из постулатов Евклида и продолжение этих понятий в геометрии Лобачевского с учетом достижений науки на тот момент.
Любая теория современной науки считается верной, пока не создана следующая. Это своеобразная аксиома развития науки. Этот факт многократно подтверждался.
Физика Ньютона переросла в релятивисткую, а та - в квантовую. Теория флогистона стала химией. Такова судьба всех наук. Участь эта не обошла геометрию. Традиционная геометрия Евклида переросла в геометрии. Лобачевского. Именно этому разделу науки посвящена эта работа.
Цель данной работы: рассмотреть отличие геометрии Лобачевского от геометрии Евклида.
Задачи данной работы: сравнить теоремы геометрии Евклида с аналогичными теоремами геометрии Лобачевского;
посредством решения задач вывести положения геометрии Лобачевского.
Выводы: 1. Геометрия Лобачевского построена на отказе от пятого постулата Евклида.
2. В геометрии Лобачевского:
не существует подобных треугольников, которые не равны;
два треугольника равны, если их углы равны;
сумма углов треугольника не равна 180 0 , а меньше (сумма углов треугольника зависит от его размеров: чем больше площадь, тем сильнее отличается сумма от 180 0 ; и наоборот, чем меньше площадь, тем ближе сумма его углов к 180 0);
через точку вне прямой можно провести более одной прямой, параллельной данной.
Глава 1. История возникновения неевклидовой геометрии
1.1 V постулат Евклида, попытки его доказательства
Евклид – автор первого дошедшего до нас строгого логического построения геометрии. В нем изложение на столько безупречно для своего времени, что в течение двух тысяч лет с момента появления его труда «Начала» оно было единственным руководством для изучающих геометрию.
«Начала» состоят из 13 книг, посвященных геометрии и арифметике в геометрическом изложении.
Каждая книга «Начал» начинается определением понятий, которые встречаются впервые. Вслед за определениями Евклид приводит постулаты и аксиомы, то есть утверждения, принимаемые без доказательства.
V постулат Евклида гласит: и чтобы всякий раз, когда прямая при пересечении с двумя другими прямыми образует с ними односторонние внутренние углы, сумма которых меньше двух прямых, эти прямые пересекались с той стороны, с которой эта сумма меньше двух прямых.
Важнейшим недостатком системы евклидовых аксиом, включая и его постулаты, является ее неполнота, то есть недостаточность их для строго логического построения геометрии, при котором каждое предложение, если оно не фигурирует в списке аксиом, должно быть логически выведено их последних. Поэтому Евклид при доказательстве теорем не всегда основывался на аксиомах, а прибегали в интуиции, к наглядности и «чувственным» восприятиям. Например, понятию «между» он приписывал чисто наглядный характер; он молчаливо предполагал, что прямая, проходящая через внутреннюю точку окружности, непременно должна пересечь ее в двух торчках. При этом он основывался только на наглядности, а не на логике; доказательства этого факта он нигде не дал, и дать не мог, так как у него отсутствовали аксиомы непрерывности. Нет у него и некоторых других аксиом, без которых строго логическое доказательство теорем не возможно.
Но никто не сомневался в истинности постулатов Евклида, что касается и V постулата. Между тем уже в древности именно постулат о параллельных привлек к себе особое внимание ряда геометров, считавших неестественным помещение его среди постулатов. Вероятно, это было связано с относительно меньшей очевидностью и наглядностью V постулата: в неявном виде он предполагает достижимость любых, как угодно далеких частей плоскости, выражая свойство, которое обнаруживается только при бесконечном продолжении прямых.
Сам Евклид и многие ученые пытались доказать постулат о параллельных. Одни старались доказать постулат о параллельных, применяя только другие постулаты и те теоремы, которые можно вывести из последних, не используя сам V постулат. Все такие попытки оказались неудачными. Их общий недостаток в том, что в доказательстве неявно применялось какое-нибудь предположение, равносильное доказываемому постулату. Другие предлагали по-новому определить параллельные прямые или же заменить V постулат каким-либо, по их мнению, более очевидным предложением.
Но многовековые попытки доказательства пятого постулата Евклида привели в конце концов к появлению новой геометрии, отличающейся тем, что в ней V постулат не выполняется. Эта геометрия теперь называется неевклидовой, а в России носит имя Лобачевского, который впервые опубликовал работу с ее изложением.
И одной из предпосылок геометрических открытий Н.И Лобачевского (1792-1856) был как раз его материалистический подход к проблемам познания. Лобачевский он был твердо уверен в объективном и не зависящим от человеческого сознания существовании материального мира и возможности его познания. В речи «О важнейших предметах воспитания» (Казань, 1828) Лобачевский сочувственно приводит слова Ф.Бэкона: «оставьте трудиться напрасно, стараясь извлечь их одного разума всю мудрость; спрашивайте природу, она хранит все истины и на все вопросы ваши будет отвечать вам непременно и удовлетворительно». В своем сочинении «О началах геометрии», являющимся первой публикацией открытой им геометрии, Лобачевский писал: «первые понятия, с которых начинается какая-нибудь наука, должны быть ясны и приведены к самому меньшему числу. Тогда только они могут служить прочным и достаточным основанием учения. Такие понятия приобретаются чувствами; врожденным – не должно верить».
Первые попытки Лобачевского доказать пятый постулат относятся к 1823 году. К 1826 году он пришел к убеждению в том, что V постулат не зависит от остальных аксиом геометрии Евклида и 11(23) февраля 1826 года сделал на заседании факультета казанского университета доклад «Сжатое изложение начал геометрии со строгим доказательством теоремы о параллельных», в котором были изложены начала открытой им «воображаемой геометрии», как он называл систему, позднее получившую название неевклидовой геометрии. Доклад 1826 г. вошел в состав первой публикации Лобачевского по неевклидовой геометрии – статьи «О началах геометрии», напечатанной в журнале Казанского университета «Казанский вестник» в 1829-1830гг. дальнейшему развитию и приложениям открытой им геометрии были посвящены мемуары «Воображаемая геометрия», «применение воображаемой геометрии к некоторым интегралам» и «Новые начала геометрии с полной теорией параллельных», опубликованные в «Ученых записках» соответственно в 1835, 1836 и 1835-1838 гг. Переработанный текст «Воображаемой геометрии» появился во французском переводе в Берлине, там же в 1840г. вышли отдельной книгой на немецком языке «Геометрические исследования по теории параллельных линий» Лобачевского. Наконец, в 1855 и 1856 гг. он издал в Казани на русском и французском языках «Пангеометрию». Высоко оценил «Геометрические исследования» Гаусс, который провел Лобачевского (1842) в члены-корреспонденты Геттингенского ученого общества, бывшего по существу Академией наук ганноверского королевства. Однако в печати с оценкой новой геометрической системы Гаусс не выступил.
1.2 Постулаты параллельности Евклида и Лобачевского
Основным пунктом, откуда начинается разделение геометрии на обычную евклидову (употребительную) и неевклидову (воображаемую геометрию или «пангеометрию») является, как известно, постулат о параллельных линиях.
В основе обычной геометрии лежит предположение, что через точку, не лежащую на данной прямой, можно провести в плоскости, определяемой этой точкой и прямой, не более одной прямой, не пересекающей данную прямую. Тот факт, что через точку, не лежащую на данной прямой, проходит по крайней мере одна прямая, не пересекающая эту прямую, относится к «абсолютной геометрии», т.е. может быть доказан без помощи постулата о параллельных линиях.
Прямая ВВ, проходящая через Р под прямым углом к перпендикуляру РQ, опущенному на АА 1 , не пересекает прямой АА 1 ; эта прямая в евклидовой геометрии называется параллельной к АА 1 .
В противоположность постулату Евклида, Лобачевский принимает в основу построения теории параллельных линий следующую аксиому:
Через точку, не лежащую на данной прямой, можно провести в плоскости, определяемой этой точкой и прямой, более одной прямой, не пересекающей данную прямую.
Отсюда непосредственно вытекает существование бесконечно множества прямых, проходящих через одну и ту же точку и не пересекающих данную прямую. Пусть прямая СС 1 не пересекает АА 1 ; тогда все прямые, проходящие внутри двух вертикальных углов ВРС и В 1 РС 1 , также не пересекаются с прямой АА 1 .
Глава 2. Геометрия Лобачевского.
2.1 Основные понятия
В мемуарах «О началах геометрии» (1829) Лобачевский прежде всего воспроизвел свой доклад 1826г.
теоремы геометрии Лобачевского
1. Основные понятия геометрии Лобачевского
В евклидовой геометрии согласно пятому постулату на плоскости через точку Р, лежащую вне прямой А"А, проходит только одна прямая В"В, не пересекающая А"А. Прямая В"В называется параллелью к А"А. При этом достаточно потребовать, чтобы таких прямых проходило не более одной, так как существование непересекающей прямой может быть доказано путем последовательного проведения прямых PQA"A и PBPQ. В геометрии Лобачевского аксиома параллельности требует, чтобы через точку Р проходило более одной прямой, не пересекающей А "А.
Непересекающие прямые заполняют часть пучка с вершиной Р, лежащую внутри пары вертикальных углов TPU и U"PT" , расположенных симметрично относительно перпендикуляра PQ. Прямые, образующие стороны вертикальных углов, отделяют пересекающие прямые от непересекающих и сами являются тоже непересекающими. Эти граничные прямые называются параллелями в точке Р к прямой А"А соответственно в двух ее направлениях: T"Т параллельно А "А в направлении A"A, a UU" параллельно А "А в направлении А А". Остальные непересекающие прямые называются расходящимися прямыми с А "А .
Угол , 0< 2, параллель к точке Р образует с перпендикуляром PQ, QPT= QPU" =, называется углом параллельности отрезка PQ=a и обозначается через . При а=0 угол =/2; при увеличении а угол уменьшается так, что для каждого заданного, 0<2, существует определенное значение а. Эта зависимость называется функцией Лобачевского :
П (a)=2arctg (),
где к -- некоторая константа, определяющая фиксированный по величине отрезок. Она получила название радиуса кривизны пространства Лобачевского. Подобно сферической геометрии существует бесконечное множество пространств Лобачевского, различающихся величиной к.
Две различные прямые по плоскости образуют пару одного из трех типов.
Пересекающиеся прямые . Расстояние от точек одной прямой до другой прямой неограниченно увеличивается при удалении точки от пересечения прямых. Если прямые не перпендикулярны, то каждая проектируется ортогонально на другую в открытый отрезок конечной величины.
Параллельные прямые . На плоскости через данную точку проходит единственная прямая, параллельная данной прямой в заданном на последней направлении. Параллель в точке Р сохраняет в каждой своей точке свойство быть параллелью той же прямой в том же направлении. Параллелизм обладает взаимностью (если а ||b в определенном направлении, то и b ||а в соответствующем направлении) и транзитивностью (если а ||b и с||b в одном направлении, то а||с в соответствующем направлении). В направлении параллельности параллельные неограниченно сближаются, в противоположном направлении -- неограниченно удаляются (в смысле расстояния от перемещающейся точки одной прямой до другой прямой). Ортогональная проекция одной прямой на другую является открытой полупрямой.
Расходящиеся прямые . Они имеют один общий перпендикуляр, отрезок которого дает минимальное расстояние. По обе стороны от перпендикуляра прямые неограниченно расходятся. Каждая прямая проектируется на другую в открытый отрезок конечной величины.
Трем типам прямых соответствуют на плоскости три типа пучков прямых, каждый из которых покрывает всю плоскость: пучок 1-го рода -- множество всех прямых, проходящих через одну точку (центр пучка); пучок 2-го рода -- множество всех прямых, перпендикулярных к одной прямой (базе пучка); пучок 3-го рода -- множество всех прямых, параллельных одной прямой в заданном направлении, включающее и эту прямую.
Ортогональные траектории прямых этих пучков образуют аналоги окружности евклидовой плоскости: окружность в собственном смысле; эквидистанта , или линия равных расстояний (если не рассматривать базу), которая вогнута в сторону базы; предельная линия , или орицикл , ее можно рассматривать как окружность с бесконечно удаленным центром. Предельные линии конгруэнтны. Они не замкнуты и вогнуты в сторону параллельности. Две предельные линии, порожденные одним пучком,-- концентричны (высекают на прямых пучка равные отрезки). Отношение длин концентрических дуг, заключенных между двумя прямыми пучка, убывает в сторону параллельности как показательная функция расстояния х между дугами:
s" / s=e .
Каждый из аналогов окружности может скользить по самому себе, что порождает три типа однопараметрических движений плоскости: вращение вокруг собственного центра; вращение вокруг идеального центра (одна траектория -- база, остальные -- эквидистанты); вращение вокруг бесконечно удаленного центра (все траектории -- предельные линии).
Вращение аналогов окружностей вокруг прямой порождающего пучка приводит к аналогам сферы: собственно сфере, поверхности равных расстояний и орисфере , или предельной поверхности .
На сфере геометрия больших окружностей -- обычная сферическая геометрия; на поверхности равных расстояний -- геометрия эквидистант, являющаяся планиметрией Лобачевского, но с большим значением к; на предельной поверхности -- евклидова геометрия предельных линий.
Связь между длинами дуг и хорд предельных линий и евклидовы тригонометрические соотношения на предельной поверхности позволяют вывести тригонометрические соотношения на плоскости, то есть тригонометрические формулы для прямолинейных треугольников.
2. Некоторые теоремы геометрии Лобачевского
Теорема 1 . Сумма углов всякого треугольника меньше 2d.
Рассмотрим сначала прямоугольный треугольник ABC (рис. 2). Его стороны а, b, с изображены соответственно в виде отрезка евклидова перпендикуляра к прямой и , дуги евклидовой окружности с центром М и дуги евклидовой окружности с центром N . Угол С --прямой. Угол А равен углу между касательными к окружностям b и с в точке А , или, что то же, углу между радиусами NA и МА этих окружностей. Наконец, B = BNМ.
Построим на отрезке BN как на диаметре евклидову окружность q; она имеет с окружностью с одну только общую точку В , так как ее диаметр является радиусом окружности с . Поэтому точка А лежит вне круга, ограниченного окружностью q, следовательно,
А = MAN < MBN.
Отсюда в силу равенства MBN+В = d имеем:
А +В < d; (1)
поэтому A + B + C < 2d, что и требовалось доказать.
Заметим, что с помощью надлежащего гиперболического движения любой прямоугольный треугольник можно расположить так, чтобы один из его катетов лежал на евклидовом перпендикуляре к прямой и; следовательно, использованный нами метод вывода неравенства (1) применим к любому прямоугольному треугольнику.
Если дан косоугольный треугольник, то разбиваем его одной из высот на два прямоугольных треугольника. Сумма острых углов этих прямоугольных треугольников равна сумме углов данного косоугольного треугольника. Отсюда, принимая во внимание неравенство (1) , заключаем, что теорема справедлива для любого треугольника.
Теорема 2. Сумма углов четырехугольника меньше 4d.
Для доказательства достаточно разбить четырехугольник диагональю на два треугольника.
Теорема 3. Две расходящиеся прямые имеют один и только один общий перпендикуляр.
Пусть одна из данных расходящихся прямых изображается на карте в виде евклидова перпендикуляра р к прямой и в точке М , другая -- в виде евклидовой полуокружности q с центром на и , причем р и q не имеют общих точек (рис. 3). Такое расположение двух расходящихся гиперболических прямых на карте всегда может быть достигнуто с помощью надлежащего гиперболического движения.
Проведем из М евклидову касательную MN к q и опишем из центра М радиусом MN евклидову полуокружность m . Ясно, что m --гиперболическая прямая, пересекающая и р и q под прямым углом. Следовательно, m изображает на карте искомый общий перпендикуляр данных расходящихся прямых.
Две расходящиеся прямые не могут иметь двух общих перпендикуляров, так кaк в этом случае существовал бы четырехугольник с четырьмя прямыми углами, что противоречит теореме 2.
. Теорема 4. Прямоугольная проекция стороны острого угла на другую его сторону есть отрезок (а не полупрямая, как в геометрии Евклида).
Справедливость теоремы очевидна из рис. 4, где отрезок АВ есть прямоугольная проекция стороны АВ острого угла ВАС на его сторону АС.
На том же рисунке дуга DE евклидовой окружности с центром М есть перпендикуляр к гиперболической прямой АС . Этот перпендикуляр не пересекается с наклонной АВ. Следовательно, допущение, что перпендикуляр и наклонная к одной и той же прямой всегда пересекаются, противоречит аксиоме параллельности Лобачевского; оно равносильно аксиоме параллельности Евклида.
Теорема 5. Если три угла треугольника ABC равны соответственно трем углам треугольника А"В"С", то эти треугольники равны.
Допустим обратное и отложим соответственно на лучах АВ и АС отрезки АВ = А"В", АС = А"С". Очевидно, треугольники АВС и А"В"С" равны по двум сторонам и заключенному между ними углу. Точка B не совпадает с В , точка C не совпадает с С , так как в любом из этих случаев имело бы место равенство данных треугольников, что противоречит допущению.
Рассмотрим следующие возможности.
а) Точка В лежит между А и В , точка С -- между А и С (рис. 5); на этом и следующем рисунке гиперболические прямые изображены условно в виде евклидовых прямых). Нетрудно убедиться, что сумма углов четырехугольника ВССВ равна 4d , что невозможно в силу теоремы 2.
6) Точка В лежит между А и В , точка С -- между А и С (рис. 6). Обозначим через D точку пересечения отрезков ВС и BC Так как C = C" и C" = С, то C= С, что невозможно, поскольку угол С -- внешний относительно треугольника CCD.
Аналогично трактуются и другие возможные случаи.
Теорема доказана, поскольку сделанное допущение привело к противоречию.
Из теоремы 5 вытекает, что в геометрии Лобачевского не существует треугольника, подобного данному треугольнику, но не равного ему.