Правильный многогранник

— Правильный многогранник это многогранник которого , группа симметрии действует транзитивно на его флагах . Правильный многогранник очень симметричен: он транзитивен по ребрам , вершинам и граням . В классическом контексте используется множество различных эквивалентных определений; Распространенным является то, что грани представляют собой конгруэнтные правильные многоугольники , которые собираются одинаковым образом вокруг каждой вершины .

Правильный многогранник идентифицируется по его символу Шлефли формы { n , m }, где n — количество сторон каждой грани, а m — количество граней, встречающихся в каждой вершине. Существует 5 конечных выпуклых правильных многогранников ( Платоновы тела ) и четыре правильных звездчатых многогранника ( многогранники Кеплера – Пуансо ), всего девять правильных многогранников. Кроме того, существует пять правильных соединений правильных многогранников.

Правильные многогранники

Есть пять выпуклых правильных многогранников, известных как Платоновы тела ; четыре правильных звездчатых многогранника , многогранники Кеплера – Пуансо ; и пять правильных соединений правильных многогранников:

Платоновые тела

Основная статья: Платоново тело

Тетраэдр {3, 3}	Куб {4, 3}	Октаэдр {3, 4}	Додекаэдр {5, 3}	Икосаэдр {3, 5}
х = 2	х = 2	х = 2	х = 2	х = 2

Многогранники Кеплера – Пуансо

Основная статья: многогранники Кеплера – Пуансо

Малый звездчатый додекаэдр {5/2, 5}	Большой додекаэдр {5, 5/2}	Большой звездчатый додекаэдр {5/2, 3}	Большой икосаэдр {3, 5/2}
х = −6	х = −6	х = 2	х = 2

Регулярные соединения

Основная статья: Соединение многогранников § Регулярные соединения

Два тетраэдра 2 {3, 3}	Пять тетраэдров 5 {3, 3}	Десять тетраэдров 10 {3, 3}	Пять кубиков 5 {4, 3}	Пять октаэдров 5 {3, 4}
х = 4	х = 10	х = 0	х = −10	х = 10

Характеристики

Эквивалентные свойства

Свойство иметь одинаковое расположение граней вокруг каждой вершины можно заменить любым из следующих эквивалентных условий в определении:

• Все вершины выпуклого правильного многогранника лежат на сфере .
• Все двугранные углы многогранника равны
• Все вершинные фигуры многогранника являются правильными многоугольниками .
• Все телесные углы многогранника равны.

Концентрические сферы

Выпуклый правильный многогранник имеет все три связанные сферы (у других многогранников отсутствует хотя бы один вид), которые имеют общий центр:

• Сфера . , касающаяся всех граней
• Интерсфера или срединная сфера , касающаяся всех краев.
• , Описанная сфера касающаяся всех вершин.

Симметрия

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

• Тетраэдрический
• Октаэдрический (или кубический)
• Икосаэдр (или додекаэдр)

Любые формы с икосаэдрической или октаэдрической симметрией будут также содержать тетраэдрическую симметрию.

Эйлерова характеристика

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

Внутренние точки

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

Двойственность правильных многогранников

В двойственной паре многогранников вершины одного многогранника соответствуют граням другого, и наоборот.

Правильные многогранники демонстрируют эту двойственность следующим образом:

• Тетраэдр . самодуален, т.е. спаривается сам с собой
• Куб . и октаэдр двойственны друг другу
• Икосаэдр додекаэдр и . двойственны друг другу
• Малый звездчатый додекаэдр и большой додекаэдр двойственны друг другу.
• Большой звездчатый додекаэдр и большой икосаэдр двойственны друг другу.

Символ Шлефли двойственного числа — это просто оригинал, написанный задом наперед, например, двойственный символ {5, 3} — это {3, 5}.

История

Смотрите также: Правильный многогранник § История открытия

Предыстория

Камни с резьбой, напоминающие группы сфер или выступов, были найдены в Шотландии , и их возраст может достигать 4000 лет. Некоторые из этих камней демонстрируют не только симметрию пяти Платоновых тел, но и некоторые отношения двойственности между ними (то есть центры граней куба образуют вершины октаэдра). Примеры этих камней выставлены в комнате Джона Эванса Музея Эшмола в Оксфордском университете . Почему были созданы эти предметы и как их создатели черпали для них вдохновение, остается загадкой. Существуют сомнения относительно математической интерпретации этих объектов, поскольку многие из них имеют неплатонические формы, и, возможно, только один из них оказался настоящим икосаэдром, в отличие от новой интерпретации двойственного икосаэдра - додекаэдра.

