Мир математики. т.4. Когда прямые искривляются. Неевклидовы геометрии

«Молю тебя, не делай попыток одолеть теорию параллельных линий. Ты затратишь на это все свое время, а теоремы останутся недоказанными. В этом беспросветном мраке могут утонуть тысячи таких гигантов, как Ньютон. Этот вопрос никогда не прояснится на земле, и никогда несчастный род человеческий не достигнет ничего совершенного, даже в геометрии. Это большая и вечная рана в моей душе. Ради Бога, молю тебя, оставь эту материю. Страшись ее не меньше, нежели чувственных увлечений, потому что и она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни…»

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

Совместные достижения Лобачевского и Бойяи

Лобачевский и Бойяи заложили основы неевклидовой геометрии и неевклидовой тригонометрии. Они показали, что сумма углов треугольника меньше 180°, а также что не все треугольники имеют одинаковую сумму углов. Чем больше площадь треугольника, тем меньше сумма его углов. Таким образом, не существует подобных треугольников, то есть не существует треугольников одинаковой формы, но разного размера. В этой геометрии если два треугольника имеют конгруэнтные углы (одинакового размера), то и сами треугольники конгруэнтны, то есть они совпадают при наложении друг на друга. Не существует там и прямоугольников в евклидовом смысле: если три угла четырехугольника прямые (90°), то четвертый угол должен быть меньше. Потому что когда прямоугольник делится на две части, сумма углов каждого треугольника должна быть меньше 180°.

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

* * *

КАК ВЫГЛЯДИТ НЕЕВКЛИДОВ ТРЕУГОЛЬНИК

Рисунок справа дает представление о том, как в гиперболической геометрии выглядит неевклидов треугольник АВС, полученный из прямоугольника. Мы видим, что сумма углов А, В и С действительно меньше 180°.

* * *

Основные модели гиперболической геометрии

Моделью евклидовой геометрии является обычная плоскость с обычными понятиями точки и прямой линии. Модели, описанные ниже, помогут нам лучше представить и понять гиперболическую геометрию, а также эллиптическую геометрию, о которой мы расскажем позже.

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

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

Представьте себе человека, который тянет за собой какой-то предмет, и они оба движутся с одинаковой скоростью. В то время как траектория человека является прямой линией, траектория предмета представляет собой кривую линию, постепенно приближающуюся к траектории человека. Этот вид траектории иногда называют «собачьей кривой». В математических терминах это звучит более сложно: говорят, что кривая асимптотически приближается к прямой линии.

Эта кривая также называется трактрисой. Такую траекторию описывает объект, который находился на фиксированном расстоянии и двигался, приближаясь к прямой линии. Это показано на следующем графике:

Здесь точка А движется по прямой линии в направлении, указанном стрелкой, и тянет за собой точку Р. Траектория точки Р называется трактрисой.