Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Равномерное многогранник имеет правильные многоугольники как грани и является вершина-симметрический (т.е. существует изометрическое отображение любой вершины на любом другой). Отсюда следует, что все вершины конгруэнтны .

Равномерные многогранники могут быть правильными (если также грань и ребро транзитивны), квазирегулярными (если также ребро транзитивно, но не грань транзитивно) или полурегулярными (если ни ребро, ни грань не транзитивны). Грани и вершины не обязательно должны быть выпуклыми , поэтому многие однородные многогранники также являются звездчатыми .

Есть два бесконечных класса однородных многогранников вместе с 75 другими многогранниками:

Следовательно, 5 + 13 + 4 + 53 = 75.

Есть также много вырожденных однородных многогранников с совпадающими парами ребер, в том числе найденный Джоном Скиллингом большой диргомбидодекаэдр disnub (фигура Скиллинга).

Двойные многогранники к однородным многогранникам являются гранно-транзитивными (изоэдральными) и имеют правильные фигуры вершин и обычно классифицируются параллельно со своими двойственными (однородными) многогранниками. Двойственный к правильному многограннику является правильным, а двойственный к архимедовому телу - каталонским телом .

Концепция однородного многогранника является частным случаем концепции однородного многогранника , которая также применяется к формам в многомерном (или низкоразмерном) пространстве.

Определение [ править ]

Первородный грех в теории многогранников восходит к Евклиду, и через Кеплера, Пуансо, Коши и многих других продолжает поражать все работы по этой теме (включая работу автора настоящей статьи). Это происходит из-за того, что традиционное использование термина «правильные многогранники» противоречило и остается вопреки синтаксису и логике: слова, кажется, подразумевают, что мы имеем дело среди объектов, которые мы называем «многогранники», с теми особенными те, которые заслуживают называться «обычными». Но на каждом этапе - Евклид, Кеплер, Пуансо, Гесс, Брюкнер… - авторам не удавалось определить, что такое «многогранники», среди которых они находят «правильные».

(Бранко Грюнбаум  1994 )

Кокстер, Лонге-Хиггинс и Миллер (1954) определяют однородные многогранники как вершинно-транзитивные многогранники с правильными гранями. Они определяют многогранник как конечный набор многоугольников, так что каждая сторона многоугольника является стороной только одного другого многоугольника, так что ни одно непустое собственное подмножество многоугольников не обладает таким же свойством. Под многоугольником они неявно подразумевают многоугольник в трехмерном евклидовом пространстве; они могут быть невыпуклыми и пересекать друг друга.

Есть некоторые обобщения понятия однородного многогранника. Если отказаться от предположения о связности, то мы получим однородные соединения, которые можно разбить как объединение многогранников, например, соединение 5 кубов. Если отказаться от условия невырожденности реализации многогранника, мы получим так называемые вырожденные однородные многогранники. Это требует более общего определения многогранников. Грюнбаум (1994) дал довольно сложное определение многогранника, в то время как МакМаллен и Шульте (2002) дали более простое и более общее определение многогранника: в их терминологии многогранник - это двумерный абстрактный многогранник.с невырожденной трехмерной реализацией. Здесь абстрактный многогранник - это совокупность его «граней», удовлетворяющих различным условиям, реализация - это функция от ее вершин до некоторого пространства, и реализация называется невырожденной, если любые две различные грани абстрактного многогранника имеют различные реализации. Вот некоторые из способов, которыми они могут быть вырождены:

  • Скрытые лица. Некоторые многогранники имеют скрытые грани в том смысле, что их внутренние части не видны снаружи. Обычно они не считаются однородными многогранниками.
  • Вырожденные соединения. Некоторые многогранники имеют несколько ребер, и их грани являются гранями двух или более многогранников, хотя они не являются соединениями в предыдущем смысле, поскольку многогранники имеют общие ребра.
  • Двойные крышки. Существуют неориентируемые многогранники, у которых есть двойные накрытия, удовлетворяющие определению равномерного многогранника. У двойных крышек двойные грани, ребра и вершины. Обычно они не считаются однородными многогранниками.
  • Двойные лица. Есть несколько многогранников с удвоенными гранями, произведенных конструкцией Витхоффа. Большинство авторов не допускают сдвоения граней и убирают их как часть конструкции.
  • Двойные края. Фигура Скиллинга имеет двойные ребра (как в вырожденных однородных многогранниках), но ее грани нельзя записать как объединение двух однородных многогранников.

История [ править ]

