В геометрии планигон — это выпуклый многоугольник , который может заполнять плоскость только своими копиями ( изотопный фундаментальным единицам моноэдральных мозаик ). На евклидовой плоскости есть 3 правильных планигона; равносторонний треугольник , квадраты и правильные шестиугольники ; и 8 полуправильных планигонов; и 4 полуправильных планигона, которые могут замостить плоскость только другими планигонами.
Все углы планигона являются целыми делителями 360°. Замощения производятся путем соединения ребер перпендикулярными серединами ребер исходной равномерной решетки или центроидами вдоль общих ребер (они совпадают).
Мозаики, сделанные из планигонов, можно рассматривать как двойственные мозаики к правильным, полуправильным и полуправильным мозаикам плоскости правильными многоугольниками .
В книге 1987 года « Мозаики и узоры » Бранко Грюнбаум называет вершинно-однородные мозаики архимедовыми параллельными архимедовым телам . Их двойственные мозаики называются мозаиками Лавеса в честь кристаллографа Фрица Лавеса . [1] [2] Их также называют мозаиками Шубникова–Лавеса в честь Шубникова, Алексея Васильевича. [3] Джон Конвей называет однородные двойственные мозаики каталонскими мозаиками , параллельными каталонским телам .
У мозаик Лавеса вершины находятся в центрах правильных многоугольников, а ребра соединяют центры правильных многоугольников, имеющих общее ребро. Плитки мозаик Лавеса называются планигонами . Сюда входят 3 правильные плитки (треугольник, квадрат и шестиугольник) и 8 неправильных. [4] Каждая вершина имеет ребра, равномерно расположенные вокруг нее. Трехмерные аналоги планигонов называются стереоэдрами .
Эти плитки перечислены по их конфигурации граней , количеству граней в каждой вершине грани. Например, V4.8.8 (или V4.8 2 ) означает равнобедренные треугольные плитки с одним углом с четырьмя треугольниками и двумя углами, содержащими восемь треугольников.
Операция Конвея для дуальных меняет местами грани и вершины. В архимедовых телах и k -однородных мозаиках новая вершина совпадает с центром каждой правильной грани или центроидом . В евклидовом (плоском) случае; для того, чтобы создать новые грани вокруг каждой исходной вершины, центроиды должны быть соединены новыми ребрами, каждое из которых должно пересекать ровно одно из исходных ребер. Поскольку правильные многоугольники обладают диэдральной симметрией , мы видим, что эти новые ребра центроид-центроид должны быть перпендикулярными биссектрисами общих исходных ребер (например, центроид лежит на всех перпендикулярных биссектрисах ребер правильного многоугольника). Таким образом, ребра k -двойственных однородных мозаик совпадают с отрезками линий центроид-середина ребра всех правильных многоугольников в k -однородных мозаиках.
Все 14 единообразных используемых правильных вершинных планигонов также происходят [5] из 6-5 додекаграммы (где каждый сегмент охватывает радианы или 150 градусов).
Вписанная окружность этой додекаграммы показывает, что все 14 VRP являются коциклическими , как альтернативно показано упаковками кругов . Отношение вписанной окружности к описанной равно:
и выпуклая оболочка — это в точности правильные двенадцатиугольники в k-однородной мозаике . Равносторонний треугольник, квадрат, правильный шестиугольник и правильный двенадцатиугольник; показаны выше с VRP.
Фактически, любая группа планигонов может быть построена из рёбер полиграммы , где и — число сторон сторон в RP, смежных с каждой задействованной вершинной фигурой. Это происходит потому, что радиус описанной окружности любого правильного -угольника (от вершины до центроида) совпадает с расстоянием от центра полиграммы до её отрезков, пересекающихся под углом , поскольку все полиграммы допускают вписанные окружности с вписанными радиусами, касающимися всех их сторон.
В Tilings and Patterns Грюнбаум также построил мозаики Лавеса, используя моноэдральные плитки с правильными вершинами . Вершина является правильной, если все углы, исходящие из нее, равны. Другими словами: [1]
Таким образом, все мозаики Лавеса уникальны, за исключением квадратной мозаики (1 степень свободы), пятиугольной мозаики амбара (1 степень свободы) и шестиугольной мозаики (2 степени свободы):
При применении к более высоким дуальным кооднородным мозаикам все дуальные корегулярные планигоны могут быть искажены, за исключением треугольников ( подобие AAA ), как показано ниже:
Для евклидовых мозаик «от края к краю» внутренние углы выпуклых многоугольников, встречающихся в вершине, должны в сумме давать 360 градусов. Правильный n -угольник имеет внутренние углы . Существует семнадцать комбинаций правильных многоугольников, внутренние углы которых в сумме дают 360 градусов, каждая из которых называется видом вершины ; в четырех случаях имеется два различных циклических порядка многоугольников, что дает двадцать один тип вершин.
Фактически, имея вершинные (внутренние) углы , мы можем найти все комбинации допустимых углов по следующим правилам:
Использование правил формирует следующий список:
* Не могут сосуществовать с другими типами вершин.
Решение задачи 9.46, Геометрия (Rusczyk), [6] находится в столбце Вершина степени 3 выше. Треугольник с одиннадцатиугольником (11-угольник) дает 13,2-угольник, квадрат с семиугольником (7-угольник) дает 9,3333-угольник, а пятиугольник с шестиугольником дает 7,5-угольник). Следовательно, существуют комбинации правильных многоугольников, которые встречаются в вершине.
Только одиннадцать из этих комбинаций углов могут встречаться в мозаике Лавеса из планигонов.
В частности, если три многоугольника встречаются в вершине и один из них имеет нечетное число сторон, то два других многоугольника должны быть такими же. Если это не так, то им придется чередоваться вокруг первого многоугольника, что невозможно, если число его сторон нечетное. Из-за этого ограничения эти шесть не могут появляться ни в какой мозаике правильных многоугольников:
С другой стороны, эти четыре можно использовать в k -двойственно-однородных мозаиках:
Наконец, если принять длину стороны за единицу, то все правильные многоугольники и пригодные для использования планигоны имеют длины сторон и площади, как показано в таблице ниже:
Каждая двойная однородная мозаика находится в соотношении 1:1 с соответствующей однородной мозаикой посредством построения планигонов выше и наложения.
Такие периодические мозаики можно классифицировать по числу орбит вершин, ребер и плиток. Если есть k орбит планигонов, мозаика известна как k -дуально-равномерная или k -изоэдральная; если есть t орбит дуальных вершин, как t -изогональная; если есть e орбит ребер, как e -изотоксальная.
k -двойственно-однородные мозаики с одинаковыми вершинными гранями можно дополнительно идентифицировать по их групповой симметрии обоев , которая идентична симметрии соответствующей k -однородной мозаики.
1-dual-uniform мозаики включают 3 правильные мозаики и 8 мозаик Лавеса с 2 или более типами вершин правильной степени. Существует 20 2-dual-uniform мозаик, 61 3-dual-uniform мозаика, 151 4-dual-uniform мозаика, 332 5-dual-uniform мозаики и 673 6--dual-uniform мозаики. Каждая может быть сгруппирована по числу m различных вершинных фигур, которые также называются m -архимедовыми мозаиками. [8]
Наконец, если число типов планигонов совпадает с однородностью ( m = k ниже), то говорят, что мозаика является двойственной Кротенхердтовой . В общем случае однородность больше или равна числу типов вершин ( m ≥ k ), так как разные типы планигонов обязательно имеют разные орбиты, но не наоборот. Если положить m = n = k , то для n = 1 существует 11 таких двойственных мозаик ; для n = 2 — 20; для n = 3 — 39; для n = 3 — 33 ; для n = 4 — 15; для n = 5 — 10 ; для n = 6 — 7 .
Показаны 3 правильных и 8 полуправильных мозаик Лавеса, планигоны которых окрашены в соответствии с площадью, как в конструкции:
Это сделано выше для двойственной мозаики 3-4-6-12. Соответствующий однородный процесс — это рассечение , и он показан здесь .
Существует 20 мозаик, составленных из 2 типов планигонов, двойственных мозаикам из 2-однородных плиток (двойные мозаики Кротенхердта):
Существует 39 мозаик, составленных из 3 типов планигонов (двойных плиток Кротенхеердта):
Существует 33 мозаики, составленные из 4 типов планигонов (двойных плиток Кротенхеердта):
Существует 15 5-однородных двойных мозаик с 5 уникальными планигонами:
Существует 10 6-однородных двойных мозаик с 6 уникальными планигонами:
Существует 7 7-однородных двойных мозаик с 7 уникальными планигонами:
Последние две двойные однородные мозаики 7 имеют одинаковые типы вершин, хотя внешне они совершенно не похожи!
Начиная с этого момента, не существует ни однородных n мозаик с n типами вершин, ни однородных n двойственных мозаик с n различными (полу)планигонами. [9]
Существует много способов создания новых k-двойственно-однородных мозаик из других k-однородных мозаик. Три способа — масштабирование, как показано ниже:
Для увеличения планигонов V3 2 .4.12 и V3.4.3.12 с использованием метода усеченного тригексагона необходимо применить масштабный коэффициент :
Двумя 9-однородными мозаиками в [10] достигается большая фрактализация с масштабным коэффициентом 3 во всех планигонах. В случае s,C,B,H его собственный планигон находится точно в центре:
Ниже показаны две 9-однородные мозаики, фрактализации полурегулярных мозаик DC и DB , а также общий пример на S 2 TC :
Двойные однородные плитки (красные) вместе с оригиналами (синими) выбранных плиток. [7] [11] Сгенерировано путем построения центра тяжести-ребра по средней точке с помощью обнаружения полигона-центроида-вершины, округляя угол каждого со-ребра до ближайших 15 градусов. Поскольку размер единицы плиток варьируется от 15 до 18 пикселей, а каждый правильный многоугольник немного отличается, [7] есть некоторые перекрытия или разрывы двойных ребер (генератор размером 18 пикселей неправильно генерирует со-ребра из пяти плиток размером 15 пикселей, классифицируя некоторые квадраты как треугольники).
Другие сравнения конструкции край-край. Поворачивается каждые 3 секунды.
Ниже приведены аффинные линейные расширения других однородных мозаик, от исходной до двойственной и обратно:
Первая 12-однородная мозаика содержит все планигоны с тремя типами вершин, а вторая 12-однородная мозаика содержит все типы ребер.
Если - мозаика означает двойную однородную мозаику, мозаику Каталавеса, то существует мозаика 11-9, [7] мозаика 13-10, мозаика 15-11, мозаика 19-12, две мозаики 22-13 и мозаика 24-14. Также существует мозаика плит 13-8 и мозаика 14-10 без часов. Наконец, существуют мозаики 7-5, использующие все часовые планигоны: [10]
Каждая равномерная мозаика соответствует упаковке кругов, в которой круги диаметром 1 размещены во всех вершинах, соответствующих планигонам. [11] Ниже приведены упаковки кругов оптимизированных мозаик и мозаики со всеми ребрами:
Слайд-шоу всех 94 5-двойственно-однородных мозаик с 4 различными планигонами. Меняется каждые 6 секунд, циклы каждые 60 секунд.
Ниже показаны все мозаики с правильными двенадцатиугольниками в [7] , чередующиеся между однородными и двойственно-однородными каждые 5 секунд:
Сравнение 65k однородных мозаик в однородных плоских мозаиках и их двойственных однородных мозаиках. Две нижние строки совпадают и масштабируются: