Построение Витхоффа, или конструкция Витхоффа[1] — метод построения однородных многогранников или мозаик на плоскости. Метод назван по имени математика В. А. Витхоффа[англ.]. Часто метод построения Витхоффа называют калейдоскопным построением.
Построение основано на идее мозаик на сфере с использованием сферических треугольников — см. треугольники Шварца. Это построение использует отражения относительно сторон треугольника подобно калейдоскопу. Однако, в отличие от калейдоскопа, отражения не параллельны, а пересекаются в одной точке. Многократные отражения образуют несколько копий треугольника. Если углы сферического треугольника выбраны правильно, треугольники покрывают сферу мозаикой один или более раз.
Если поместить точку в подходящее место внутри сферического треугольника, окружённого зеркалами, можно добиться, чтобы отражения этой точки дали однородный многогранник. Для сферического треугольника ABC имеются четыре позиции, которые дают однородный многогранник:
Процесс, в общем случае, применим и для получения правильных политопов в пространствах более высоких размерностей, включая 4-мерные однородные политопы[англ.].
Шестиугольная призма строится как из семейства (6 2 2), так и из семейства (3 2 2). |
Обрезанная квадратная мозаика[англ.] строится с помощью двух различных позиций в семействе (4 4 2). |
Однородные многогранники, которые нельзя построить с помощью зеркального построения Витхоффа, называются невитхоффовыми. Их, в общем случае, можно получить из витхоффовых построений либо альтернацией[англ.] (удаление вершин через одну) или вставкой чередующихся рядов некоторых фигур. Оба типа таких фигур обладают вращательной симметрией. Иногда обрезки считаются витхоффовыми, даже если они могут быть получены путём альтернации обрезанных со всех сторон фигур.
Шестиугольная антипризма строится с помощью альтернации двенадцатиугольной призмы[англ.]. |
Удлинённая треугольная мозаика[англ.] строится путём чередования строк квадратной мозаики и треугольной мозаики. |
Большой биромбоикосододекаэдр[англ.] является единственным невитхоффовым однородным многогранником. |
Для улучшения этой статьи желательно:
|