Мы такое видели много раз: одна линия перпендикулярна другой, и все углы со всех сторон равны 90°. Но само определение этого не утверждает — оно даже не говорит нам о том, что значение этих углов всегда одно и то же. Можем вообразить мир, в котором эти углы будут равны 90°, если линии пересекаются в некой заданной точке, а если в какой-нибудь другой, то углы получатся другие. Постулат, утверждающий, что все прямые углы равны между собой, гарантирует, что такого быть не может. Это означает в некотором смысле, что линия выглядит одинаково по всей длине — своего рода условие прямизны.
Пятый же постулат Евклида, называемый постулатом параллельности, не настолько очевиден — в отличие от остальных. Это личное изобретение Евклида, а не часть великого корпуса знаний, который он документировал. Но ему, со всей очевидностью, собственная формулировка не нравилась — он изо всех сил старался избегать ее. Позднейшие математики ее тоже невзлюбили: она была недостаточно проста для постулата и требовала доказательства, как теорема. Вот она, в стиле, близком к оригиналу:
…
5. Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Постулат параллельности (стр. 61) предлагает проверочный критерий тому, сходятся две расположенные на одной плоскости прямые, расходятся или параллельны. Рисунок в этом смысле очень помогает пониманию.
Существует множество разных, но эквивалентных друг другу формулировок постулата параллельности. Одна особенно наглядно демонстрирует то, что постулат говорит нам о пространстве:
…
Если есть прямая и не лежащая на ней точка, то через эту точку можно провести одну и только одну прямую (в той же плоскости), параллельную данной.
Постулат параллельности может быть нарушен в двух случаях: несуществование параллельных прямых вообще или существование более чем одной линии, проведенной через данную точку параллельно данной прямой.
* * *
Нарисуйте на бумаге прямую, поставьте где-нибудь вне ее точку. Как на ваш взгляд — возможно ли, что провести ни одной параллельной линии через эту точку не удастся? А больше одной — возможно? Описывает ли постулат параллельности наш мир? Вообразима ли геометрия, в которой этот постулат можно нарушить — и при этом остаться в пределах математического смысла? Два последних вопроса в конце концов подвели нас к революции мышления: первый — в наших представлениях о Вселенной, второй — в понимании природы и смысла математики. Но 2000 лет подряд ни в одной области человеческого знания практически не существовало представления более общепринятого, чем «факт», зафиксированный в постулате Евклида: есть одна и только одна параллельная прямая.
Глава 6. Красавица, библиотека и конец цивилизации
Евклид — первый великий математик в длинной и, увы, обреченной череде александрийских ученых. Македоняне — греки, обитавшие на севере континентальной Греции, — в 352 году до н. э. начали покорение и объединение эллинских земель под властью Филиппа II Македонского. После разгромного поражения афинские властители в 338 году до н. э. подписали мир на условиях Филиппа, фактически отказавшись от независимости греческих городов-государств. Всего два года спустя, посещая официальную церемонию, на которой была представлена статуя Филиппа в образе нового бога Олимпа, сам Филипп пал жертвой паршивой кадровой политики: его убил один из телохранителей. Его сын Александр — который Великий, — двадцати лет отроду, принял бразды правления.
Александр высоко ценил знания — возможно, благодаря либеральному образованию, в котором геометрия играла важную роль. |