Глеб Анфилов - Бегство от удивлений

Я все еще блин. Побывал на сфере и седле, теперь переведен на плоскость. Хлопочу о возврате высоты и объема, но пока безуспешно. И от нечего делать занимаюсь геометрией. Это тем более любопытно, что мне на плоскость прислали два отличных инструмента — транспортир и мерную рулетку. Могу измерять длины и углы (по-прежнему — мгновенно, то есть в рамках классической физики).

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

Следом за Евклидом я строю углы, треугольники, квадраты, делаю всевозможные отсчеты, доказываю теоремы. Постепенно я убеждаюсь, что на плоскости действует строгая система правил измерения расстояний. Геометры называют эти правила метрикой.

Метрические теоремы — не новинка для любого восьмиклассника. Главная из них — теорема Пифагора, знаменитые в поколениях школяров всех стран и наций «пифагоровы штаны». Теорема утверждает: в прямоугольном треугольнике сумма квадратов меньших сторон (катетов а и b) обязательно равна квадрату большей стороны (гипотенузы S):

S2 = а2 +b2

Я, блин, горжусь, что сумел процитировать эту формулу по памяти, не заглядывая в учебник.

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

Один рассеянный ученик по ошибке принес на урок геометрии вместо тетради футбольный мяч. Пришлось ему на мяче чертить всевозможные чертежи. Но вышла незадача: углы треугольников никак не складывались в два прямых. Выходило больше. А когда задали задачку на теорему Пифагора, ученик-футболист аккуратно составил из геодезических линий прямоугольный треугольник, измерил стороны, сложил квадраты катетов — и получилось больше, чем квадрат гипотенузы! «Пифагоровы штаны» оказались велики для футбольного мяча.

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

Почему же? Разве теорема Пифагора не везде справедлива? И теорема о сумме углов треугольника тоже не универсальна?

Да, это так. Метрические правила неодинаковы на поверхностях разной кривизны. Они ведь выводятся из первоначального постулата о пересечении геодезических линий. На сфере, на седле, на плоскости эти линии пересекаются по-разному — отсюда разные суммы углов треугольников и усложненные (геометры говорят — обобщенные) варианты теоремы Пифагора.

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

Какие прямоугольные треугольники ни приставляй к расстоянию, всегда соблюдается равенство квадрата гипотенузы сумме квадратов катетов.

Жаль, что, будучи блином, я сразу не захватил с собой рулетку и транспортир. Имея их, я не возился бы с пересечением геодезических, когда определял, какова моя поверхность. Не ползал бы, не уставал. Начертил бы треугольник, посчитал бы сумму углов, вышло два прямых — значит, моя поверхность плоская. Или сделал бы проверку по теореме Пифагора. Совпала сумма квадратов катетов с квадратом гипотенузы — есть доказательство плоскости.

Будь моя поверхность неплоская, вышло бы как у геометра-футболиста и геометра-ковбоя. Сумма квадратов катетов больше квадрата гипотенузы («пифагоровы штаны» велики) — значит, я на шаре. Сумма квадратов катетов меньше квадрата гипотенузы («пифагоровы штаны» малы) — значит, я на седле. Аналогично с суммой углов треугольника. Больше она двух прямых — треугольник начерчен на сфере, меньше — на седле.

Надеюсь, сказанное до сих пор не внушило вам недоверия. Пока шли разговоры о поверхностях, ничуть не удивительно, что их кривизна связана с метрикой. Это — как резиновая игрушка «уйди-уйди». Вообразите, что тетрадная страничка с геометрическими чертежами тоже резиновая, раздуйте ее в пузырь, натяните на седло или бублик — размеры углов и длин на чертежах тотчас станут другими. Ничего странного[15].

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

Я уже не блин. Мне возвращена высота. Я покинул мир тесных, бесконечно тонких площадей, живу, как и вы, в объеме, в глубоком, раздольном пространстве. Хорошо! Есть где развернуться! Можно не только ползать, но и прыгать и летать. Это очень приятно.

Но мне не до развлечений. В бытность блином я привык беспрерывно исследовать кривизну своего мира, и теперь меня тянет заняться тем же в пространстве.

Прежде всего я намереваюсь придумать способ облачения пустоты в «пифагоровы штаны» и примерки к ней «треугольной шляпы».

Как это сделать?

Вот легонькая задачка из школьной стереометрии.

От моего окна (на пятом этаже) до газетного киоска на противоположной стороне улицы «напрямую» S метров. По тротуару от моего дома с метров, b — ширина улицы, а — высоты моего окна. Требуется найти S, не мешая уличному движению — не протягивая из окна к киоску туго натянутой веревки, а вычислив это расстояние через a, b и с.

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

S2 = а2 + b2 + с2.

Вышло очень похоже на теорему Пифагора, но уже не для плоскости, а для пространства. Для кратчайшего расстояния S, прокладываемого «через пустоту».

Разумеется, a, b и с можно менять, можно строить около расстояния S самые разнообразные прямоугольные треугольники. И по традиционной школьной геометрии квадрат расстояния во всех случаях будет равен сумме квадратов его трех взаимно перпендикулярных координатных отсчетов. Поэтому выражение теоремы Пифагора считается главным инвариантом евклидовой геометрии.

Очень хорошо. От метрики плоскости мы шагнули к метрике пространства. Но вот существенная тонкость.

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

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

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

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

S2 = а2 + b2 + с2 — значит, в пространстве можно провести плоскости и прямые, значит, пространство плоское, евклидово.

Или так. Еду на Кавказ. Стягиваю тугими канатами три горные вершины. Измеряю в этом треугольнике углы, складываю их. Получилось в сумме два прямых — есть еще одно доказательство того, что пространство плоское.

Ну, а если эти эксперименты приведут к другим результатам? Если S2 не совпадет с а2 + b2 + с2? И сумма углов кавказского треугольника не даст двух прямых? Очень нелегко, очень непривычно допустить подобное. Разум упрямо противится даже мысленно позволить столь странный итог пространственных измерений.