Правильные выпуклые многогранники [ править ]

  • Платоническая твердые частицы восходит к классическим грекам и были изучены с помощью пифагорейцев , Платона (с 424 -. 348 до н.э.), Theaetetus (с 417 г. до н.э. -. 369 до н.э.), Тимей из Locri (около 420-380 г. до н.э.) и Евклида (эт. 300 г. до н. э.). Этруски открыл регулярный додекаэдр до 500 года до нашей эры. [1]

Неправильные равномерные выпуклые многогранники [ править ]

  • Кубооктаэдр был известен Платоном .
  • Архимед (287 г. до н.э. - 212 г. до н.э.) открыл все 13 архимедовых тел . Его оригинальная книга по этому вопросу была утеряна, но Папп Александрийский (ок. 290 - ок. 350 н. Э.) Упомянул, что Архимед перечислил 13 многогранников.
  • Пьеро делла Франческа (1415 - 1492) заново открыл пять усечений Платоновых тел: усеченный тетраэдр, усеченный октаэдр, усеченный куб, усеченный додекаэдр и усеченный икосаэдр, а также включил иллюстрации и расчеты их метрических свойств в свою книгу De quinque corporibus regularibus . Он также обсуждал кубооктаэдр в другой книге. [2]
  • Лука Пачоли сплагиатировал работу Франчески в De divina ratio в 1509 году, добавив ромбокубооктаэдр , назвав его икосигексаэдром из- за его 26 граней, который был нарисован Леонардо да Винчи .
  • Иоганн Кеплер (1571–1630) был первым, кто опубликовал полный список архимедовых тел в 1619 году, а также определил бесконечные семейства однородных призм и антипризм .

Правильные звездные многогранники [ править ]

  • Кеплер (1619) открыл два правильных многогранника Кеплера – Пуансо, а Луи Пуансо (1809) открыл два других. Набор из четырех был доказан Огюстином Коши (1789–1857) и назван Артуром Кэли (1821–1895).

Другие 53 необычных звездных многогранника [ править ]

  • Из оставшихся 53 Эдмунд Гесс (1878) открыл два, Альберт Бадуро (1881) открыл еще 36, а Питч (1881) независимо открыл 18, из которых 3 не были открыты ранее. Вместе они дали 41 многогранник.
  • Геометр HSM Coxeter обнаружил оставшиеся двенадцать в сотрудничестве с JCP Miller (1930–1932), но не опубликовал их. М. С. Лонге-Хиггинс и Х. К. Лонге-Хиггинс независимо обнаружили одиннадцать из них. Лесавр и Мерсье заново открыли пять из них в 1947 году.
  • Кокстер, Лонге-Хиггинс и Миллер (1954) опубликовали список однородных многогранников.
  • Сопов (1970) доказал свою гипотезу о полноте списка.
  • В 1974 году Магнус Веннингер опубликовал свою книгу « Модели многогранников» , в которой перечислены все 75 непризматических однородных многогранников со многими ранее неопубликованными именами, данными им Норманом Джонсоном .
  • Скиллинг (1975) независимо доказал полноту и показал, что если определение равномерного многогранника ослабить так, чтобы рёбра совпадали, то остаётся только одна дополнительная возможность.
  • В 1987 году Эдмонд Бонан нарисовал все однородные многогранники и их двойники в 3D с помощью программы Turbo Pascal под названием Polyca : почти из них были показаны во время Конгресса Международного стереоскопического союза, проходившего в Театре Конгресса в Истборне, Великобритания. [ необходима цитата ] . [3]
  • В 1993 году Цви Хар'Эль произвел полное калейдоскопическое построение однородных многогранников и двойников с помощью компьютерной программы под названием Kaleido и резюмировал в статье « Единое решение для однородных многогранников» , считая цифры 1-80. [4]
  • Также в 1993 году Р. Мэдер перенес это решение Kaleido в систему Mathematica с немного другой системой индексации. [5]
  • В 2002 году Питер В. Мессер открыл минимальный набор выражений в замкнутой форме для определения основных комбинаторных и метрических величин любого однородного многогранника (и двойственного к нему) с учетом только его символа Уайтхоффа . [6]

Однородные звездные многогранники [ править ]

Большой диромбикосододекаэдр, единственный однородный многогранник, не относящийся к Витоффу.

57 непризматических невыпуклых форм, за исключением большого диромбикосододекаэдра , составлены конструкциями Витхоффа внутри треугольников Шварца .

Выпуклые формы по конструкции Wythoff [ править ]

Выпуклые равномерные многогранники можно назвать операциями построения Уайтхоффа регулярной формы.

Более подробно выпуклые однородные многогранники приведены ниже по их конструкции Уайтхоффа в каждой группе симметрии.

В конструкции Wythoff есть повторы, созданные формами более низкой симметрии. Куб - это правильный многогранник и квадратная призма. Октаэдр является правильным многогранником, и треугольной антипризма. Октаэдр также выпрямленное тетраэдр . Многие многогранники повторяются из разных источников построения и окрашиваются по-разному.

