В сферической геометрии 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) …