Евклидово окно. История геометрии от параллельных прямых до гиперпространства

Млодинов Леонард

_{Треугольники на глобусе}

Представим древнего ученого по имени Неевклида. Сидит она себе в своем кабинете в академии и приходит к тем же выводам, что и наш старик Евклид. Но прежде чем обнародовать свои «Начала», она желает проверить, приложимы ли ее теории к пространству за пределами стен академии, т. е. к широкомасштабной геометрии пространства. Ее ученик Алексей приносит ей карту из библиотеки — см. рисунок на стр. 185. На карте видно, что габонский Либревиль располагается на нулевой широте, 9° ВД в вершине прямоугольного треугольника, две другие вершины которого приблизительно приходятся на нигерийский Кано (24°) и угандийскую Кампалу. Одна из основных теорем

евклидовой геометрии — теорема Пифагора. Неевклида просит Алексея произвести расчеты и проверить ее. Алексей докладывает:

…

Сумма квадратов катетов: 3 444 500

Квадрат гипотенузы: 3 404 025

Неевклида, взглянув на результаты, выговаривает Алексею: нерадивый ты счетовод. Однако, проделав повторный расчет собственноручно, Неевклида обнаруживает, что Алексей прав. Тогда Неевклида применяет другой оборонительный прием теоретика: она списывает расхождения в расчетах на экспериментальную ошибку. Отправляет в библиотеку другого своего ученика, Николая, чтобы он собрал больше данных. Николай возвращается с координатами вершин треугольника пообширнее: Либервиль, итальянский Кальяри (39 °CШ) и колумбийская Лерида (71° ЗД). Этот треугольник тоже отображен на карте. Николай вычисляет:

…

Сумма квадратов катетов: 38 264 845

Квадрат гипотенузы: 32 455 809

Неевклиде все это не нравится. Расхождение стало еще больше. Как мог ее коллега Непифагор так сильно ошибаться? Как так вышло, что Неевклида, померив уйму треугольников, ни разу не заметила этой нестыковки? «Те треугольники, — вмешивается Алексей, — были крошечными, а эти — громадные». Николай замечает, что чем больше треугольник, тем больше расхождение. Он выдвигает предположение, что все треугольники, которые им приходилось изучать, они измеряли в их крошечной лаборатории или в городе, и расхождения оказывались столь малы, что остались незамеченными.

Неевклида решает потратить кое-какие грантовые деньги и отправить Алексея и Николая в экспедицию в Нью-Йорк. Там по ее поручению, на 40°45’ СШ и 74°00’ ЗД, Николаю предстоит пройти расстояние в десять минут долготы на запад и оказаться примерно в центре Ньюарка. Николаю же поручено пройти десять минут широты на север — он окажется таким образом в Нью-Милфорде, штат Нью-Джерси. С хорошей точностью эти три точки образуют прямоугольный треугольник со следующими длинами сторон: Нью-Йорк — Нью-арк 8,73 мили; Нью-Йорк — Нью-Милфорд 11,53 мили; Нью-Милфорд — Ньюарк, 14,46 мили.

Неевклида проверяет выполнение теоремы Пифагора:

…

Сумма квадратов катетов: 209

Квадрат гипотенузы: 209

Для достаточно маленьких треугольников все получается. У Неевклиды в голове уже созревают зачатки неевклидовой геометрии, и она отправляет своих учеников в еще одну, последнюю экспедицию.

На сей раз Алексею и Николаю предстоит пройти по морю от Нью-Йорка до Мадрида (40 °CШ, 04° ВД), т. е. практически строго на восток. Этот путь им нужно проделать не единократно, всякий раз слегка меняя маршрут и измеряя точную протяженность пути. Их задача, как некогда у Колумба, — выявить кратчайшее расстояние между этими заданными точками, или обнаружить геодезическую прямую. Работа эта — на несколько лет, но статья, которую потом можно опубликовать, обещает настоящий фурор.

