Алекс в стране чисел. Необычайное путешествие в волшебный мир математики (Беллос) - страница 218

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

Можно показать, что постулат о параллельных имеет отношение к геометрии двух различных типов поверхности, где все зависит от фразы «самое большее одна прямая», которая на языке математики означает «или одна прямая, или ни одной». В первом случае, проиллюстрированном на рисунке, для любой прямой L и точки P существует только одна проходящая через P прямая, параллельная L (она обозначена как L'). Этот вариант постулата о параллельных применим к поверхности наиболее очевидного типа — плоской поверхности, такой как лист бумаги, лежащий у вас на столе.

Постулат о параллельных

Теперь рассмотрим второй вариант постулата, в котором для любой прямой L и точки P вне ее нет ни одной прямой, проходящей через P и параллельной L. С ходу нелегко сообразить, что это может быть за поверхность. В какую ужасную даль от Земли нам придется отправляться на ее поиски?

Да никуда не придется. Мы так и останемся на Земле! Представим себе, например, что наша линия L — это экватор, и вообразим, что точка P — это Северный полюс. Единственные прямые линии, идущие через Северный полюс, — это линии долготы, такие как Гринвичский меридиан, и при этом все линии долготы пересекают экватор. Таким образом, прямой линии, которая проходила бы через Северный полюс и была бы при этом параллельна экватору, просто нет.

Постулат о параллельных говорит о том, что кроме геометрии поверхностей существует еще и геометрия поверхностей сферических. «Начала» имели дело с плоскими поверхностями, и в течение 2000 лет именно они оставались в фокусе математических изысканий. Сферические же поверхности, например поверхность Земли, представляли тогда больший интерес для штурманов и астрономов, чем для теоретиков. Лишь к началу XIX века математики создали теорию, которая охватывала как плоские, так и сферические поверхности, а произошло это только после того, как ученые познакомились с поверхностями третьего типа — гиперболическими.

Среди вознамерившихся вывести постулат о параллельных из первых четырех постулатов и тем самым доказать, что это вовсе не постулат, а теорема, решительнее всех был настроен, пожалуй, Янош Бойяи (1802–1860) — студент из Трансильвании, обучавшийся инженерному делу. Его отец Фаркаш — тоже математик! — исходя из собственного неудачного опыта хорошо представлял себе, какие испытания уготованы сыну на сем пути. «Бога ради, заклинаю тебя, брось это дело, — убеждал он сына. — Оно опаснее, чем чувственные удовольствия, поскольку способно точно так же поглотить все твое время и лишить тебя здоровья, душевного спокойствия и счастья в жизни». Но Янош упрямо игнорировал отцовские увещевания; более того, в своем бунтарстве он был даже готов рассматривать возможность ложности этого евклидовского постулата! Не надо забывать, что для математиков «Начала» были чем-то вроде Библии для христиан — книгой, содержащей непререкаемую, священную истину. И хотя вопрос о том, является ли пятый постулат аксиомой или теоремой, обсуждался, и довольно активно, никто до Бояйи-младшего не осмеливался предположить, что это утверждение Евклида не совсем верно. Прошло время, и оказалось, что постановка этого вопроса открыла окно в новый мир.