Сергей Бобров - ВОЛШЕБНЫЙ ДВУРОГ

— Они уже не будут прямыми, — отвечал Илюша.

— Правильно, — согласился Коникос. — Но кратчайшими расстояниями среди линий, соединяющих две точки на поверхности и целиком лежащих на поверхности, они останутся. Такие линии называются геодезическими. Геодезическими на сфере, очевидно, являются большие круги.

— Самое интересное, — добавил Радикс, — это то, что на сфере совсем не может быть параллельных линий.

— Н-да, разумеется… — задумчиво и неопределенно про-

— 263 —

тянул Асимптотос. — Однако ведь у нас есть еще один необычайнейший треугольник. Сумма его углов не больше 2d и не равна 2d, а меньше двух прямых углов.

— Это уж что-то совсем непонятное! — сокрушенно заявил Илюша.

— Разумеется, — промолвил Радикс, — геометрия, в которой можно построить такой треугольник, есть тоже не-евклидова геометрия. Ее открыл и разработал великий русский геометр Николай Иванович Лобачевский, профессор Казанского университета. Он жил с тысяча семьсот девяносто третьего года по тысяча восемьсот пятьдесят шестой год. Его труды, опубликованные в тридцатых годах девятнадцатого столетия, были настолько поразительны и вели к таким необычным и неожиданным последствиям, что лишь немногие его современники могли понять и оценить эти труды.

— Надо тебе сказать, — продолжал вслед за другом Коникос, — что теорему Евклида, которая гласит, что сумма углов плоского треугольника равна двум прямым, можно вывести на основании одного из двух положений:

1) из одной точки можно провести только одну параллельную линию к данной линии или 2) всегда можно построить фигуру, подобную данной, но больше ее.

Таким образом, все эти положения тесно связаны друг с другом, так что если справедливо одно из них, то оправдываются и два других.

— Как это? — спросил Илюша.

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

— 264 —

многие полагали, что никакой другой геометрии, кроме евклидовой, не только нет, но и не может существовать. Мнение это было общепринятым. Иные утверждали, что евклидова геометрия есть наша «естественная» геометрия, которую человек всасывает чуть ли не с молоком матери. Но крупнейший немецкий математик Карл Гаусс на это возразил: «Мы не имеем права путать то, что нам кажется странным, с тем, что и на самом деле невозможно». Лобачевского на его труды натолкнули такие соображения: чтобы убедиться в том, что нет возможности доказать постулат Евклида о параллельных, следует попробовать построить геометрию, где бы этот важный постулат был вообще отброшен. Ход размышлений Лобачевского ты легко можешь усвоить, вспомнив, как доказываются геометрические теоремы «от противного». Мы, вместо того чтобы искать прямое доказательство, делаем противное допущение, и тогда, если в конце наших рассуждений мы сталкиваемся с противоречием, это опровергает наше противное допущение, тем самым подтверждая и доказывая то прямое положение, доказать которое нам и было нужно. Если постулат о параллельных необходим, то (так рассуждал наш великий геометр), мы, отбросив его, не сможем получить строгой системы геометрии и неминуемо придем к логическим противоречиям.

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

— 265 —

потому-то и невозможно доказать пятый постулат Евклида, что наряду с евклидовой геометрией может существовать иная, где этот постулат не имеет силы!

— Ну, а как же люди примирились с этой странной геометрией, которая сначала всем не нравилась?

— Сперва, — отвечал Радикс, — работы Лобачевского не только не нашли признания, но даже были встречены насмешками. Гаусс писал об одном из таких отзывов своему другу Герлингу (в 1844 году), что он видел «весьма отрицательный» отзыв о работе Лобачевского, но по словам Гаусса, для каждого сколько-нибудь осведомленного читателя ясно, что писал это «совершенно невежественный человек». Гаусс сам работал над этой темой, но не решился опубликовать свои результаты именно из-за страха перед неосведомленной критикой… Однако нашлись математики, которые дали себе труд подумать и разобраться в «воображаемой» геометрии. Одним из таких людей был итальянский математик Бельтрами, который в конце шестидесятых годов прошлого века выпустил в свет сочинение, где дал такое наглядное истолкование не-евклидовой геометрии Лобачевского, что всем стало ясно, что эти построения действительно представляют собой геометрическую систему, в известном смысле равноправную с обычной, а не только «воображаемую» геометрию. Бельтрами показал, что в обычном трехмерном евклидовом пространстве можно построить такое тело, на частях поверхности которого будет осуществляться планиметрия Лобачевского, откуда ясно, что геометрия его не может заключать в себе внутренних противоречий.