В сферической геометрии n-угольный осоэдр представляет собой мозаику лунок на сферической поверхности , так что каждая лунка имеет одни и те же две полярно противоположные вершины.
Правильный n -угольный осоэдр имеет символ Шлефли {2, n }, причем каждый сферический лунец имеет внутренний угол 2 π/нрадианы (360/нградусов). [1] [2]
Для правильного многогранника, символ Шлефли которого равен { m , n }, количество многоугольных граней равно:
Платоновые тела , известные в древности, являются единственными целочисленными решениями для m ≥ 3 и n ≥ 3. Ограничение m ≥ 3 требует, чтобы многоугольные грани имели как минимум три стороны.
При рассмотрении многогранников как сферической мозаики это ограничение можно ослабить, поскольку дигоны (2-угольники) можно представить как сферические лунки , имеющие ненулевую площадь .
Если допустить m = 2, то
и допускает новый бесконечный класс правильных многогранников — осоэдров. На сферической поверхности многогранник {2, n } изображается как n примыкающих друг к другу лунок с внутренними углами2 π/н. Все эти сферические луны имеют две общие вершины.
Двуугольные сферические лунные грани -осоэдра , представляют собой фундаментальные области двугранной симметрии в трех измерениях : циклическую симметрию , , , порядок . Области отражения могут быть показаны попеременно окрашенными лунками в виде зеркальных изображений.
Разделение каждой луны пополам на два сферических треугольника создает -угольную бипирамиду , которая представляет двугранную симметрию , порядок .
Тетрагональный осоэдр топологически эквивалентен бицилиндрическому телу Штейнмеца , пересечению двух цилиндров под прямым углом. [3]
Двойственным к n-угольному осоэдру {2, n } является n -угольный диэдр , { n , 2}. Многогранник {2,2} самодуален и является одновременно осоэдром и диэдром.
Осоэдр можно модифицировать так же, как и другие многогранники, для получения усеченной вариации. Усеченный n -угольный осоэдр — это n-угольная призма .
В пределе осоэдр становится апейрогональным осоэдром как двумерная мозаика:
Многомерные аналоги вообще называются гомотопами . Правильный гомотоп с символом Шлефли {2, p ,..., q } имеет две вершины, каждая из которых имеет фигуру вершины { p ,..., q }.
Двумерный гозотоп {2} является двуугольником .
Термин «осоэдр», по-видимому, происходит от греческого ὅσος ( hosos ) «столько», идея состоит в том, что осоэдр может иметь « сколь угодно много граней». [4] Он был введен Вито Каравелли в восемнадцатом веке. [5]
Осоэдр {2,p} (в несколько искаженном виде) был назван Вито Каравелли (1724–1800)…