Евклидово окно. История геометрии от параллельных прямых до гиперпространства - Млодинов Леонард - Страница 8

Фокус Пола Карри

Трюк, изобретенный фокусником-любителем Полом Карри[53] (см. предыдущую страницу), жившим в Нью-Йорке, – отличный геометрический пример. Возьмем квадратный лист бумаги и нарисуем на нем сетку из меньших квадратов семь на семь. Разрежем лист на пять частей и переложим их так, как показано на рисунке. В результате получим «квадратный пончик» – квадрат того же размера, что и исходный, однако по центру не будет хватать одного квадратика. Куда подевался этот квадратик? Мы что же, доказали теорему о том, что цельный квадрат равен по площади пончику?

Фокус состоит в том, что при пересборке квадрата фрагменты ложатся чуточку внахлест, и фигура в результате получается слегка жульнической – или, скажем так, приблизительной. Второй сверху ряд клеток получается чуть-чуть выше, а весь квадрат – на ¹/₄₉ длиннее по вертикали, чем должен быть, и этого как раз достаточно, чтобы набралась площадь недостающего квадратика. Но если бы нам доступно было измерение длин с точностью лишь до 2 %, мы бы не уловили разницу между этими двумя фигурами и впали бы в искушение сделать мистический вывод, что площади квадрата и «квадратного пончика» равны друг другу.

Учтены ли как-то подобные малые расхождения в теориях пространства? Одной из путеводных идей в создании общей теории относительности, гениальной теории об искривлении пространства, послужило Альберту Эйнштейну именно отклонение перигелия Меркурия от классической ньютоновской теории[54]. Согласно теории Ньютона, планеты движутся по идеальным эллиптическим орбитам. Точка, в которой планета ближе всего к Солнцу, называется перигелием, и, если теория Ньютона верна, планета должна ежегодно проходить строго через эту точку. В 1859 году в Париже Урбен Жан Жозеф Леверье сообщил, что перигелий Меркурия постоянно смещается – самую малость, всего 38 секунд в столетие, что, конечно же, никаких практических последствий не имеет. И тем не менее такое отклонение почему-то происходит. Леверье назвал это «чудовищным затруднением, достойным внимания астрономов». К 1915 году Эйнштейн достаточно развил свою теорию – и вычислил орбиту Меркурия; в эти расчеты обнаруженное отклонение вполне вписалось. По словам биографа Эйнштейна Абрахама Пайса, это открытие стало «высшей точкой его научной жизни. Он был так взбудоражен, что три дня не мог работать». Каким бы малым ни было это отклонение, его объяснение привело к падению классической физики.

Целью Евклида было построить систему так, чтобы в ней не оставалось места для нечаянных допущений, основанных на интуиции, угадывании или приблизительности. Он ввел двадцать три определения[55], пять геометрических постулатов и пять дополнительных постулатов, которые он назвал «Общими утверждениями». На этом фундаменте он доказал 465 теорем – практически все геометрическое знание его времени.

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

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

Некоторые другие Евклидовы определения – например, точки или прямой – довольно расплывчаты и бесполезны: прямая – это «та, что лежит равномерно на всех точках, что на ней помещены». Это определение, вероятно, возникло из строительной практики – там прямоту линий проверяли, глядя из некой точки вдоль проверяемой прямой. Чтобы вникнуть в это определение, нужно загодя иметь в уме понятие прямой. Точка есть «то, у чего нет частей» – еще одно определение, граничащие с бессмыслицей.

Евклидовы общие утверждения более элегантны. Эти внегеометрические логические утверждения[56], судя по всему, Евклид считал проявлениями бытового здравого смысла – в отличие от постулатов, что были вполне геометричны. Эту разницу обозначил ранее еще Аристотель. Всесторонне взвесив эти интуитивные допущения, Евклид, по сути, добавил их к постулатам, однако явно желал отличать их от чисто геометрических утверждений. Одно то, что Евклид счел необходимым вообще эти утверждения предъявить, указывает на глубину мысли:

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

Евклидов постулат параллельности

Постулаты 1 и 2 вполне совпадают, похоже, с нашим житейским опытом. По ощущениям – да, мы понимаем, как нарисовать отрезок между двумя точками, и никогда не утыкались ни в какие препятствия в конце пространства, которые не дали бы нам продолжить прямую. Третий постулат несколько мудренее: он предполагает, что расстояния в пространстве заданы так, что длина отрезка при перемещении его с места на место не меняется, где бы ни рисовали круг. Четвертый постулат на вид прост и очевиден. Чтобы постичь его тонкости, вспомним определение прямого угла: это возникающий при пересечении двух прямых угол, равный всем остальным возникшим. Мы такое видели много раз: одна линия перпендикулярна другой, и все углы со всех сторон равны 90°. Но само определение этого не утверждает – оно даже не говорит нам о том, что значение этих углов всегда одно и то же. Можем вообразить мир, в котором эти углы будут равны 90°, если линии пересекаются в некой заданной точке, а если в какой-нибудь другой, то углы получатся другие. Постулат, утверждающий, что все прямые углы равны между собой, гарантирует, что такого быть не может. Это означает в некотором смысле, что линия выглядит одинаково по всей длине – своего рода условие прямизны.

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