Возможно также, что этруски опередили греков в понимании хотя бы некоторых правильных многогранников, о чем свидетельствует открытие близ Падуи (в Северной Италии ) в конце 19 века додекаэдра, сделанного из мыльного камня , и датируемого более более 2500 лет (Линдеманн, 1987).

греки

Самые ранние известные письменные упоминания о правильных выпуклых телах возникли в классической Греции. Когда все эти твердые тела были открыты и кем неизвестно, но Теэтет ( афинянин ) был первым, кто дал математическое описание всех пяти (Ван дер Варден, 1954), (Евклид, книга XIII). HSM Coxeter (Coxeter, 1948, Раздел 1.9) приписывает Платону (400 г. до н.э.) создание их моделей и упоминает, что один из ранних пифагорейцев , Тимей из Локров , использовал все пять в соответствии между многогранниками и природой многогранников. Вселенная, как ее тогда воспринимали, — это соответствие зафиксировано в диалоге Платона «Тимей» . Ссылка Евклида на Платона привела к их общему описанию как Платоновых тел .

Греческое определение можно охарактеризовать следующим образом:

• Правильный многоугольник — это ( выпуклая ) плоская фигура, у которой все края и все углы равны.
• Правильный многогранник — это сплошная (выпуклая) фигура, все грани которой представляют собой конгруэнтные правильные многоугольники, одинаковое число которых расположено одинаково вокруг каждой вершины.

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

Эта концепция правильного многогранника оставалась неоспоримой почти 2000 лет.

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

Правильные звездчатые многоугольники, такие как пентаграмма (звездный пятиугольник), были известны и древним грекам – пентаграмма использовалась пифагорейцами как свой тайный знак, но они не использовали ее для построения многогранников. Лишь в начале 17 века Иоганн Кеплер понял, что пентаграммы можно использовать в качестве граней правильных звездчатых многогранников . Некоторые из этих звездчатых многогранников, возможно, были открыты другими до времен Кеплера, но Кеплер был первым, кто осознал, что их можно считать «правильными», если снять ограничение, согласно которому правильные многогранники должны быть выпуклыми. Двести лет спустя Луи Пуансо также создал фигуры из вершин звезд (обходы вокруг каждого угла), что позволило ему открыть два новых правильных звездных многогранника, а также заново открыть кеплеровский многогранник. Эти четыре являются единственными правильными звездчатыми многогранниками и стали известны как многогранники Кеплера – Пуансо . Лишь в середине XIX века, через несколько десятилетий после публикации Пуансо, Кэли дал им современные английские имена: (Кеплера) малый звездчатый додекаэдр и большой звездчатый додекаэдр (Пуансо) , а также большой икосаэдр и большой додекаэдр .

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

Таким образом, к концу XIX века правильных многогранников было девять: пять выпуклых и четыре звездчатых.

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

Каждое из Платоновых тел встречается в природе в той или иной форме.

Тетраэдр, куб и октаэдр встречаются в виде кристаллов . Этим ни в коем случае не исчерпывается число возможных форм кристаллов (Смит, 1982, с. 212), которых насчитывается 48. Среди них нет ни правильного икосаэдра , ни правильного додекаэдра , но кристаллы могут иметь форму пиритоэдра , то есть визуально почти неотличим от правильного додекаэдра. Истинно икосаэдрические кристаллы могут быть образованы квазикристаллическими материалами , которые очень редки в природе, но могут быть получены в лаборатории.

Более недавнее открытие связано с рядом новых типов молекул углерода , известных как фуллерены (см. Curl, 1991). Хотя C ₆₀ , наиболее легко производимый фуллерен, выглядит более или менее сферическим, некоторые из более крупных разновидностей (таких как C ₂₄₀ , C ₄₈₀ и C ₉₆₀ ), предположительно, принимают форму слегка закругленных икосаэдров диаметром несколько нанометров.