Конструкция Wythoff в равной степени применима к однородным многогранникам и однородным мозаикам на поверхности сферы , поэтому даны изображения обоих. Сферические тайлинги включая набор hosohedrons и dihedrons , которые являются вырожденными многогранниками.

Эти группы симметрии образуются из групп точек отражения в трех измерениях , каждая из которых представлена ​​фундаментальным треугольником ( p  q  r ), где p  > 1, q  > 1, r  > 1 и 1 / p + 1 / q + 1 / r. <1 .

  • Тетраэдрическая симметрия (3 3 2) - порядок 24
  • Октаэдрическая симметрия (4 3 2) - порядок 48
  • Икосаэдрическая симметрия (5 3 2) - порядок 120
  • Диэдральная симметрия ( n 2 2), для n = 3,4,5, ... - порядок 4 n

Остальные неотражающие формы строятся операциями чередования, применяемыми к многогранникам с четным числом сторон.

Наряду с призмами и их двугранной симметрией , процесс построения сферической формы Витхофф добавляет два регулярных класса, которые становятся вырожденными как многогранники: диэдры и осоэдры , первый из которых имеет только две грани, а второй - только две вершины. Усечение правильных хозоэдров создает призмы.

Ниже выпуклые однородные многогранники пронумерованы от 1 до 18 для непризматических форм, как они представлены в таблицах по форме симметрии.

Для бесконечного набора призматических форм они разделены на четыре семейства:

  1. Хосоэдры H 2 ... (только как сферические мозаики)
  2. Дигедры D 2 ... (только как сферические мозаики)
  3. Призмы P 3 ... (усеченные осоэдры)
  4. Антипризмы A 3 ... (плоскостные призмы)

Сводные таблицы [ править ]

И пример двугранной симметрии:

(Сфера не разрезается, разрезается только мозаика.) (На сфере ребро - это дуга большого круга, кратчайшего пути между двумя его вершинами. Следовательно, двуугольник, вершины которого не полярно-противоположны, называется плоский: похоже на край.)

(3 3 2) T d тетраэдрическая симметрия [ править ]

Тетраэдрическая симметрия сферы генерирует 5 равномерные многогранники, и 6 - форму с помощью операции курносой.

Тетраэдрическая симметрия представлена ​​фундаментальным треугольником с одной вершиной с двумя зеркалами и двумя вершинами с тремя зеркалами, представленными символом (3 3 2). Он также может быть представлен группой Кокстера A 2 или [3,3], а также диаграммой Кокстера :CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png.

Есть 24 треугольника, видимых на гранях шестигранника тетракис и в треугольниках с чередованием цвета на сфере:

(4 3 2) О ч октаэдрической симметрии [ править ]

Октаэдрическая симметрия сферы генерирует 7 равномерных многогранники, и больше 7 чередованием. Шесть из этих форм повторяются из таблицы симметрии тетраэдра выше.

Октаэдрическая симметрия представлена ​​фундаментальным треугольником (4 3 2) с учетом зеркал в каждой вершине. Он также может быть представлен группой Кокстера B 2 или [4,3], а также диаграммой Кокстера :CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png.

Есть 48 треугольников, видимых на гранях додекаэдра дисьякиса и в треугольниках с чередованием цветов на сфере:

(5 3 2) Я ч икосаэдрической симметрии [ править ]

Икосаэдрическая симметрия сферы генерирует 7 равномерных многогранники, и более 1 чередование. Только один повторяется из тетраэдрической и октаэдрической таблиц симметрии выше.

Симметрия икосаэдра представлена ​​фундаментальным треугольником (5 3 2), в каждой вершине которого есть зеркала. Он также может быть представлен группой Кокстера G 2 или [5,3], а также диаграммой Кокстера :CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png.

Есть 120 треугольников, видимых на гранях триаконтаэдра дисьякиса и в треугольниках с чередованием цветов на сфере:

(p 2 2) Призматический [p, 2], семейство I 2 (p) ( диэдральная симметрия D p h ) [ править ]

Диэдр симметрия сферы генерирует два бесконечных множество однородных многогранников, призмы и антипризм, и два более бесконечного множества вырожденных многогранников hosohedra и dihedra , которые существуют как разбиения на сфере.

Двугранная симметрия представлена ​​фундаментальным треугольником (p 2 2), в каждой вершине которого есть зеркала. Он также может быть представлен группой Кокстера I 2 (p) или [n, 2], а также призматической диаграммой Кокстера :CDel node.pngCDel p.pngCDel node.pngCDel 2.pngCDel node.png.

