Энциклопедический словарь юного математика

1) Через точку внутри угла, меньшего, чем развернутый, всегда можно провести прямую, пересекающую его стороны, т.е. прямые линии на плоскости не могут располагаться так, как показано на рис. 3. 2) Существуют два подобных треугольника, не равных между собой. 3) Три точки, расположенные по одну сторону прямой l на равном расстоянии от нее (рис. 4), лежат на одной прямой. 4) Для всякого треугольника существует описанная окружность.

Рис. 3

Рис. 4

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

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

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

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

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