Josep Carrera - Трехмерный мир. Евклид. Геометрия

Во времена Евклида были две «настоящие» геометрические науки: «геометрия небес», то есть сферическая геометрия, необходимая для понимания астрономических процессов, так занимавших древнегреческих мыслителей, и «геометрия внутреннего двора», которой занимался Архимед, когда, по легенде, римский солдат поразил его своим мечом. Первую сейчас называют эллиптической геометрией. Она проявляется на поверхности земного шара. В этой геометрии точки определяются так же, а прямые — нет. Если вслед за Архимедом принять за прямую кратчайшую линию, соединяющую две точки, то мы заметим, что в эллиптической геометрии эти прямые обязательно пересекутся. Представим себе ситуацию: два человека начинают идти по прямой по земному шару, достигая в итоге исходной точки. Оба опишут максимальную окружность (то есть ту, которая делит сферу на два равных полушария), а максимальные окружности сферы обязательно пересекаются (на рисунке 3 окружности r и r' пересекаются в точке Р). Следовательно, в этой геометрии через заданную точку невозможно провести ни одну прямую, параллельную данной.

Вторая геометрия — внутреннего двора — работает в пределах ограниченного стенами пространства, в которой можно построить только то, что позволяет песок, покрывающий землю. В этой геометрии через точку Р, не лежащую на прямой r, можно провести бесконечное число параллельных прямых (см. рисунок 4). Так, мы можем провести через Р прямые r', r", r'". Только r" пересекает r внутри двора. Но есть и другие — все прямые, находящиеся внутри угла с вершиной Р и со сторонами, образованными прямыми, исходящими из Р и доходящими до прямой r. Точки пересечения находятся на стенах двора, а не на земле — там их не существует. Следовательно, прямые r и r' не пересекаются и являются параллельными. Прямые, не находящиеся внутри угла с вершиной P, как и его стороны, параллельны r.

Графические построения в такой геометрии, сейчас называемой гиперболической, выглядят так, будто их сделали на седле (рисунок 5). На такой поверхности равносторонний треугольник принимает странный вид, а сумма его углов становится меньше 180°. Параллельные же прямые удаляются друг от друга до бесконечности (или, наоборот, сближаются).

РИС.З

РИС. 4

РИС. 5

Эту геометрию открыли в начале XIX века независимо друг от друга венгерский ученый Янош Бойяи (1802-1860) и русский математик Николай Лобачевский (1792-1856). Уже в 1823 году Лобачевский начал сомневаться в том, что евклидова геометрия единственно возможная, причем именно потому, что все попытки доказать единственность параллельной прямой, исходя из других постулатов Евклида, были напрасны.

В 1829 году появилась статья Лобачевского «О началах геометрии», легшая в основу так называемой неевклидовой геометрии. В ней изложены принципы первой геометрии, построенной на гипотезе, противоречащей пятому постулату Евклида: через точку С, не лежащую на прямой АВ, можно провести более одной параллельной прямой, лежащей в плоскости АВС и не пересекающей АВ. На основе этого переформулированного постулата Лобачевский создал гармоничную и непротиворечивую геометрию.

До сих пор не было дано никакого строгого доказательства его правоты.

Николай Лобачевский о пятом постулате в 1823 году

Тем не менее авторитет Евклида и «Начал» в математическом мире был так высок, что Лобачевский решил не придавать большого значения новой геометрии и в первые годы чуть ли не стыдясь называл ее «воображаемой». За 20 лет, между 1835 и 1855 годами, он по меньшей мере три раза пересматривал свою новую систему. Шотландский писатель и математик Эрик Белл в своей знаменитой книге «Творцы математики» (1937) писал:

«В течение 2200 лет в некотором смысле верилось, что Евклид своей системой геометрии открыл абсолютную истину или необходимый способ человеческого познания. Созданное Лобачевским было настоятельным доказательством ошибочности этого верования. Смелость этого вызова и порожденный им успех вдохновили математиков и ученых вообще бросить вызов другим «аксиомам» или принятым «истинам» (например, «принципу» причинности), которые в течение столетий казались так же необходимыми для направления мышления, как постулат Евклида, до того как Лобачевский отбросил его.