можно непрерывно продолжать по прямой.
3. Из всякого центра всяким раствором может быть описан круг.
4. Все прямые углы равны между собой.
Постулаты 1 и 2 вполне совпадают, похоже, с нашим житейским опытом. По ощущениям – да, мы понимаем, как нарисовать отрезок между двумя точками, и никогда не утыкались ни в какие препятствия в конце пространства, которые не дали бы нам продолжить прямую. Третий постулат несколько мудренее: он предполагает, что расстояния в пространстве заданы так, что длина отрезка при перемещении его с места на место не меняется, где бы ни рисовали круг. Четвертый постулат на вид прост и очевиден. Чтобы постичь его тонкости, вспомним определение прямого угла: это возникающий при пересечении двух прямых угол, равный всем остальным возникшим. Мы такое видели много раз: одна линия перпендикулярна другой, и все углы со всех сторон равны 90°. Но само определение этого не утверждает – оно даже не говорит нам о том, что значение этих углов всегда одно и то же. Можем вообразить мир, в котором эти углы будут равны 90°, если линии пересекаются в некой заданной точке, а если в какой-нибудь другой, то углы получатся другие. Постулат, утверждающий, что все прямые углы равны между собой, гарантирует, что такого быть не может. Это означает в некотором смысле, что линия выглядит одинаково по всей длине – своего рода условие прямизны.
Пятый же постулат Евклида, называемый постулатом параллельности, не настолько очевиден – в отличие от остальных. Это личное изобретение Евклида, а не часть великого корпуса знаний, который он документировал. Но ему, со всей очевидностью, собственная формулировка не нравилась – он изо всех сил старался избегать ее. Позднейшие математики ее тоже невзлюбили: она была недостаточно проста для постулата и требовала доказательства, как теорема. Вот она, в стиле, близком к оригиналу:
5. Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Постулат параллельности (стр. 61) предлагает проверочный критерий тому, сходятся две расположенные на одной плоскости прямые, расходятся или параллельны. Рисунок в этом смысле очень помогает пониманию.
Существует множество разных, но эквивалентных друг другу формулировок постулата параллельности. Одна особенно наглядно демонстрирует то, что постулат говорит нам о пространстве:
Если есть прямая и не лежащая на ней точка, то через эту точку можно провести одну и только одну прямую (в той же плоскости), параллельную данной.
Постулат параллельности может быть нарушен в двух случаях: несуществование параллельных прямых вообще или существование более чем одной линии, проведенной через данную точку параллельно данной прямой.
Нарисуйте на бумаге прямую, поставьте где-нибудь вне ее точку. Как на ваш взгляд – возможно ли, что провести ни одной параллельной линии через эту точку не удастся? А больше одной – возможно? Описывает ли постулат параллельности наш мир? Вообразима ли геометрия, в которой этот постулат можно нарушить – и при этом