В геометрии каирская пятиугольная мозаика — это мозаика евклидовой плоскости конгруэнтными выпуклыми пятиугольниками , образованная наложением двух мозаик плоскости шестиугольниками и названная так из-за ее использования в качестве дизайна мощения в Каире . Ее также называют сетью Мак-Магона [1] в честь Перси Александра Мак-Магона , который изобразил ее в своей публикации 1921 года « Новые математические развлечения» . [2] Джон Хортон Конвей назвал ее четырехкратной пентильей . [3]
Бесконечно много различных пятиугольников могут образовывать этот узор, принадлежащий двум из 15 семейств выпуклых пятиугольников, которые могут замостить плоскость . Их мозаики имеют различную симметрию; все они гранесимметричны. Одна конкретная форма мозаики, двойственная к мозаике плосконосого квадрата , имеет плитки с минимально возможным периметром среди всех пятиугольных мозаик. Другая, накладывающая две сплющенные мозаики правильными шестиугольниками, является формой, используемой в Каире, и обладает тем свойством, что каждое ребро коллинеарно бесконечному числу других ребер.
В архитектуре, за пределами Каира, каирская плитка использовалась в архитектуре Моголов в Индии XVIII века, в Laeiszhalle начала XX века в Германии и во многих современных зданиях и сооружениях. Она также изучалась как кристаллическая структура и появляется в искусстве М. К. Эшера .
Объединение всех рёбер мозаики Каира равно объединению двух мозаик плоскости шестиугольниками . Каждый шестиугольник одной мозаики окружает две вершины другой мозаики и делится шестиугольниками другой мозаики на четыре пятиугольника мозаики Каира. [4] Бесконечно много различных пятиугольников могут образовывать мозаики Каира, все с одинаковым рисунком смежности между плитками и с одинаковым разложением на шестиугольники, но с различными длинами рёбер, углами и симметриями. Пятиугольники, которые образуют эти мозаики, можно сгруппировать в два различных бесконечных семейства, взятых из 15 семейств выпуклых пятиугольников, которые могут замостить плоскость , [5] и пяти семейств пятиугольников, найденных Карлом Рейнхардтом в 1918 году, которые могут замостить плоскость изоэдрально (все плитки симметричны друг другу). [6]
Одно из этих двух семейств состоит из пятиугольников, которые имеют два несмежных прямых угла , с парой сторон равной длины, встречающихся в каждом из этих прямых углов. Любой пятиугольник, отвечающий этим требованиям, замостит плоскость копиями, которые в выбранных прямых углах повернуты на прямой угол относительно друг друга. На сторонах пятиугольника, которые не являются смежными ни с одним из этих двух прямых углов, встречаются две плитки, повернутые на угол 180° относительно друг друга. Результатом является равногранная мозаика, что означает, что любой пятиугольник в мозаике может быть преобразован в любой другой пятиугольник с помощью симметрии мозаики. Эти пятиугольники и их мозаика часто указываются как «тип 4» в списке типов пятиугольников, которые могут быть замощены. [4] Для любой мозаики Каира 4-го типа двенадцать таких же плиток могут также покрыть поверхность куба, при этом одна плитка сложена поперек каждого ребра куба, а три прямых угла плиток встречаются в каждой вершине куба, образуя ту же комбинаторную структуру, что и правильный додекаэдр . [7] [8]
Другое семейство пятиугольников, образующих мозаику Каира, — это пятиугольники, которые имеют два дополнительных угла в несмежных вершинах, каждая из которых имеет те же самые длины двух сторон, инцидентных ей. В их мозаиках вершины с дополнительными углами чередуются вокруг каждой вершины степени четыре. Пятиугольники, соответствующие этим ограничениям, обычно не перечислены как одно из 15 семейств пятиугольников, которые замостили; скорее, они являются частью большего семейства пятиугольников (пятиугольники «типа 2»), которые замостили плоскость изоэдрально другим способом. [4]
Двусторонне-симметричные мозаики Каира образованы пятиугольниками, которые принадлежат как к семействам типа 2, так и к семейству типа 4. [4] Узор мощения кирпичом- корзинкой можно рассматривать как вырожденный случай двусторонне-симметричных мозаик Каира, где каждый кирпич ( прямоугольник) интерпретируется как пятиугольник с четырьмя прямыми углами и одним углом в 180°. [9]
Можно назначить шестимерные полуцелые координаты пятиугольникам мозаики таким образом, что число шагов от края до края между любыми двумя пятиугольниками будет равно расстоянию L 1 между их координатами. Шесть координат каждого пятиугольника можно сгруппировать в две тройки координат, в которых каждая тройка дает координаты шестиугольника в аналогичной трехмерной системе координат для каждой из двух наложенных шестиугольных мозаик. [10] Число плиток, которые находятся в шагах от любой данной плитки, для , задается координационной последовательностью , в которой после первых трех членов каждый член отличается на 16 от члена на три шага назад в последовательности. Можно также определить аналогичные координационные последовательности для вершин мозаики вместо ее плиток, но поскольку есть два типа вершин (степени три и степени четыре), таким образом возникают две различные координационные последовательности. Последовательность четвертой степени та же, что и для квадратной сетки . [11] [12]
Плосконосая квадратная мозаика , сделанная из двух квадратов и трех равносторонних треугольников вокруг каждой вершины, имеет двусторонне симметричную мозаику Каира в качестве своей двойной мозаики . [13] Плосконосая квадратная мозаика может быть образована из плосконосой квадратной мозаики, помещая вершину мозаики Каира в центр каждого квадрата или треугольника плосконосой квадратной мозаики и соединяя эти вершины ребрами, когда они исходят из соседних плиток. [14] Ее пятиугольники могут быть описаны вокруг окружности . Они имеют четыре длинных ребра и одно короткое с длинами в соотношении . Углы этих пятиугольников образуют последовательность 120°, 120°, 90°, 120°, 90°. [15]
Плосконосая квадратная мозаика является архимедовой мозаикой , и как двойственная к архимедовой мозаике эта форма каирской пятиугольной мозаики является каталонской мозаикой или мозаикой Лавеса. [14] Это одна из двух моноэдральных пятиугольных мозаик, которая, когда плитки имеют единичную площадь, минимизирует периметр плиток. Другая также является мозаикой из описанных пятиугольников с двумя прямыми углами и тремя углами в 120°, но с двумя смежными прямыми углами; также существует бесконечно много мозаик, образованных путем объединения обоих видов пятиугольников. [15]
Пятиугольники с целочисленными координатами вершин , , и , с четырьмя равными сторонами, короче оставшейся стороны, образуют мозаику Каира, две шестиугольные мозаики которой могут быть образованы путем сплющивания двух перпендикулярных мозаик правильными шестиугольниками в перпендикулярных направлениях в соотношении . Эта форма мозаики Каира наследует свойство мозаик правильными шестиугольниками (не измененное сплющиванием), что каждое ребро коллинеарно бесконечному числу других ребер. [9] [16]
Правильный пятиугольник не может образовывать мозаику Каира, так как он не заполняет плоскость без зазоров. Существует уникальный равносторонний пятиугольник , который может образовывать мозаику Каира типа 4; у него пять равных сторон, но его углы не равны, и его мозаика двусторонне симметрична. [4] [13] Бесконечно много других равносторонних пятиугольников могут образовывать мозаику Каира типа 2. [4]
Несколько улиц в Каире были вымощены коллинеарной формой каирской плитки; [9] [17] это применение является источником названия плитки. [18] [19] По состоянию на 2019 год этот узор все еще можно увидеть как украшение поверхности для квадратных плиток около моста Каср-эль-Нил и станции метро El Behoos ; другие версии плитки можно увидеть в других местах города. [20] Некоторые авторы, включая Мартина Гарднера, писали, что этот узор более широко используется в исламской архитектуре , и хотя это утверждение, по-видимому, основано на недоразумении, узоры, напоминающие каирскую плитку, видны на гробнице Итимад-уд-Даула 17-го века в Индии, а сама каирская плитка была найдена на могольском джали 17-го века . [16]
Одна из самых ранних публикаций о каирской плитке как декоративном узоре встречается в книге по текстильному дизайну 1906 года. [21] Изобретатель HC Moore подал заявку на патент США на плитку, образующую этот узор, в 1908 году. [22] Примерно в то же время Villeroy & Boch создала линию керамической напольной плитки в каирском узоре, использованную в фойе Laeiszhalle в Гамбурге , Германия. Каирская плитка использовалась в качестве декоративного узора во многих недавних архитектурных проектах; например, центр города Хёрсхольм , Дания, вымощен этим узором, а Centar Zamet , спортивный зал в Хорватии, использует его как для своих внешних стен, так и для тротуарной плитки. [16]
В кристаллографии эта мозаика изучалась по крайней мере с 1911 года. [23] Она была предложена в качестве структуры для слоистых гидратных кристаллов, [24] некоторых соединений висмута и железа , [25] и пентаграфена , гипотетического соединения чистого углерода . В структуре пентаграфена ребра мозаики, инцидентные вершинам четвертой степени, образуют одинарные связи , в то время как остальные ребра образуют двойные связи . В его гидрогенизированной форме, пентаграфане, все связи являются одинарными связями, а атомы углерода в вершинах третьей степени структуры имеют четвертую связь, соединяющую их с атомами водорода. [26]
Мозаика Каира была описана как один из «любимых геометрических узоров» М. К. Эшера . [7] Он использовал ее в качестве основы для своего рисунка «Ракушки и морские звезды» (1941), в сегменте «пчелы на цветах» его «Метаморфозы III» (1967–1968) и в нескольких других рисунках 1967–1968 годов. Изображение этой мозаики также использовалось в качестве обложки для первого издания книги HSM Coxeter 1974 года «Регулярные комплексные многогранники» . [4] [16]