Правильные многогранники встречаются и в биологии. Кокколитофор около 10 Braarudosphaera bigelowii имеет правильную додекаэдрическую структуру микрометров . диаметром В начале 20 века Эрнст Геккель описал ряд видов радиолярий , раковины некоторых из которых имеют форму различных правильных многогранников. Примеры включают Circoporus октаэдр , Circogonia икосаэдры , Lithocubus геометрический и Circorregma dodecahedra ; формы этих существ обозначены их названиями. Внешние белковые оболочки многих вирусов образуют правильные многогранники. Например, ВИЧ заключен в правильный икосаэдр, как и голова типичного миовируса .

• 
  Кокколитофор . Braarudosphaera bigelowii имеет правильное додекаэдрическое строение
• 
  радиолярий . Икосаэдры Circogonia имеют правильную икосаэдрическую структуру
• 
  Миовирус ( головку обычно имеет правильный икосаэдрический капсид ) диаметром около 100 нанометров .

В древности пифагорейцы считали, что существует гармония между правильными многогранниками и орбитами планет . В 17 веке Иоганн Кеплер изучал данные о движении планет, собранные Тихо Браге, и в течение десятилетия пытался установить пифагорейский идеал, находя соответствие между размерами многогранников и размерами орбит планет. Его поиски не достигли своей первоначальной цели, но в результате этого исследования Кеплер открыл твердые тела Кеплера как правильные многогранники, осознал, что орбиты планет не являются кругами, и законы движения планет, которыми он теперь известен. Во времена Кеплера было известно только пять планет (исключая Землю), что вполне соответствует числу Платоновых тел. Работа Кеплера и открытие с тех пор Урана и Нептуна опровергли идею Пифагора.

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

Дальнейшие обобщения

В XX веке произошла череда обобщений идеи правильного многогранника, приведшая к появлению нескольких новых классов.

Правильные косые апейроэдры

Основная статья: Правильный косой апейроэдр

В первые десятилетия Коксетер и Петри допускали «седловидные» вершины с чередующимися гребнями и впадинами, что позволяло им строить три бесконечные складчатые поверхности, которые они называли правильными перекошенными многогранниками . Коксетер предложил модифицированный символ Шлефли {l,m|n} для этих фигур, где {l,m} подразумевает фигуру вершины с m правильными l -угольниками вокруг вершины. n . определяет n угольных отверстий - Их вершинные фигуры представляют собой правильные косые многоугольники , вершины которых располагаются зигзагами между двумя плоскостями.

Бесконечные правильные косые многогранники в трехмерном пространстве (частично нарисованы)
{4,6|4}	{6,4|4}	{6,6|3}

Правильные косые многогранники

Основная статья: Правильный косой многогранник

Конечные правильные косые многогранники существуют в 4-мерном пространстве. Эти конечные правильные косые многогранники в 4-пространстве можно рассматривать как подмножество граней однородных 4-многогранников . У них есть плоские правильные многоугольные грани, но косых многоугольников правильные фигуры вершин .

Два двойственных решения связаны с 5-ячейкой , два двойственных решения связаны с 24-ячейкой , а бесконечное множество самодвойственных дуопризм порождает правильные косые многогранники как {4, 4 | н}. В бесконечном пределе они приближаются к дуоцилиндру и выглядят как тор в своей стереографической проекции в трехмерное пространство.

Конечные правильные косые многогранники в 4-мерном пространстве

Ортогональные плоскости Кокстера проекции				Стереографическая проекция
A 4		FF4
{4, 6 | 3}	{6, 4 | 3}	{4, 8 | 3}	{8, 4 | 3}	{4, 4 | п}
30 {4} лиц 60 ребер 20 вершин	20 {6} граней 60 ребер 30 вершин	288 {4} лиц 576 ребер 144 вершины	144 {8} лиц 576 ребер 288 вершин	н 2 {4} лица 2 н 2 края н 2 вершины

Правильные многогранники в неевклидовых и других пространствах.

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

Правильные многогранники в гиперболическом пространстве

Шестиугольная мозаика-сота {6,3,3} имеет шестиугольную мозаику {6,3}, грани с вершинами на орисфере . Одна из таких граней показана на модели диска Пуанкаре .

