ДОКАЗАТЕЛЬСТВО ЕДИНСТВЕННОСТИ ПАРАЛЛЕЛЬНОЙ
Доказать единственность параллельной можно, приняв за истину евклидову геометрию.
Через точку Р, не лежащую на прямой АВ, всегда можно провести единственную прямую, параллельную данной.
Если бы существовали две прямые, параллельные АВ (вводится дополнительная фигура, воображаемая, поскольку основана на ложной предпосылке), это были бы первая (та, которая образует прямой угол с PQ в точке Р) и PR. Следовательно, угол
НЕЕВКЛИДОВА ГЕОМЕТРИЯ
Говоря о геометрии, невозможно не задаться вопросом: какова же истинная геометрия природы? Несомненно, одна из целей аксиоматизации состоит в том, чтобы уловить истину сущего. Но, возможно, на самом деле мы просто улавливаем истинность того, что представляем, то есть порождения человеческого разума, необязательно совпадающего с реальностью.
Во времена Евклида были две «настоящие» геометрические науки: «геометрия небес», то есть сферическая геометрия, необходимая для понимания астрономических процессов, так занимавших древнегреческих мыслителей, и «геометрия внутреннего двора», которой занимался Архимед, когда, по легенде, римский солдат поразил его своим мечом. Первую сейчас называют эллиптической геометрией. Она проявляется на поверхности земного шара. В этой геометрии точки определяются так же, а прямые — нет. Если вслед за Архимедом принять за прямую кратчайшую линию, соединяющую две точки, то мы заметим, что в эллиптической геометрии эти прямые обязательно пересекутся. Представим себе ситуацию: два человека начинают идти по прямой по земному шару, достигая в итоге исходной точки. Оба опишут максимальную окружность (то есть ту, которая делит сферу на два равных полушария), а максимальные окружности сферы обязательно пересекаются (на рисунке 3 окружности r и r' пересекаются в точке Р). Следовательно, в этой геометрии через заданную точку невозможно провести ни одну прямую, параллельную данной.
Вторая геометрия — внутреннего двора — работает в пределах ограниченного стенами пространства, в которой можно построить только то, что позволяет песок, покрывающий землю. В этой геометрии через точку Р, не лежащую на прямой r, можно провести бесконечное число параллельных прямых (см. рисунок 4). Так, мы можем провести через Р прямые r', r", r'". Только r" пересекает r внутри двора. Но есть и другие — все прямые, находящиеся внутри угла с вершиной Р и со сторонами, образованными прямыми, исходящими из Р и доходящими до прямой r. Точки пересечения находятся на стенах двора, а не на земле — там их не существует. Следовательно, прямые r и r' не пересекаются и являются параллельными. Прямые, не находящиеся внутри угла с вершиной P, как и его стороны, параллельны r.