Первым, кто увидел глубокую общность мозаик и многогранников, был Иоганн Кеплер. Именно он предложил рассматривать плоскость, заполненную прилегающими друг к другу многоугольниками, как выродившийся многогранник и потому смог применить к ним одну и и ту же общую теорию.
Потом эта его мысль была продолжена в обе стороны: жалкая многократно "надломленная" прямая линия стала выродившимся многоугольником, а многогранники превратились всего лишь в трехмерных представителей неких многомерных сверхтел — величественных "политопов", речь о которых впереди.
Что же касается великолепных сферических мозаик, то их положение в известном смысле промежуточное — от плоскости ушли, а к многогранникам не пришли. Но именно поэтому они оказались очень удобным инструментом для исследования пространственных фигур. Кроме того, благодаря своей броской красоте они были изучены давно — первым их описывал известный на Востоке математик Абу-л-Ваф, живший в X веке. И в наши дни сферические мозаики притягивают к себе внимание художественных натур. Например, эсхеровские "Буковый шар", "Ангелы и дьяволы" и "Сфера с человеческими фигурами" — ювелирно вырезанные из дерева пространственные мозаики так хороши, что легко могут стать источником вдохновения и фантазии.
И то и другое нам понадобится, когда речь пойдет о фигурах, живущих в четвертом и более высоких измерениях, — сверхмногогранниках.
Высшее назначение математики — находить порядок в хаосе, который нас окружает.
VII. Музыка сфер
Несмотря на ту высокую степень развития, до которой доведены науки математические трудами великих геометров трех последних столетий, практика обнаруживает ясно неполноту их во многих отношениях...
"Я тут не так давно разработал очень любопытный удар лапой эн в икс направлении", — говорит Дракон в пьесе Евгения Львовича Шварца. Очевидно, и омерзительный "летун-хлопотун" что-то искал в многомерном пространстве — наверное, защиту от неминуемой кары. Швейцарского математика Людвига Шлефли, символами которого мы пользовались, говоря о плоских мозаиках и трехмерных многогранниках, интересовало другое. В своей книге "Теория многократной непрерывности" он поставил такой вопрос: правильных многоугольников на плоскости может быть сколько угодно, правильных же многогранников существует только пять. Но это в пространстве трех измерений, а что будет в четвертом? Шлефли установил, что там имеют вид на жительство шесть правильных гипертел — аналогов пяти платоновых. Эти правильные сверхмногогранники, или политопы, состоят из Платоновых тел, которые называются теперь "ячейками политопа", соединенных между собой так, что каждая грань их принадлежит двум, а каждое ребро — сразу нескольким ячейкам. Если, как принято, обозначить это "нескольким" латинской буквой r, то символ Шлефли для политопа будет выглядеть так: {р, q, r}.
Что он означает, наверное, ясно.
Итак, политоп — крайний член последовательности все усложняющихся геометрических образцов: точка — линия — многоугольник — многогранник — политоп. Само это слово придумал в 1882 году Рейнгольд Хоппе — тот самый немецкий математик, что пусть с опозданием на 180 лет, но сумел рассудить спор Ньютона и Грегори, с рассказа о котором началась эта книга. Но в научный обиход оно вошло уже только в нашем веке благодаря Алисе Стотт, родной сестре Этель Лилиан Войнич, автора романа "Овод". Их отец Джордж Буль, известный математик, создатель целой науки — алгебры логики, сумел передать каждой из пяти дочерей часть своих разносторонних талантов. Алиса, например, обладала прекрасным пространственным воображением — она умела воображать четырехмерные фигуры. Сделанные ею модели политопов и по сию пору можно увидеть в Кембридже.
"Хотя аналогия часто вводит в заблуждение, это наименьшее из того, что вводит нас в заблуждение", — писал Сэмюэл Батлер в книге "Музыка, картины и книги". Модели — это, конечно, лишь грубая аналогия. Но их несомненное достоинство? подкупающая простота. Самую примитивную из самоделок, подобных тем, что делала Алиса Стотт, может без труда изготовить любой из подручных материалов, например из проволоки. Если рядом с тетраэдром, правильной пирамидой, расположить некую точку так, чтобы она находилась ото всех вершин пирамиды на расстоянии, равном ее ребру, то получится первый из наших политопов — правильный симплекс, речь о котором уже шла, когда мы делали первые свои шаги в четырехмерье. Его можно рассматривать пятью разными способами как пирамиду, у которой любая вершина играет роль "верхней", а остальные четыре определяют основание. Его проекция на плоскость представляет собой уже не раз встречавшийся нам правильный пятиугольник с вписанной в него пентаграммой — всем нам знакомой пятиугольной звездой. Видно, что у симплекса пять вершин, десять ребер, десять "обычных" двумерных граней и пять трехмерных сверхграней — четырехгранных пирамид, слагающих его "тело". В вершине политопа, "верхней вершине", встречаются три тетраэдра, то есть три трехгранные ячейки, в вершинах которых сходятся по три треугольника. Потому и символ Шлефли выглядит однообразно: {3,3,3}.