В час ³ гиперболическом пространстве В паракомпактные правильные соты имеют евклидовы грани мозаики и вершинные фигуры , которые действуют как конечные многогранники. Такие плитки имеют угловой дефект , который можно закрыть, согнув в ту или иную сторону. Если мозаика правильно масштабирована, она закроется как асимптотический предел в единственной идеальной точке . Эти евклидовы мозаики вписаны в орисферу так же, как многогранники вписаны в сферу (которая не содержит идеальных точек). Последовательность расширяется, когда гиперболические мозаики сами используются в качестве граней некомпактных гиперболических мозаик, как в семиугольных сотах мозаики {7,3,3}; они вписаны в эквидистантную поверхность (2- гиперцикл ), имеющую две идеальные точки.

Регулярные замощения действительной проективной плоскости

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

полукуб {4,3}

Полуоктаэдр {3,4}

Полудодекаэдр {3,5}

Полуикосаэдр {5,3}

Они возникают как двойственные пары, так же, как и исходные Платоновы тела. Все их эйлеровы характеристики равны 1.

Абстрактные правильные многогранники

Дополнительная информация: Абстрактный правильный многогранник.

К настоящему времени многогранники были твердо поняты как трехмерные примеры более общих многогранников в любом количестве измерений. Во второй половине века наблюдалось развитие абстрактных алгебраических идей, таких как многогранная комбинаторика , кульминацией которых стала идея абстрактного многогранника как частично упорядоченного набора (ЧУ) элементов. Элементами абстрактного многогранника являются его тело (максимальный элемент), его грани, ребра, вершины и нулевой многогранник или пустое множество. Эти абстрактные элементы можно отобразить в обычном пространстве или реализовать в виде геометрических фигур. Некоторые абстрактные многогранники имеют правильно сформированную или точную реализацию, другие — нет. Флаг — это связный набор элементов каждого измерения — для многогранника это тело, грань, ребро грани, вершина ребра и нулевой многогранник. Абстрактный многогранник называется правильным, если его комбинаторные симметрии транзитивны относительно его флагов, то есть любой флаг может быть отображен на любой другой при условии симметрии многогранника. Абстрактные правильные многогранники остаются активной областью исследований.

Пять таких правильных абстрактных многогранников, которые невозможно точно реализовать, были идентифицированы Х. С. М. Кокстером в его книге «Правильные многогранники» (1977) и снова Дж. М. Уиллсом в его статье «Комбинаторно правильные многогранники индекса 2» (1987). Все пять имеют симметрию C ₂ ×S _5, но могут быть реализованы только с половинной симметрией, то есть симметрией C ₂ ×A ₅ или икосаэдрической симметрией. Все они топологически эквивалентны тороидам . Их построение путем расположения n граней вокруг каждой вершины можно повторять бесконечно как мозаику гиперболической плоскости . На диаграммах ниже изображения гиперболических мозаик имеют цвета, соответствующие цветам изображений многогранников.

Многогранник	Медиальный ромбический триаконтаэдр	Додекадодекаэдр	Медиальный триамбический икосаэдр	Дитригональный додекадодекаэдр	Раскопанный додекаэдр
Тип	Двойной {5,4} 6	{5,4} 6	Двойной из {5,6} 4	{5,6} 4	{6,6} 6
( в , е , ж )	(24,60,30)	(30,60,24)	(24,60,20)	(20,60,24)	(20,60,20)
Вершинная фигура	{5}, {5/2}	(5.5/2) 2	{5}, {5/2}	(5.5/3) 3
Лица	30 ромбов	12 пятиугольников 12 пентаграмм	20 шестиугольников	12 пятиугольников 12 пентаграмм	20 гексаграмм
Укладка плитки	{4, 5}	{5, 4}	{6, 5}	{5, 6}	{6, 6}
час	−6	−6	−16	−16	−20

Петри двойной

Основная статья: Петри дуал

правильному Двойственное Петри многограннику — это правильное отображение, вершины и ребра которого соответствуют вершинам и ребрам исходного многогранника, а грани — набор косых многоугольников Петри .

Регулярные петриалы

Имя	Петриальный тетраэдр	Петриальный куб	Петриальный октаэдр	Петриальный додекаэдр	Петриальный икосаэдр
Символ	{3,3} п	{4,3} п	{3,4} п	{5,3} п	{3,5} п
( v , е , ж ), χ	(4,6,3), х = 1	(8,12,4), х = 0	(6,12,4), χ = −2	(20,30,6), χ = −4	(12,30,6), χ = −12
Лица	3 перекошенных квадрата	4 косых шестиугольника		6 косых десятиугольников
Изображение
Анимация
Связанный цифры	{4,3} 3 = {4,3}/2 = {4,3} (2,0)	{6,3} 3 = {6,3} (2,0)	{6,4} 3 = {6,4} (4,0)	{10,3} 5	{10,5} 3

