Невозможность второго рода. Невероятные поиски новой формы вещества

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

Для Амманна все это было попросту интуитивно очевидно. К сожалению, несколько лет спустя его не стало, так что нам с Довом не довелось больше с ним увидеться.

Самым важным его изобретением, на наш с Довом взгляд, было введение названных его именем полос Амманна – могучего и действенного правила совмещения. На широких и узких ромбах с прямыми сторонами Амманн рисовал набор полосок в соответствии со строгим рецептом, проиллюстрированным пунктирными линиями на рисунке вверху.

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

Однако при более внимательном анализе становится ясно, что полосы Амманна все меняют. Мы с Довом обнаружили, что они выявляют в замощениях Пенроуза нечто такое, чего сам Пенроуз не заметил.

И именно это забросило нас с Довом в странный новый мир невозможных симметрий.

Мы видели, что при стыковке плиток в соответствии с правилом совмещения отдельные полосы Амманна соединяются и образуют прямые линии Амманна, которые тянутся через все замощение. Ниже изображено замощение, поверх которого наложена система линий Амманна. Этот массив состоит из пяти наборов параллельных линий, ориентированных под разными углами.

Мы с Довом обнаружили, что все эти пять наборов прямых одинаковы и повернуты друг к другу под такими же в точности углами, как стороны правильного пятиугольника.

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

Для нас с Довом это был поистине захватывающий момент. Теперь мы точно знали, что находимся на пути к открытию, которое прямо противоречит столетним теоремам Гаюи и Браве.