СЛОВАРЬ ЮНОГО МАТЕМАТИКА

ЛОБАЧЕВСКОГО ГЕОМЕТРИЯ    

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

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

Многие математики, жившие после Евклида, пытались доказать, что эта аксиома {пятый постулат)-лишняя, те. она может

быть доказана как теорема на основании остальных аксиом. Так, в V в. математик Прокл (первый комментатор трудов Евклида) предпринял такую попытку.

Однако в своем доказательстве Прокл незаметно для сбя использовал следующее утверждение: два перпендикуляра к одной прямой на всем своем протяжении находятся на ограниченном расстоянии друг от друга (т.'. две прямые, перпендикулярные третьей, не могут неограниченно удаляться друг от друга. Но при всей кажущейся наглядной «очевидности» это утверждение при строгом ксиоматическом изложении геометрии требует обоснования. В действительности использованное Проклом утверждение является эквивалентом пятого постулата; иначе говоря, если его добавить к остальным аксиомам Евклида в качестве еще одной новой аксиомы, то пятый постулат можно доказать (что и сделал Прокл), а если принять пятый постулат, то можно доказать сформулированное Проклом утверждение.

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

Постепенно «доказательства» становятся все изощреннее, в них все глубже прячутся малозаметные эквиваленты пятого постулата. Допустив, что пятый постулат неверен, математики пытались прийти к логическому противоречию. Они приходили к утверждениям, чудовищно противоречащим нашей геометрической интуиции, но логического противоречия не получалось. А может быть, мы вообще никогда не придем на таком пути к противоречию? Не может ли быть так, что, заменив пятый постулат Евклида его отрицанием (при сохранении остальных аксиом Евклида), мы придем к новой, неевклидовой геометрии, которая во многом не согласуется с нашими привычными наглядными представлениями, но тем не менее не содержит никаких логических противоречий? Эту простую, но очень дерзкую мысль математики не могли выстрадать в течение двух тысячелетий после появления «Начал» Евклида.

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

XIX в. принес решение загадки пятого постулата. К этому открытию независимо от Гаусса пришел и наш соотечественник -профессор Казанского университета Н И Лобачевский. Как и его предшественники, Лобачевский вначале пытался выводить различные следствия из отрицания пятого постулата, надеясь, что рано или поздно он придет к противоречию. Однако он доказал много десятков теорем, не обнаруживая логических противоречий. И тогда Лобачевскому пришла в голову догадка о непротиворечивости геометрии. в которой пятый постулат заменен его отрицанием. Лобачевский назвал эту геометрию воображаемой.

Свои исследования Лобачевский изложил в ряде сочинений, начиная с 1829 г. Но математический мир не принял идеи Лобачевского. Ученые не были подготовлены к мысли о том, что может существовать геометрия, отличная от евклидовой. И лишь Гаусс выразил свое отношение к научному подвигу русского ученого он добился избрания в 1842 г Н. И. Лобачевского членом-корреспондентом Геттингенского королевского научного общества. Это единственная научная почесть, выпавшая на долю Лобачевского при жизни. Он умер, так и не добившись признания своих идей.

Рассказывая о геометрии Лобачевского, нельзя не отметить еще одного ученого, который вместе с Гауссом и Лобачевским делит заслугу открытия неевклидовой геометрии. Им был венгерский математик Я. Бойяи (1802-1860). Его отец, известный математик Ф. Бойяи, всю жизнь работавший над теорией параллельных, считал, что решение этой проблемы выше сил человеческих, и хотел оградить сына от неудач и разочарований. В одном из писем он писал ему «Я прошел весь беспросветный мрак этой ночи и всякий светоч, всякую радость жизни в ней похоронил... она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни. » Но Янош не внял предостережениям отца. Вскоре молодой ученый независимо от Гаусса и Лобачевского пришел к тем же идеям. В приложении к книге своего отца, вышедшей в 1832 г., Я. Бойяи дал самостоятельное изложение неевклидовой геометрии.

В геометрии Лобачевского (или геометрии Лобачевского- Бойяи, как ее иногда называют) сохраняются все теоремы, которые в евклидовой геометрии можно доказать без использования пятого постулата (или аксиомы параллельности-одного из эквивалентов пятого постулата,- включенной в наши дни в школьные учебники). Например: вертикальные углы равны; углы при основании равнобедренного треугольника равны ; из данной точки можно опустить на данную прямую только один перпендикуляр! сохраняются также признаки равенства треугольников и др. Однако теоремы, при доказательстве которых применяется аксиома параллельности, видоизменяются. Теорема о сумме углов треугольника-первая теорема школьного курса, при доказательстве которой используется аксиома параллельности. Здесь нас ожидает первый «сюрприз»: в геометрии Лобачевского сумма углов любого треугольника меньше 180°

Если два угла одного треугольника соответственно равны двум углам другого треугольника, то в евклидовой геометрии равны и третьи углы (такие треугольники подобны). В геометрии Лобачевского не существует подобных треугольников. Более того, в геометрии Лобачевского имеет место четвертый признак равенства треугольников: если углы одного треугольника соответственно равны углам другого треугольника, то эти треугольники равны.