Ниже приведены первые пять двугранных симметрий: D 2 ... D 6 . Диэдральная симметрия D p имеет порядок 4n , представляя грани бипирамиды , а на сфере - линию экватора по долготе и n равноотстоящих линий долготы.

(2 2 2) Двугранная симметрия [ править ]

На гранях квадратной бипирамиды (октаэдра) видны 8 основных треугольников, а на сфере - треугольники, окрашенные в разные цвета:

(3 2 2) D 3h двугранная симметрия [ править ]

На гранях шестиугольной бипирамиды видны 12 основных треугольников, а на сфере - треугольники, окрашенные в разные цвета:

(4 2 2) D 4h двугранная симметрия [ править ]

На гранях восьмиугольной бипирамиды видны 16 основных треугольников, а на сфере - треугольники, окрашенные в разные цвета:

(5 2 2) D 5h двугранная симметрия [ править ]

На гранях десятиугольной бипирамиды видны 20 основных треугольников, а на сфере - треугольники, окрашенные в разные цвета:

(6 2 2) D 6h двугранная симметрия [ править ]

На гранях двенадцатигранной бипирамиды видны 24 фундаментальных треугольника, а на сфере - треугольники с чередованием цветов.

Строительные операторы Wythoff [ править ]

См. Также [ править ]

  • Многогранник
    • Правильный многогранник
    • Квазирегулярный многогранник
    • Полуправильный многогранник
  • Список равномерных многогранников
    • Список равномерных многогранников по фигуре вершины
    • Список однородных многогранников по символу Wythoff
    • Список равномерных многогранников треугольником Шварца
  • Список твердых тел Джонсона
  • Список моделей многогранников Веннингера
  • Модель многогранника
  • Равномерная черепица
  • Равномерные мозаики в гиперболической плоскости
  • Псевдо-однородный многогранник
  • Список фигур

Заметки [ править ]

  1. ^ Правильные многогранники, стр.13
  2. ^ Пьеро делла Франчески многогранники
  3. ^ "Stéréo-Club Français - Галерея: Полиэдр" .
  4. ^ Har'El, Z. Однородное решение для равномерных многогранников. , Geometriae Dedicata 47, 57-110, 1993. Цви Хар'Эль , программное обеспечение Kaleido , изображения , двойные изображения
  5. ^ Mäder, RE Однородные многогранники. Mathematica J. 3, 48-57, 1993. [1]
  6. ^ Выражения в замкнутой форме для однородных многогранников и их двойников, Питер В. Мессер, Discrete Comput Geom 27: 353–375 (2002) [ мертвая ссылка ]

Ссылки [ править ]

  • Брюкнер, M. Vielecke und vielflache. Theorie und geschichte. . Лейпциг, Германия: Teubner, 1900. [2]
  • Кокстер, Гарольд Скотт Макдональд ; Лонге-Хиггинс, MS ; Миллер, JCP (1954). "Равномерные многогранники" (PDF) . Философские труды Королевского общества А . 246 (916): 401–450. DOI : 10.1098 / RSTA.1954.0003 . ISSN  0080-4614 . JSTOR  91532 . Руководство по ремонту  0062446 .
  • Грюнбаум Б. (1994), «Многогранники с полыми гранями», у Тибора Бистрицкого; Питер Макмаллен; Рольф Шнайдер; и другие. (ред.), Труды НАТО Института перспективных исследований по многогранников: Реферат, Выпуклые и Вычислительный , Springer, С. 43-70,. дои : 10.1007 / 978-94-011-0924-6_3 , ISBN 978-94-010-4398-4
  • Макмаллен, Питер ; Шульте, Эгон (2002), Абстрактные правильные многогранники , издательство Cambride University Press
  • Скиллинг, Дж. (1975). «Комплект однородных многогранников». Философские труды Лондонского королевского общества. Серия А. Математические и физические науки . 278 (1278): 111–135. DOI : 10,1098 / rsta.1975.0022 . ISSN  0080-4614 . JSTOR  74475 . Руководство по ремонту  0365333 .
  • Сопов, СП (1970). «Доказательство полноты списка элементарных однородных многогранников». Украинский геометрический сборник (8): 139–156. Руководство по ремонту  0326550 .
  • Веннингер, Магнус (1974). Модели многогранников . Издательство Кембриджского университета. ISBN 978-0-521-09859-5.

Внешние ссылки [ править ]

  • Вайсштейн, Эрик В. "Равномерный многогранник" . MathWorld .
  • Равномерное решение для равномерных многогранников.
  • Равномерные многогранники
  • Виртуальные многогранники Однородные многогранники
  • Галерея однородных многогранников
  • Единый многогранник - от Wolfram MathWorld Имеет наглядную диаграмму всех 75