Волшебный двурог - Страница 98

— Конечно, — отвечал мальчик, — небольшой кусочек сферы или псевдосферы трудно было бы отличить от плоскости.

— Вот, — продолжал Радикс, — если ты сообразишь, что измеряемые нами обычно расстояния слишком малы и не дают вообще возможности отличить свойственную нашему миру геометрию от евклидовой, то тебе станет ясной идея Лобачевского — решить вопрос о нашей геометрии с помощью астрономических опытов. Это раз. А затем скажи мне: сумеешь ли ты отличить дугу окружности от прямой?

— Еще бы! — отвечал, улыбаясь, Илюша. — Дуга имеет кривизну, а прямая нет.

— Ясно. Но вот представь себе: я начерчу на протяжении тридцати сантиметров дугу окружности радиусом длиной в несколько километров. Что ты тогда скажешь?

— На таком маленьком участке, пожалуй, никак не отличишь, — согласился Илюша. — Но ведь если дугу эту сделать не в тридцать сантиметров, а побольше, то сразу станет видно.

— Постой! — прервал его Радикс. — Именно этого мы сейчас делать и не станем. Будем рассматривать геометрию на небольшом участке плоскости, но вместо прямых будем проводить окружности очень больших радиусов. Для примера пусть

— 290 —

радиусы будут длиной около пяти километров, а мы будем при помощи таких радиусов чертить фигуры на обыкновенной классной доске. Вряд ли ты заподозришь, что они не проведены с помощью самой обыкновенной линейки.

— Наверно, нет! — усмехнулся Илюша.

— Сверх этого, мы будем все эти окружности чертить не как-нибудь, а с соблюдением некоторого особого условия: возьмем какую-нибудь очень далеко отстоящую от нас прямую и будем все центры окружностей выбирать на этой прямой.

— Очень далеко, — сказал Илюша, — то есть около пяти километров?

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

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

— Именно поэтому! — отвечал Радикс. — А теперь давай рассмотрим, какая геометрия получится на большом расстоянии от нашей «бесконечно удаленной» прямой. Начнем с того, что выясним, можно ли в таких условиях провести через две данные точки одну «прямую», и только одну.

— Да ведь это сводится к задаче провести через две данные точки окружность, центр которой лежал бы на данной прямой? Это очень просто сделать.

— Ну, а будет ли в нашей геометрии «прямых» правильно, что две прямые пересекаются в одной точке?

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

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

— 291 —

Через всякие две точки М и N можно провести одну, и только одну, «прямую».

Две «прямые» могут пересекаться только в одной точке.

то хотя на глаз на малом участке будет казаться, что все обстоит так же, как обычно, но на самом деле именно здесь-то и обнаружится, что в действительности наши «прямые» подчиняются не законам Евклида, а законам геометрии Лобачевского.

— Как же это так получается? — спросил удивленный Илюша.

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

— Хорошо, — сказал Илюша, — это я теперь понимаю. А какие же «прямые», проходящие через точку М, будут параллельными по геометрии Лобачевского к «прямой» АВ?

— Припомни, что параллельные отделяют непересекающиеся, то есть «расходящиеся» с данной, «прямые» от пересекающих ее. Такими, очевидно, и будут «прямые», изображаемые теми двумя полуокружностями, которые встречают данную полуокружность именно на «бесконечно удаленной» прямой.

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