Если плыть по прямой от Нью-Йорка до Мадрида, т. е. строго вдоль линии широты, выйдет ли маршрут кратчайшим? Нет. Оказывается, нужно плыть вдоль странной кривой, обозначенной на карте, сначала направляясь на северо-восток, а потом постепенно сворачивая на юг, покуда курс не выровняется на юго-восток. Той же траекторией катится шар для боулинга, если ничто ему не мешает, и мигрируют некоторые гениальные птицы [178] , например, американские ржанки или таитийские кроншнепы. Так же натягивали от точки к точке веревку и двухмерные египетские умельцы-строители.

178

Из интервью со Стивеном Млодиновым 9 октября 1999 г.

Все

это легко понять, если представить, как выглядит Земля из космоса. «Строго на восток» в странствиях по глобусу не реализуется, поскольку направления «север» и «восток» — не фиксированные. При перемещении из Нью-Йорка в Мадрид направления, называемые «на восток» или «на север», вращаются в трехмерном пространстве. Кратчайшая траектория между Нью-Йорком и Мадридом — или между любыми другими двумя точками на земном шаре — кривая, называемая большим кругом (это круг на земном шаре, центр которого совпадает с центром Земли; это самые большие окружности, какие можно изобразить на земной поверхности, отсюда и название). Большие круги — аналоги линий Пуанкаре во вселенной Пуанкаре, линии, которые мы по привычке называем прямыми, и они выполняют роль прямых в евклидовых аксиомах. Линии широт — большие круги, равно как и экватор, но лишь он — кривая с постоянной широтой (центры всех остальных кругов с постоянной широтой располагаются выше или ниже по оси Земли).

_{Нью-Йорк — Мадрид}

Вид из космоса местным вроде Неевклиды не ведом. Для нее «центра Земли» не существует, а также не существует «космоса», и Гаусс доказал, что такое возможно. Неевклида, воодушевленная результатами Алексея и Николая, заключила бы, что пространство, в котором она живет, — неевклидово: не гиперболическое, а похожее на поверхность шара, т. е. эллиптическое.

В неевклидовом пространстве все большие круги пересекаются. Суммы углов в треугольнике всегда больше 180° (в гиперболическом пространстве — меньше). В треугольнике, образованном экватором и двумя линиями долгот, соединяющих экватор с Северным полюсом, к примеру, сумма углов составляет 270°. Как и в случае гиперболического, это пространство на малых расстояниях тоже смахивает на евклидово, оттого отклонения так долго и не замечали. Например, превышение суммы углов в треугольнике привычных 180° уменьшается по мере уменьшения самих треугольников.

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

Глава 21. Повесть о двух инопланетянах

Георг Риман [179] родился в 1826 году в маленькой деревне Брезеленц, неподалеку от мест, где появился на свет Гаусс. В семье Риманов было шестеро детей. Двум его сестрам, да и ему самому, выпала судьба умереть молодыми. Его мать скончалась, когда он был еще мал. До десяти лет его обучал дома отец, лютеранский пастор. Риман больше всего любил историю, особенно — польского национального движения. Серьезный юный Георг явно не производил впечатления души компании — он ею и не был. Напротив — выказывал патологическую застенчивость и скромность. И гениальность. Приверженцы конспирологических теорий предположили бы, имея в виду Гаусса и Римана, что в начале XIX века под немецким Гамбургом некая высшая инопланетная раса основала колонию и подбросила двум нищим местным семьям гениальных младенцев. И хотя никаких анекдотов о гениальном детстве Римана, в отличие от детства Гаусса, не сохранилось, похоже, Риман уже тогда был чуточку умнее, чем положено всем нам.

179

Отличный обзор работ и интеллектуального наследия Римана с некоторыми биографическими сведениями, см.: Michael Monastyrsky, Riemann, Topology, and Physics , trans. Roger Cooke, James King, and Victoria King (Boston: Birkhauser, 1999). Обзорное жизнеописание Римана см. также: Bell, стр. 484–509. (Оригинальное издание первой работы: Монастырский М. И. Бернхард Риман. Топология. Физика. М.: Янус-К, 1999. — Прим. пер.)