Сферические многогранники

Основная статья: Сферический многогранник

Обычные пять правильных многогранников также можно представить в виде сферических замощений (замощений сферы ) :

Тетраэдр {3,3}

Куб {4,3}

Октаэдр {3,4}

Додекаэдр {5,3}

Икосаэдр {3,5}

Малый звездчатый додекаэдр {5/2,5}

Большой додекаэдр {5,5/2}

Большой звездчатый додекаэдр {5/2,3}

Большой икосаэдр {3,5/2}

Правильные многогранники, которые могут существовать только как сферические многогранники.

См. Также: Осоэдр и Диэдр.

Для правильного многогранника, символ Шлефли которого равен { m , n }, количество многоугольных граней можно найти по формуле:

$N_{2}={\frac {4n}{2m+2n-mn}}$

Платоновые тела, известные в древности, являются единственными целочисленными решениями для m ≥ 3 и n ≥ 3. Ограничение m ≥ 3 требует, чтобы многоугольные грани имели как минимум три стороны.

При рассмотрении многогранников как сферической мозаики это ограничение можно ослабить, поскольку двуугольники (2-угольники) можно представить как сферические лунки, имеющие ненулевую площадь . Разрешение m = 2 допускает новый бесконечный класс правильных многогранников, которые являются осоэдрами . На сферической поверхности правильный многогранник {2, n } изображается как n примыкающих друг к другу лунок с внутренними углами 2 π / n . Все эти луны имеют две общие вершины.

Правильный двугранник , { n , 2} (2-эдр) в трехмерном евклидовом пространстве можно рассматривать как вырожденную призму, состоящую из двух (плоских) n -сторонних многоугольников, соединенных «спина к спине», так что образующийся объект не имеет глубины, аналогично тому, как двуугольник можно построить с помощью двух отрезков . Однако, как сферическая мозаика , диэдр может существовать в виде невырожденной формы с двумя n -сторонними гранями, покрывающими сферу, причем каждая грань представляет собой полусферу , а вершины расположены вокруг большого круга . Оно правильное, если вершины расположены на одинаковом расстоянии друг от друга.

Дигональный диэдр {2,2}	Треугольный диэдр {3,2}	Квадратный двугранник {4,2}	Пятиугольный диэдр {5,2}	Шестиугольный диэдр {6,2}	...	{ н , 2}
Дигональный осоэдр {2,2}	Треугольный осоэдр {2,3}	Квадратный осоэдр {2,4}	Пятиугольный осоэдр {2,5}	Шестиугольный осоэдр {2,6}	...	{2, п }

Осоэдр {2, n } двойствен диэдру { n ,2}. Обратите внимание, что при n = 2 мы получаем многогранник {2,2}, который является одновременно осоэдром и диэдром. Все они имеют эйлерову характеристику 2.

См. также

• Квазиправильный многогранник
• Полуправильный многогранник
• Однородный многогранник
• Правильный многогранник

Ссылки

• Бертран, Дж. (1858). Записки по теории правильных многогранников, Отчеты сессий АН , 46 , с. 79–82.
• Геккель, Э. (1904). Художественные формы природы . Доступно как Геккель, Э. Формы искусства в природе , Prestel USA (1998), ISBN   3-7913-1990-6 или на сайте http://caliban.mpiz-koeln.mpg.de/~stueber/haeckel/kunstformen/natur.html.
• Смит, СП (1982). Геометрическая и структурная кристаллография . Джон Уайли и сыновья.
• Соммервилл, ДМИ (1930). Введение в геометрию n измерений. EP Даттон, Нью-Йорк. (Издание Dover Publications, 1958 г.). Глава X: Правильные многогранники.
• Коксетер, HSM ; Правильные многогранники (третье издание). Dover Publications Inc. ISBN   0-486-61480-8

Внешние ссылки

• Вайсштейн, Эрик В. «Правильный многогранник» . Математический мир .
• Видео на YouTube «Существует 48 правильных многогранников», автор Ян Мисали